« first day (2018 days earlier)      last day (3002 days later) » 

7:00 PM
There was another Ted mathematician who shot his adviser at Stanford, too. Better watch out for me ...
 
According to wikipedia it was with a hammer.
 
Oh, I'd forgotten that.
Don't get any ideas, @PVAL.
 
@TedShifrin I was looking at a few maximization problems. I can solve them with Lagrange maximization just fine, but I confused myself a bit trying to do it the plain vanilla way. E.g., minimize $x + y + z$ with constraint $xy^2 z^3 = 180$, $x, y, z$ positive. The function I have to minimize is $F(y, z) = y + z + 180/(y^2z^3)$. Differentiating tells $(2, 3)$ is the only crit pt. Second derivative test tells it's a local minima.
But what I am having trouble with is for proving this is a global one. I realize I need to construct a compact $X$ containing $(2, 3)$ such that $F$ is more than $F(2, 3) = 6$ outside the interior of $X$. But I can't seem to construct $X$. I guess it should be bounded below by $y^2z^3 = 1$. Is there a general procedure for doing this?
@PVAL I have to star that!
 
No general procedure. You just need to cook up the compact set so as to guarantee that the function is strictly less than $F(2,3)$ everywhere on the boundary and outside.
Basic estimation skills apply.
 
"DeLeeuw was murdered by Theodore Streleski, a Stanford doctoral student for 19 years. "
19 years jeez.
 
7:07 PM
Damn, I think I would have given up long before 19 years.
BTW, @Balarka. Minimum is singular. Minima is plural.
 
Streleski, Kaczynski, do you see a pattern there?
 
Careful, @Balarka. I'm 25% Polish.
 
Wow this Gromov paper is 600 pages long. Guess I'm not reading that.
 
@TedShifrin Ah, thanks, I always confused those.
 
Maybe 500 pages are appendix, @MikeM.
 
7:11 PM
Please don't make fun of my friend Cliff.
 
Is that the negatively curved spaces thing? I have seen it lie on prof's table, I think.
 
LOL ... I was just encouraging you to try to read Gromov :P
OK, I need to get out and do some shopping. You all have fun.
 
@MikeMiller I tried to read a 20 page paper by Gromov. I think a few people have written 400-500 page books formalizing the content of which.
 
@TedShifrin The only paper I have tried to read of Gromov is this
 
600 pages in Gromovian must be quite a lot in English.
 
7:13 PM
:P
 
Gromov is not well-known for his succinct writing or his clear lectures.
 
@TedShifrin Have you read Arnold's autobiography chapter on Rohklin?
 
Nope.
 
It's a pretty fun read.
 
I didn't understand anything of his ICM lectures. One minute, he's talking about some theorem of Whitney, next minute he's onto chromosomes.
 
7:14 PM
See you all :)
 
Bubye.
 
I really think everyone should read this.
 
7:36 PM
lol @ the discussion about Eliashberg and Gromov.
 
7:55 PM
Excuse me, is there an example which explains why Lebegue integral does integrate over range? It is usually said to contrast with Rieman after lots of definitions about countable sets and measures where I am completely lost and just saying that we integrate over y axis does not explain me anything. I want to see WHY. How are all these definitions bring me to integration over values.
 
YEAH
basically the definition
 
8:14 PM
Is there a name for the property of integrals that allows multiplication by a constant?
 
I think it is called linearity
 
8:38 PM
i need help, i have that $\lambda_n\rightarrow +\infty$ and $(y_n)\subset \mathbb{R}, y_n\rightarrow+\infty$ Is $$ [B_{\lambda_n R}(0)\setminus \overline{B_{\lambda_n r}(0)}]\setminus B_{\frac{\lambda_n r}{2}}(y_n)=B_{\frac{\lambda_n r}{2}}(y_n)$$ ?
sorry $|y_n|\rightarrow +\infty$
 
8:57 PM
Hi @AkivaWeinberger.
 
9:47 PM
is there a way to have latex on this chat?
like a plugin or something?
start ChatJax
 
Hi. Why is 8 not a prime element in ring of integers? 8|2*8 \implies 8|2 or 8|8, which is true...
Def: An element p of a commutative ring R is said to be prime if it is not zero or a unit and whenever p divides ab for some a and b in R, then p divides a or p divides b.
 
@dash You have to check it for every a,b, not just one pair.
 
but "... p divides ab for SOME a and b in R ..."
I've found some a,b that fulfills that condition, didn't I?
 
The formal definition is that
$p$ is prime if and only if $(p)\neq R$ and for every $a,b\in R$ satisfying $p\vert ab$, we have $p\vert a$ or $p\vert b$.
 
I have the definition from en.wikipedia.org/wiki/Prime_element#Definition -- is this definition wrong?
 
9:54 PM
It's not wrong, but ambiguous because of the informality of the English language.
 
Oh, ok thanks.
 
"For any pair a,b such that p|ab, then either p|a or p|b" is whta is meant.
 
@PVAL nice! i'd still be curious for a linear algebra approach, but that's just me
 
The Germen one is exact.
 
10:36 PM
Hello, any idea about this one guys: math.stackexchange.com/questions/1652608/… ?
 
@becko here
 
10:55 PM
0
Q: Translate 'Whoever loves Myfanwy, loves a philosopher only if the latter loves Myfanwy too.' into quantificational logic.

crocketThere is an exercise in my textbook. Suppose ‘$m$’ denotes Myfanwy, ‘$n$’ denotes Ninian, ‘$o$’ denotes Olwen, ‘$Fx$’ means x is a philosopher, ‘$Gx$’ means x speaks Welsh, ‘$Lxy$’ means $x$ loves $y$, and ‘$Rxyz$’ means that $x$ is a child of $y$ and $z$. Take the domain of discourse to consist...

 

« first day (2018 days earlier)      last day (3002 days later) »