12:35 AM
Morning

12:51 AM
hi faust
@Faust .

Hows it going m8

1:18 AM
'''''\/'\\

Horrible.

Thats no no no good

@Faust its decent thanks and how is it going for you ?

oct 20th
u?

oct 23th
I dont feel ready at all

1:31 AM
koool beans
ill race u :p

like these stuff with actions
and orbit stab
sylow
and we gonna do rings as well

rings r simple

man this is insane , btw faust will you be able to send me ur exam ?
hmm is that so ?

i can try

rings are easiar?
it would be very nice if you could do that :D
I can do it as preparation for the exam

1:32 AM
have you done groups with addition?

ofc

have you done groups with multiplication?

yes sir

then youve done rings

:D
well that sounds really nice
encouraging things

1:33 AM
they are lterally just a group with the binary opertaion + and times

because i thought i have to spend time on that topic

its exactly the same

anyways am watching some lectures on group actions

just both rules at once

All righty
if you want good lectures on youtube tell me
there is one from havard,you have to watch selected lectures

1:35 AM
lol ok

if there is something text me like this @Faust so i can hear the beep

im doing abstract algerbra right now

2 hours later…
3:38 AM
@Danu Lemme know how the whiskys are. I am assuming you are probably a few deep when this message is getting written. I have an unopened bottle of Corry but Laph 18 is literally impossible to find here.

@PVAL Really? I don't see it too infrequently in LA
That sucks

Texas sucks

lol fair

We have insane liquor laws.
Lots of dry towns.
No one can sell on sundays
and on the other end.

MN only repealed its blue law for liquor sales this summer

3:43 AM
we really have no minimum legal drinking age
As a minor you need your parent's consent and supervision.

huh.

but you can order any drink at a restaurant at any age.

so basically they're fine with anyone drinking so long as it's not sold on sundays

and liquor stores have to close at like 8 pm or something
and you can't buy alcohol from supermarkets in the morning.
or like between 8pm and 10 am

Though I should note that the debate re: Sunday liquor laws in MN was not on puritanical ground but rather because the smaller liquor stores complained that allowing sales on sundays would put them at a disadvantage

3:45 AM
The distribution of a lot of whiskys here is not so good.
Well the debate now might be that.

so I can see how local economic forces would be influential enough to keep the status quo
oh, sure

but they were certainly established on puritanical ground.

yeah, of course
i'm just saying that the question of why they haven't been repealed is because there's money involved

This might sound harsh.
well
I guarantee MN still has puritanical christians in super high places.
Your state government is probably mostly puritanical christians.

I kinda doubt it
if only because we legalized gay marriage :)
and that was prior to the supreme court case, mind

3:50 AM
Maybe they're the minority.
but they are a large one anywhere in the central us.

oh, sure. i'm not saying there's not a solid contingent---my district is the one which elected Michelle Bachmann, god help us
on the one hand, that meant I got to vote against Michelle Bachmann! ...on the other, she won reelection each time

Here's a color coded image of your state en.wikipedia.org/wiki/…

sooooo
ugh

I'm sure Texas is worse.
We essentially banned stem cell research here.
by banning their primary source for research.

Wait what?
Why?
(also hello!)

3:53 AM
because their primary source for research is aborted fetuses.

by comparison, here's 2012: en.wikipedia.org/wiki/…

So you're not puritans, just sexist?

Oh... Okay this doesn't surprise me anymore

pretty much.

speaking of abortion, Anthony Kennedy went to my high school.

3:54 AM
minnesota also was one of the states which Bernie Sanders won in the primary
which I was personally rather satisfied by.
not that it made a difference

but because he's relatively moderate (apt. by Reagan) and the high school was super liberal we didn't acknowledge him very much.

a source re: mn's blue laws, btw: minnpost.com/politics-policy/2014/01/…
from 2014
relevant bit: "Each year a proposal in the Legislature to lift the ban on Sunday liquor sales is shot down by a powerful lobby of union representatives and liquor-store owners. The ban on Sunday car sales is rarely discussed at the Capitol and continues at the behest of auto dealers, which enjoy a day where they and all their competitors must be closed."
and I guess that's one way in which I find the election map you linked, while distressing, also quite reductive

I have trouble believing auto dealers think they wouldn't make more money if they were open one more day.
They might be mute on the issue because they don't want to make the puritans mad.

again, evidence: startribune.com/…
and that's not just a MN phenomenon: autonews.com/article/20150503/RETAIL07/304279869/…

I guess I could see how that could be advantageous to them.
If they were allowed to sell on Sunday, they'd sort of be forced to or a small number of companies would gain an advantage.
and maybe their sales wouldn't increase as much as their cost of operating.
but that seems kind of unlikely.

4:04 AM
Right. That's the position that the smaller liquor stores in MN took: They'd have to extend their sales (and wages) to Sunday; the big chain stores would be able to absorb tat easily, but not the smaller ones.
ultimately, that argument didn't carry the day
my broader point is that the survival of these laws is usually not a matter of puritanism as much as inertia; the existing businesses etc have adapted to the status quo, and prefer not to change it.
that doesn't mean other businesses wouldn't want them changed so as to capitalize them, of course. but it means that it's not a matter of 'freedom' vs. 'prohibition' so much as a conflict of competing business interests.

Well on my street there's as many churches as there are houses.

not so much here, but
we do have some megachurches
and while I do like to point out that MN legalized gay marriage, and before that it rejected a state amendment to define marriage as between man/woman
...well, it had to reject that amendment

Quick question: if V is a vector space and T:V-->V is idempotent and surjective, does it follow that T is necessarily the identity?

what flavor of christianity is predominant in MN?

4:08 AM
Some are more open to homosexuality than others.

for all y in V there is a x such that T(x) = y. So T(y) = T(T(x)) = T(x) = y.

that's a good question, tbh

So T is the identity? as easy as that?

@anakhronizein no

4:09 AM
@PVAL-inactive where did I go wrong?

I don't see any attempt at a proof.
but there are easy counterexamples
even when V is $\Bbb R$

My proof is above: "
for all y in V there is a x such that T(x) = y. So T(y) = T(T(x)) = T(x) = y."

What is an easy counter example?

sorry yeah
I'm tired that looks fine.
I was reading idempotent as T^2=I

4:12 AM
I forget what that's called, and it's bugging me now
right, involution
"A 2008 survey by the Pew Forum on Religion and Public Life showed that 32.0% of Minnesotans were affiliated with Mainline Protestant traditions, 21.0% with Evangelical Protestant traditions, 28.0% with Roman Catholic traditions, 1.0% each with Jewish, Islamic, Buddhist, and Black Protestant traditions, smaller amounts for other faiths, and 13.0% unaffiliated."
kinda annoyed that the most recent survey is from 2008

we're 64.4% evangelical protestant here.

yeah, I figured that was the difference

Interestingly there's lots of catholics in our legislature.

I forget where Baptists would be classified in that regard.

definitely evangelical protestant.

4:16 AM
yeah, I guess that's right

The USA has a special brand of christianity which I sometimes find it difficult to classify as being very "christian".

The fact that you use being "christian" as a positive adjective makes me prejudge you.

or maybe you are using it sarcastically.
I don't know.

well, there are positive things one can take from the christian tradition. social justice is a big one
this gets into a 'no-true-scotsman' problem, though

4:20 AM
Well I am referring to a very idealistic definition of "christian", namely a person who aligns their philosophy with the character of Jesus Christ.

You can believe whatever you want, but if you think it makes you morally superior to someone with different metaphysical beliefs I'm sort of against that.

And I think it's pretty widely held that Jesus Christ, in terms of the records supposed by the bible, was a pretty chill dude.

I mean I definitely disagree with certain moral teachings of Jesus Christ.
but I agree with many too.

That's fine, moral systems aren't universal.
Though I'd be interested in known if Jesus adhered to ZFC or just ZF.

Jesus didn't give a shit about foundations like anyone with any real sense.

4:22 AM
lol
If Jesus could walk on water, he could definitely do math without foundations.
the fact that american christianity has a tendency to prefer prosperity gospel to social justice is pretty horrifying to me

@PVAL-inactive hey now!!! That's pretty cruel

I'm not saying its a negative thing.
but the implication that being "christian" makes you morally superior is something I think I'm vehemently against.

Just... lost my cool with that a little bit :|

Are you against anyone who claims moral superiority?
By prescribing to some system of ethics/morality, you automatically do so.
So for it to be noteworthy that you are against it, I think that is perhaps irrational in some sense?

4:33 AM
nah everyone probably claims moral superiority.

@anakhronizein yes. As a Christian, your not supposed to be mean to people and treat yourself as a superior

I'm against religion implies better ethics.
not necessairly with you as the agent.
if that makes any sense.

I think the distinction should be made between what one may think 'Christians' should stand for, and their actual choices/conduct in the real world

You mean to say that you are against people suggesting the irreligious are without ethics?

Definitely that.
probably significantly more than that.

4:36 AM
@PVAL-inactive idk, the point of Christians is to get others saved, and after that, a saved person will simply flow into good ethics. Ethics and how well you preform doesn't really mateer for salvation, according to the Bible

as an example: "I don't think that boy did anything wrong. he's from a good christian family"

I'm not saved, and I don't have any issue with my ethics.

indeeeeed the irreligious are endowed with an INTRINSIC morality due to ENTROPY considerations for the survival of the SPECIES

But ethics and how you perform are like everything that exists.

4:38 AM
Ethics is subjective.

sure.
I don't have any evidence of anything that matters besides my own actions and experiences.

Could just adhere to a system where what is ethical is defined by what you do. Anything you do is ethical.

Why would I prescribe to a philosophy which said these things don't matter?

no sir ethics is derived from the second LAW of thermodynamics, it is part of a SPECIES EVOLUTION AND SURVIVAL IN THE PHYSICAL UNIVERSE
bAd = more entropy good = decrease entropy
do you get it?????

@anakhronizein well, ethnics is more of what a society thinks is ok, and those change over time.

4:40 AM
I'm not much for ethical nihilism.
nor for moral relativism, on the account of it just not being a very meaningful position.

Like the people in the USA used to frown on fortification (sex outside of marrige) and homosexuality, but now a days both are promoted (in which I disagree with)

a moral philosophy which doesn't give the average person standing to hold authority/power structure up to critique is not one I'm interested in

@TheMattbat999
whoops
A system of ethics is popularly chosen based on what society chooses.

I think there's room for some moral relativism.
What I want out of my existence doesn't have to be what you want out of yours.

But really that's just an average of a bunch of individual systems.

4:44 AM
sure. I'm not sure I'd call that moral relativism, though.

Is that just the extreme belief?
that no ethical truths are universal?

@anakhronizein yes... I was saying the USA's ethnics have changed over the past 50 years

in true academic tradition, I'll point to a paper/essay that I think makes a good argument for why moral relativism is not coherent: web.stanford.edu/~allenw/papers/Relativism.doc

lmao philosophy researchers
learn to TeX idiots.
@semi hmm I'm sort of missing the formal argument.
Aren't most philosophy papers a formal deductive argument?

most philosophy papers are people writing about ideas.

4:49 AM
if you look at things from a HIGHER DIMENSION you'll see that the basis of any system of ethics is directly related to PHYSICAL LAWS in the 🌌 UNIVERSE and more specifically to SURVIVAL OF THE SPECIES AGAINST INCREASING ENTROPY.

I guess maybe its contained inside the first section.

i should point out that he doesn't get to ethical relativism until a few pages in

The philosophy I've read (that isn't classical) generally listed assumptions, attempted to justify them, then gave a valid formal argument of the conclusions given the assumptions.
but I guess this is more the philosophical equivalent of something expository.

I think that's more reflective of the analytic tradition, whereas this is more continental?

there is no ROOM for philosophy in this world because SCiENCE can account for EVERyTHing!!!
philosophy is MERELY a form of ART that PLAYS AROUND with the FACULTIES OF REASON within the MIND in relation to the HUMAN CONDITION. = useless degree
2

5:02 AM
It's comforting for me to think of everything I don't understand like that.

haha yeah

5:44 AM
54 mins ago, by IcE my bReaD
if you look at things from a HIGHER DIMENSION you'll see that the basis of any system of ethics is directly related to PHYSICAL LAWS in the 🌌 UNIVERSE and more specifically to SURVIVAL OF THE SPECIES AGAINST INCREASING ENTROPY.
Survivial of the species does play a role in many systems of ethics (note how often murder is deemed immoral or even evil), but entropy, not necessary
Without second law, a number of things will not work, e.g. mixing things becomes harder
It is also something that help drives many physical process which otherwise will slosh back and forth without much change
But a more practical consideration is that, it is unclear how to assign microstates (or if they are even meaningful) for dynamical entities like societies
Meanwhile, another concept, complexity is perfectly valid for societies, since they are complex systems

6 hours later…
11:59 AM
MOrning

12:25 PM
Living beings increase entropy via their natural process. A moral that views entropy increase as unfavourable is untenable.

Sooooo
Let's start the "Church for the Celebration of the Heat Death of the Universe" ?

1:13 PM
Cam somebody hint me up in this question ?
@TastyRomeo
Please take a look, I am having trouble in finding slope of the tangent to the parabola at (1,2,5) Given plane x=1 intersects the parabola z=x^2+y^2

1:59 PM
Hi @Eric

sup

2:25 PM
On one hand, I really wish I'd filled up the water bottle on my bike this morning
On the other, I packed a big honeycrisp apple in my lunch today

hi chat

hello

Soooo I guess it cancels out?

Hi @Alessandro

2:39 PM
Wassup everyone

2 hours later…
4:14 PM
Do all finite dimensional subspaces of $\ell^p(\Bbb N)$ look like $\ell^p(\{1,..,n\})$? For $p=2$ this is true.
For infinite dimensional subspaces it is also false for $p=\infty$ as $c_0(\Bbb N)$ shows

4:44 PM
What is $\ell^p(\{1,\cdots,n\})$?

$\Bbb C^n$ with $p$-norm, or functions from $\{1,...,n\}$ to $\Bbb C$ with norm $\|f\|=\sqrt[p]{\sum_{i=1}^n f(i)^p}$ if you prefer to plug in the verbatim definition of $\ell^p(X)$ into this set ;)

Hmm I'm not sure I understand your remark on infinite dimensional subspaces

5:01 PM
I think he's asking if there's an automorphism of ell^p taking any finite dimensional subspace to one of those I think

G'night, @MikeM.
Hi, @Alessandro, @s.harp.

hi @ted

Hi @Ted

I don't understand. How does the $1$-dimensional subspace spanned by $(1/k)$ look like $\ell^p(\{1,\dots,n\})$?
Hi @Semiclassic

I have a hard time visualizing those spaces, we didn't do much more than defining them in the functional analysis course so far

5:05 PM
actually my interpretation of the question doesn't make any sense

Hello @Ted

there's no natural inclusion or quotient to $\ell^p([n])$; $[n] \subset \Bbb R$ is a measure zero set

@Mike I was actually looking for an isometry between the subspace and $\ell^p(\{1,..,n\})$

I still do not understand.

Hi @Ted, @Mike

5:07 PM
Hi @Balarka

@AlessandroCodenotti $c_0(\Bbb N)\subset \ell^\infty(\Bbb N)$ but $c_0(\Bbb N)$ is not isomorphic to any $\ell^\infty(X)$

@TedShifrin I made a tiny winy progress on Forster

@TedShifrin all 1 dimensional normed spaces are isometric anyway, right? so its isometric isomorphic to $\ell^p(\{1\})$

@s.harp with Banach spaces I think you should usually be asking for continuous isomorphism as opposed to isometry, yes?

<-- too confused to think
ok @Balarka

5:10 PM
@s.harp hmmm, so $\ell^p(\Bbb N)$ would also work as an infinite dimensional subspace of $\ell^\infty(\Bbb N)$ which is not isomorphic to $\ell^\infty$?

@MikeMiller normally yes, but all finite dimensional vector spaces are isomorphic in this sense

yes I know, which is why I think the natural question is already resolved (:

@AlessandroCodenotti in the infinite dimensional case I should have demanded "closed subspace"

Ok, makes sense

hey everyone
$$\Huge{1+2+3+\cdots=-\dfrac1{12}}$$

5:35 PM
Hmm...So I think integrating the Gamma function over primes of the form 4k+1 gives a asymptoc formula for the error term in Artin's conjecture.
You just have to apply Schur, and then use Euler reflection formula. After chaning the variable, the boundary of the 13dimensional manifold is locally smooth, hence it's gauge invariant.

@LeakyNun When did you become a memer

@TastyRomeo a long time ago

But as gauge invariant is generally not true after k-symmetric Wittenian invariance, hence the asymptotic formula of the errfunction growth around O(k^k^k) is proved.

That's an old ass meme
total garbage

numberphile tier

5:39 PM
@AlexKChen Write a paper to the vixra
That's really breakthrough imo

@BalarkaSen do you understand it?

@BalarkaSen Well actually it took 7 minutes. I was going through (eg: chat.stackexchange.com/transcript/message/40276205#40276205) various chatrooms and looking how long it takes for them to figure out cranks.
TNB took 37 second, Mathematics took 7 minutes, and Physics chat is still couting.

I saw it on the hbar and didn't bother pointing it out as crank
I think everyone does
nobody cares

Hi everyone, I have a small question. My Maple skills are a bit old, and now I see a Maple equation with ** notation, which is difficult to google. What does, e.g. (x+y)**n mean? Is it as python (x+y)^n?

@AlexKChen does it count if people just ignore you?

5:42 PM
Well there should be a measure of it. But anyway, the people at TNB are super good at spotting cranks.

in The Nineteenth Byte, 55 mins ago, by Alex K Chen
@EriktheOutgolfer Well if you running it in Kolomogrov complexity time of O(n^n) it works fine though.
@AlexKChen are you referring to this

It just means people here are busy and people in the hbar are busier
That's it

@Bernhard Python uses ** for exponentiation >_>

@LeakyNun Ya

@AlexKChen that one is easy to spot come on

5:44 PM
Well actually I have no idea what Kolomogrov complexity (or even big O notation) means lol

because we all know what Kolmogorov complexity is
and we all know what complexity time is
whereas I have not a single clue about topology

Heh, I have no clue about all thee.

@LeakyNun Yeah,I know, that is why I read it as exponentiation. But I do not have Maple around and don't want to make assumptions. I don't remember it from the last time I used Maple

@Bernhard you said "python (x+y)^n" for crying out loud

So I want to prove that a prime ideal $P$ is also radical. Let $x\in\sqrt{P}$, so there is an $n$ such that $x^n\in P$, so $x^{n-1}x\in P$, either $x$ or $x^{n-1}$ are in $P$, in the first case we're done, in the second we iterate until we're done.
That was meant to be a question but I worked it out while writing

5:46 PM
nice

@Bernhard I just checked; MAPLE uses ^ for exponentiation

@LeakyNun Yeah, English is not my native language. What I meant to say was: It is the same as in Python, where it means (x+y)^n

@Bernhard where are you from?

@LeakyNun So no clue about the **?
Holland if it matters :)

@Bernhard could you include the relevant part of the code?

5:48 PM
Int((M-y)**(v)*(y+x)**(u),y=0..M) this is what I saw

are you sure it's maple?

Hah, well, just above the equation it says "In Maple notation", so it might be a trick question hehe

I have no idea then