« first day (3977 days earlier)      last day (1044 days later) » 

5:00 AM
everyone seems to be a first generation college student now. how can that be?
i am not one for banning language, but surely we can remove the words unprecedented times
 
it would be nice if applying to college were less like running for office. if you see what politicians do in the US it is mostly about what their parents did.
and all this weird narrative building that is unrelated to just, like, let's go to college.
i dunno. i'll stop talking before i talk myself into a ditch
 
i had a lot of fun in ditches growing up
 
your childrens essays should all have begun, "When my father (see Angela's Ashes) was cutting turf by hand in a muddy bog in his homeland, he" etc. etc.
fill in the rest
if they didn't begin that way, you failed as a parent
 
strangely a ditch in ireland often means a raised portion of a separator
my son thinks i screwed up his essays. i took out all the bs stuff
worked for #1, not for #2
 
because i went the UC route they never looked at my essays. i forget what i put for stanford although whatever i did worked on them.
tempted to start Leslie Townes College Solutions LLC and dispense advice
 
5:05 AM
i wrote one for my berkeley grad.
i still have it somewhere
 
i have all of this stuff, even backed up onto my present computer. i can't bear to look at it. horrifically embarrassing.
 
i have disimproved time, so looking at earlier stuff is depressing
the orientation seems like it is aimed at middle school students
 
yeah that's basically the target audience
the weird thing is, i don't think the youth actually are infantalized in this country. i think universities are carrying out something that weirdly exports aspects of a kind of 1960s vision of what universities are supposed to be into the present, without any temporal adjustment
but it's still jarring and annoying and i'm glad i'm not paying for it this semester anyway :)
 
they talk to them like the are small children, yet expect a byzantine enabled approach to getting classes etc
 
i hope they are still escorting them into the UCSC equivalent of the basement of evans with a room full of dial telephones, for purposes of dialing into the enrollment system.
 
5:12 AM
i imagine it is some incomprehensible online thing now
 
my wife and i talk about this a lot, she works in higher education but we both basically regard it as failed and finished, as a societal project. she's got some interviews with non academic stuff this week and next where i have to cover child care.
when i cover child care i sometimes sneak our daughter into her zooms because everybody loves seeing a toddler on zoom. i won't do it for interviews but i will do it for meetings.
 
might be a good idea to get some child care now with a view to the future?
 
she's in day care M-F most of the day. covering is on 'staff development days.' you know, so they can catch up on what's changed in how to handle toddlers since 6 months ago.
 
toddlers get upgrades oin a regular basis
is there anyone in america whose parents have attended college?
another first gen person talking
 
probably not.
the funny thing about all of that theater is how much of the student body is made up of people who do not need to participate in it.
 
5:16 AM
i feel some deep sense of cognitive dissonance
experiental learning. etf?
e->w
 
there was one gyro 360 degree ride also... I did that and after that my head started spinning... It was the scariest ride!
 
i am not a fan of amusement parks
 
i hate them too
 
so many aspects bother me. you are captive yet have to pay for parking. you cannot bring in food so you must eat their sub par expensive rubbish. every ride of interest has a 30 min line, so you can ride at most maybe 5 rides in a $100 visit. and you are treated on entry in a manner that makes tsa look like mother theresa
 
disneyland seems not to have started up fully. we live within the blast radius of disneyland (when they do fireworks, we hear it). we've raised our daughter unaware of disney. if she asks what the sound is we say "something somewhere blew up."
 
5:24 AM
if you visit ireland with your daughter however, take her to the tayto park.
it is small, lines are short, food reasonable.
 
i do hope to do that, and will do that.
she'll fit right in with her demonic red hair.
 
i like "something somewhere blew up."
 
she's going to need to learn that that's normal sooner or later
 
a bit like when my daughter asked me about god
i feel i have failed as a parent in sending my son to the uc system
we have the resource, but it was his choice.
 
he will learn how to deal with institutional apathy, and the stunning indifference of a cosmos that cares not for him.
it is a good life experience.
and cheaper than many alternatives (at least in-state)
 
5:26 AM
hmm, i want him to be enabled like my daughter
she just figures and moves on
 
@copper.hat that is what I also don't like. Eating their expensive food which you can get much cheaper outside
 
and better
 
there is sooooo much good food within 5 miles of disneyland. oh man.
 
@leslietownes ahahaha
@copper.hat true
 
i was expressing concern about my daughter who is doing exams & an internship. her response "thanks dad, my life isn't that sad".
trying to get my son to remain under 25mph is a challenge
 
5:29 AM
hahaha
 
i want to visit her this summer
 
exams and an internship at the same time is too much, at least to me. i never subjected myself to simultaneous forms of stress.
 
she seems to have my mother's ability to stack stress
some er dr thing maybe
she/he pronouns
ffs
 
if i get two forms of stress i end up lashing out verbally and it's not good for anyone.
one form at a time, please
 
i am good under pressure when it involves survival. otherwise i do same
i believe in sharing :-)
crap, i need to add a bug description to jira. modern bureaucracy.
why is atlassian worth so much?
 
5:34 AM
i've been wondering that myself
their constant advertising on local public radio can't be the reason
 
we went through a $500k (my estimate) exercise in changing the word slave to tasker. i an not a denier of any sort, but wonder what the value was.
to be fair, a big customer pushed it a bit.
i think hiring more diversity would be a better use of the money
 
out of the context: is there a place/lab where gravity can be controlled. for example: you get into a room and gravity is 2g or 0.5 g etc.?
 
no, but there is the vomit comet space.com/37942-vomit-comet.html
 
i don't get it either although i tend to lie on the cost side of the equation so i'm not going to shout at someone else landing there.
there may be some mushrooms where gravity can be, if not controlled, at least altered.
i don't know anything about them
 
i did not begin to understand racism until i went to south africa
 
5:38 AM
?
what racism in south africa?
 
i realised that it is a cultural thing
you are kidding me?
 
i don't know
 
apartheid>
 
@copper.hat I see
 
ghandi was a lawyer in za to start
 
5:40 AM
@copper.hat I didn't know such a thing existed too.
 
whoa, a second gen student. at last!!!
(@Koro I am listening to my son's college orientation video)
 
my dad went to college
 
mine did.
i think 3 of my grandparents did (well, teacher training college)
 
i think 2 of my 4 grandparents did
** college rejection issues **
 
back then there was no expectation that everyone would attend college
 
5:47 AM
my grandfather had crimes on his record and still somehow got into boston college. must have been being catholic and in the right place at the right time
 
it was a different world.
you could escape your past
 
6:07 AM
goodnight. i am going to escape my day
 
PRD
Hi everyone! =)
Can someone help me solve this problem?
0
Q: Evaluate the indefinite integral of $\int\left(a^2-\frac{\sin {(a)}}{a^{2} + 1}-a\cos{(a)}\right)\,da$

PRDEvaluate the indefinite integral $$\int\left(a^2-\frac{\sin {(a)}}{a^{2} + 1}-a \cos {(a)}\right)\,da$$ I tried a lot of integration strategies to solve this, but I can't find what will solve the derivative. Can you give me a hint on how to solve this? Specifically, I am thinking that the fact th...

 
isn't $\int f(x)+g(x) dx = \int f(x) dx + \int g(x) dx$
idk if that actually helps if it is true - just seems like multiplying by $\frac{a^2+1}{a^2+1}$ is overcomplicating, but i'm not too good at this so take my advice with a grain of salt
 
PRD
Thanks for the comment
It was actually my first strategy but I can't find a way to differentiate the middle term
 
:58429237: copper, I meant that I didn't know that such a thing existed in South africa in particular. In some other parts of the world, I'm aware that it existed and still exists in some places.
@copper.hat
 
:xxxxxxx reply
 
6:18 AM
is it ok now @hyper-neutrino
 
are you sure you copied the problem statement correctly? I plugged this into WA and it's giving a really messy formula
 
PRD
@hyper-neutrino yes, I checked it multiple times.

I noticed that the middle term is an odd function. If I will solve its definite integral, I can say that it is equal to 0.
 
@Koro a) i think the trailing colon breaks it b) you can just click the reply button on the message and then just type
@PRD Okay. Then sorry, I don't know how to integrate this, and also the WA answer is looking very messy (didn't even bother looking at the solution) so idk
i am definitely missing something since both answers seem to know the approach and are providing hints
 
7:02 AM
@robjohn i.e. one good example. nice answer!
@robjohn i wish i had known this within those 2 minutes!
 
7:42 AM
Consider $(X,d)$ & $(Y,e)$ be metric spaces, $f:X\to Y$ be continious function & $A\in X$. Let $G$ be an open set in $Y$. Then by a theorem($f$ is contionious $iff$ $f^-1(G)$ is open in $X$ whenever $G$ is open in $Y$ ), $f^-1(G)$ is open in $X$. Now, are we eligible to write $f^-1(G)\cap A$ is open in $A$? If yes, then how, i.e. what i unable to understand
 
8:12 AM
Is there an intuitive reason why the cup product of generators of a wedge sum are trivial? I am looking for example at $S^1\vee S^1\vee S^2$ and the dual generators of the first cohomology group which send a generator of the first homology group to 1 and the other to 0.
More precisely, why is the cup product between cohomology groups coming from different spaces trivial?
 
 
2 hours later…
10:04 AM
In abstract algebra, I have seen (some flavor of) the following "proof" several times when it comes to proving (not just "showing") Z[i]/<1-i> is a field:

$Z[i]/(i−1)=Z[x]/(x^2+1)/(x−1)=Z/(1^2+1)=F_2.$

I understand the isomorphism between Z[i] and Z[x]/<x^2 +1> because I don't get the daisy-chaining of factoring rings.
Can anyone help me fill this knowledge gap and gain this understanding?
 
10:52 AM
that's very sloppily written to the point of being arguably inaccurate
 
@stephenjfox it comes down to the following result: If $f : R \rightarrow R'$ is surjective homomorphism, it induces a one to one correspondence between ideals of $R$ containing $Ker(f)$ and ideals of $R'$, given by $J \leftrightarrow f(J)$
 
The important insight is that the ideal $(1-i)$ in $\mathbb{Z}[i]$ lifts to the ideal $(2,X-1)$ in $\mathbb{Z}[X]$. Then the composition of the surjections $\mathbb{Z}[X]\rightarrow\mathbb{Z}[i]$ (given by $X\mapsto i$) and $\mathbb{Z}[i]\rightarrow\mathbb{Z}[i]/(1-i)$ has kernel $(2,X-1)$, so induces an isomorphism $\mathbb{Z}[X]/(2,X-1)\rightarrow\mathbb{Z}[i]/(1-i)$. But $\mathbb{Z}[X]/(2,X-1)\cong\mathbb{F}_2[X]/(X-1)\cong\mathbb{F}_2$.
 
that basically allows you to say $R/(a) / (\overline{b}) \equiv R/(a,b)$, where $\overline{b} = (a) + b$
so using that you get the first equality, for the second equality you use the same fact, just the other way around
i.e. rather than $R/(a)/(\overline{b})$ you consider $R/(b)/(\overline{a})$
or what Thorgott said
i think artins algebra has a good exposition of this, with some exercises and examples to check you know how to apply it
 
11:12 AM
Any chain in a (sufficiently nice) wedge $X\wedge Y$ is homologous to a chain in $X$ plus a chain in $Y$. Now let $\alpha$ be a cocyle in $X$ and $\beta$ a cocyle in $Y$ and pull them back to cocycles $\tilde{\alpha},\tilde{\beta}$ on $X\wedge Y$.
By additivity and the first observation, it suffices to check that $\tilde{\alpha}\cup\tilde{\beta}$ vanishes on every simplex lying either in $X$ or in $Y$, but these get killed by $\tilde{\beta}$ or $\tilde{\alpha}$ resp. since they get pushed down to points.
oh fuck I did the thing again where I act like \wedge is the wedge sum
 
I'm with you on the sloppiness / opacity of the matter. It's kind of driving me up the wall. So I thought I'd ask for a clarification.
Examples of this answer are here (https://math.stackexchange.com/a/362901/445486) and here (https://math.stackexchange.com/a/1639652/445486). Neither define the isomorphism being leveraged
@porridgemathematics Thanks for the reference
 
the isomorphisms are induced by canonical projections in any case, I just don't like the notation
stuff like R/S/T is sloppy and easily misleading notation
it should read $\mathbb{Z}[i]/(i-1)\cong\big(\mathbb{Z}[x]/(X^2+1)\big)/\big((X-1,X^2+1)/(X^2+1)\big)\cong\mathbb{Z}[X]/(X-1,X^2+1)\cong...$
 
canon can be hard to grokk when it seems (at least) some of the point is being able to work through it from preceding definitions and theorems.
Worse yet in a self-study or classroom environment.
@Thorgott So the factoring "over" "operator" is right-associative. That's good for future reference
 
Let's say I have a vector v, and I want to know the direction of this vector, say I got the direction, by this formula V/|V| and now I have 3 angles in X,Y,Z directions, is there a quick way to know if this vector is pointing in up,down,right,left,front,back direction, I remember it might have something to do with signs but I dont have visualization so i am working blind thus I want make sure i am using the right method
 
@Thorgott Would this one be better (math.stackexchange.com/a/361109/445486)? Similar problem, making the effort to be explicit about the factor rings
 
11:37 AM
@stephenjfox yeah, these things are admittedly often more or less implicit. it's something you figure out once and then just roll with
@stephenjfox hmm, maybe I'm misunderstanding, but I don't think right-associative is the right term. what's going on is effectively a formal version of "cancelling fractions".
@stephenjfox yeah, I think that answer is lucid
 
11:57 AM
@Thorgott probably an overloaded term. In my recollection of programming language design / compiler programming, left- or right-associativity is used to describe where the implicit parentheses fall in some ambiguous computation. For example 1 + 5 / 2 == 1 + (5 / 2). My example shows how operator precedence (i.e. division trumps addition) assists the language in being right-associative (again, if I'm remembering my terms correctly)
 
12:08 PM
its sorta right associative, the issue is $(a)/(\overline{b})$ doesn't really make sense in $R/(a)/(\overline{b})$ because $(a)$ isn't a ring in itself
 
12:21 PM
$x\mapsto 1/(x+\epsilon)$ is only onesided lipschitz right?
 
 
1 hour later…
1:23 PM
Say I want to calculate the magnitude of a 3d vector $\vec v = (v_0, v_1, v_2)$. Of course the answer is $|\vec v| = \sqrt{v_0^2+v_1^2+v_2^2}$. However, is this expression numerically stable? Are there faster ways to do this while ensuring numerical stability?
 
1:38 PM
this is the only formula I knew to calculate it, if you want it to be faster as in programming, Up to my knowledge the answer is no, there isn't much you can do other than optimize your implementation in the language of your choice.
 
This is already implemented in the source code, however there are some extra steps to improve numerical stability, which Im not sure if they are neccessery
v0 = FABS(vector[0]);
v1 = FABS(vector[1]);
v2 = FABS(vector[2]);
max = (v0 > v1) ? ((v0 > v2) ? v0 : v2) : ((v1 > v2) ? v1 : v2);

if (max == 0.0)
return 0.0;

v0 /= max;
v1 /= max;
v2 /= max;

return (max * sqrt(v0 * v0 + v1 * v1 + v2 * v2));
 
1:56 PM
if you want speed you might want to look at SIMD assembly(c++ version is intrinsics ), it will reduce the number of operation by 1/3,
there's also linear algebra libraries that support SIMD like DirectXMath.
 
Could someone help with this?
 
isn't that by definition
 
what how
there's this paragraph that says:
"Next, fix n...."
I don't get that. See the third image
 
$|\Lambda_n(f_j)|\le|\Lambda_n||f_j|\le|\Lambda_n|$ and taking the limit $|D_n|\le|\Lambda_n|$. (6) is the reverse inequality, so equality holds.
 
2:12 PM
This is the part I don't understand
@Thorgott this makes sense though
 
continuous functions are dense in simple functions
 
do you mean the reverse
so all f_j's are simple?
 
no, g is
the f_j are supposed to be continuous
g is a difference of two characteristic functions
 
2:29 PM
@Thorgott this doesn't make sense to me because continuous functions are not a subset of a simple functions
when we say A is dense in X, A \subset X
 
ok, but it's clear what is meant
 
i read that simple functions can be approximated by continuous functions. i don't remember seeing this before though
is this in rudin somewhere? are you using lusin's theorem in some form?
 
2:53 PM
could you just tell me how to prove that "every simple function can be approximated by continuous functions"? i think that's where my problem lies
 
simple = constant by parts?
 
@Astyx Ish. Constant on measurable sets.
 
thanks
 
please try this integral out
$$\int{\frac{ln(x)}{x^2+2x+4}}dx$$ from x=0 to x= $\infty$ I have had no success in last 1 hr :(
 
3:16 PM
you just do it by hand
simple functions are approximated by step functions by the nature of measurability more or less
and step functions are approximated by continuous functions by hand, do some piecewise-linear approximation
 
@napstablook so you want $$\int_0^\infty{\frac{\log(x)}{x^2+2x+4}}\,\mathrm{d}x$$
 
@robjohn hmm. it is supposed to be of format $\pi lnp/\sqrt{q}$ if that helps
where p,q are integers
 
It is $\frac{\pi\log(2)}{\sqrt{27}}$, but now it has to be proven
Can you use contour integration?
 
I am not aware of this method, I tried partial fractions and integration by parts
however please still show the method
 
3:34 PM
It will take a little while. I am doing some things around the house.
 
3:48 PM
@robjohn OK please ping me when you are free :-)
 
I got the following differential equations problem: $\frac{1}{x} = \frac{1}{y} \frac{dy}{dx}$, from which I get:
$\int \frac{1}{y} \text{dy} = \int \frac{1}{x} \text{dx} + C$
=> $\ln y = \ln x +C$
=> $y = e^{\ln x + C}$
uh, this is the first time I encounter the problem of not knowing what to do with the unknown constant $C$
i strategically panicked, but I think there must be some better way to deal with this
right? or am I just meant to keep the unknown constant there?
 
I mean, these are all solutions, as you can check
 
@shintuku you are supposed to keep it. the order of d.e. determines the number of constants in your final solution
 
you can also rewrite your final expression in a nicer way while you're at it
 
right, $xe^C$
 
3:52 PM
or y = kx
 
ohh, right because $e^C$ is also some other constant
thank you for the responses!
 
@Thorgott ok thanks!
 
4:19 PM
strictly speaking e^c is some other positive constant
one time i TA'ed for a calculus professor who required us to deduct points for stuff like that. i thought it was too much, for a calculus class.
he was really into absolute values and keeping track of the signs of everything. to what end, i don't know.
he also required people to state the domains of the functions they were using in a change of variable, which is basically just a really annoying memorization exercise, in the case of trig functions, and totally unnecessary.
 
well, its a solution for negative constants too
 
in my very humble opinion.
yes, exactly, that's where the absolute value comes in. the integral of 1/x is ln |x|.
 
i guess you're gonna reply by arguing that the primitive of 1/y should be ln|y|
 
god, he was obsessed with that.
 
yeah..
 
4:21 PM
you now have the experience of TAing for that guy. i hope you like it as much as i did.
grading the final exam in that class was so tedious. imagine checking that kind of stuff for 400 exams.
 
4:39 PM
thanks to the math seers I have finished that problem
and now, as things go in math life, I have encountered a new one
 
captious
 
does anyone know where I can find a rigorous treatment of the volume of solids of revolution
ideally, a permanent cure
stewart is sort of hand-wavy with volumes of solids of revolution
 
@Thorgott i've been trying since then. could you give some explicit direction on how to proceed?
(finding continuous functions to approximate the difference of two indicators?)
 
yeah that guy was captious. captious to a cap-T.
 
@shintuku I'm not sure quite what you're looking for, but you can try the third or fourth edition of Spivak's Calculus.
 
4:49 PM
the PDE answer would be to convolve with a smooth bump function.
i hated stewart for many years but it is actually a pretty good textbook.
it pains me to say it
 
Appendices to chapters 13 and 19, @shin.
He mostly copied Edwards and Penney, @leslie, early editions of which were really great.
 
oh? i didn't know that.
 
ah, as always, the answer is spivak
thank you!
 
later editions, unless it's just to make more books and correct typos, seem not to improve anything. the mental image i have is an empty sink filling up with dirty dishes.
 
which step are you struggling with
 
4:53 PM
No, publishers mandate later editions just to generate revenue, but usually the epsilonic changes make things worse.
 
my wife's doing a job interview in the other room, so of course the neighbor is mowing his lawn and the other neighbor has people with a leaf blower going at the same time.
 
@Thorgott so, I have a function for the radius of rotation of a solid. what I can't work out is why the formula takes the shape $\pi \int R(x)^2 \text{dx}$, in terms of how it takes infinitely many slices of the bigger solid as we move along $R(x)$
 
i'm going to practice the electric guitar, just to add to the mix.
 
@shin: In general, prove (using circum- and inscribed shapes) that if you slice with cross section $A(x)$, then the volume is $\int_a^b A(x)\,dx$, just as you do for areas.
Cylindrical shells are trickier than cross-sections. You really need Riemann sums for that.
 
what is your definition of volume
 
4:57 PM
it's cavatappi's principle
 
Cavalieri?
 
lol
 
Leslie is all tapped out, and it's morning.
 
the cross-section is along the (not actually used in the algebra) z-axis, right?
If I need to rotate about $y=-1$
i'll do some thinking in my corner and read spivak
 
Those changes make no difference. If you want a rigorous justification, do what I said. Otherwise, draw sketches and figure out the formula for the cross-sectional area. That's just basic, nothing about rigor.
Spivak is relevant only if you wanted rigor. If you want standard manipulations with moving axes, etc., he's not helpful.
 
5:01 PM
@shintuku You may also try Gerret J Etgen's Calculus of one and several variables. @shintuku
 
noted, thanks!
 
you may take a look at chapter 17 of the book mentioned above
@shintuku
 
alright!
 
When I taught second semester calculus, whether engineering style or with proofs, I would NEVER give more than half credit on these problems if students didn't include a sketch showing how they found the cross-sectional area or integrand for cylindrical shells. Of course, requiring them to do this basically enabled them to ace it.
@Koro That sounds like a multivariable multiple integral, not helpful.
 
Hi Ted! I remember the book from long time ago when I read it the first time.
There is some discussion of solids of revolution in the book but I don't really know what the question asker really wants i.e. how much solids of revolution so I suggested it
cheers :-)
 
5:06 PM
@TedShifrin you would've failed me :P
 
It doesn't have to be beautiful art or even to scale. Schematic is fine.
The point is to force them to think through what the inner/outer radii are without memorizing/guessing.
Guess what. It works. And if you just write down the answer with no derivation/explanation, you don't deserve credit.
 
Ted, we had a subject called engineering drawing at college in which we had to draw top view etc. of objects. I got low grades in that. Because 1) my drawing sucked. and 2) I took too much time drawing arrows (with some 3:2 ratio)... And my instructors said they didn't really care about drawing only the concept.
But it was not like that :'(
 
Actually, I think it's an important skill.
 
@TedShifrin They saw drawing also and so if I were in your class, you would have deducted my points based on my drawing
 
i could not do any mathematics without pictures.
then again, i 'am' an engineer
 
5:10 PM
No, you're not listening. I did not grade on the beauty or even accuracy of the art. I wanted to see a sketch of the revolution and of the cross-section, so that one can immediately read off the area of the cross-section.
 
i agree with Ted, the quality is not particularly important
 
For multiple integration, sketches become even more crucial.
 
we are visual animals
 
Well, not the formalists.
 
i am far from a formalist
 
5:13 PM
great! I would want the same- the sketch of how one deduced something (cross -section for example for triple integrals) and not the beauty of the drawing. @Ted.
 
I was not referring to you, of course, copper.
 
:-)
 
What was fun was to discover that some of my students could draw better pictures in multivariable than I. It made them very happy to come to the board and show them off. In one case, it totally changed the way I presented the problem the next day.
 
ha. i delegated almost all drawing when i had to teach multivariable. i should have donated a fraction of my salary
 
When I was associate head, I avoided assigning multivariable to people who were not qualified to teach it :P
 
5:16 PM
I got it! I need to prove that the surface area of the side of a disk-cross-section is identical to its volume, since we have the formula for area $\pi r^2$
 
my department was a disaster on that front.
they changed my course schedule without telling me. i learned what i was teaching the friday before class started via an email from a TA asking why i wasn't at the TA meeting. the what, now?
 
@Ted you would have given up hope if you had to assign multivariable in my math department. How should I put it, I would more accepted if I was a serial killer than thinking with pictures
 
i spent the weekend finding a textbook and making a syllabus and also planning an exit from academia.
 
No, that's not right, @shin. The surface area will be $2\pi rh$; the volume will be $\pi r^2h$.
LOL @leslie
Although there are some mathematicians like Thor who refuse pictures, I think that in general the pictures help at least 75% of the students.
 
i remember that friday night. we got burritos. i told my wife, 'this is it, i'm done.'
 
5:19 PM
I really like formalism, but that's after I have had a picture or two.
 
@leslie I would be it was more the research/promotion rat race than one particular teaching assignment.
 
it was one of many straws on top of the camel's back.
there was also having a paper rejected by a referee who cited a false result in the literature (presumably his own).
 
People have accused me of being a formalist because I use/love differential forms. (No pun intended.) I really think there's a lot of geometry in them, although perhaps not so much geometry in the exterior derivative (except that Stokes's Theorem vindicates it).
 
i appealed to the editor, saying, the fact that there's this false result swimming around is even more reason to publish this paper. i don't know what to tell you
 
i thought Ted was against graphs and pictures @leslie
 
5:21 PM
@leslie A colleague and I had an NSF grant rejected by a referee who claimed that our intended results were long ago in the Italian literature and dismissed us. He was wrong, of course.
 
ah yes, the long ago Italian literature.
everything is in there, if you know where to look.
koro, i'm the one who's against graphs and pictures.
 
Except we looked where he told us and it wasn't.
I even bought an Italian dictionary :P
 
@leslie, ah alright now i understand the Ted summoning spell
 
There was unquestionably a bias against "old-style" hands-on algebraic geometry. Although when we merged into singularity theory, the bias became less as the technicality increased.
 
when i was house sitting for a geometer that we both know i found a book by an old italian and surprised myself by realizing i could actually understand it.
it wasn't hartshorne. i could actually turn the pages.
 
5:24 PM
That's the precise reason (as of now) why I want to go into algebraic geometry. You have got multiple facets to it, you could think in terms of pictures, forego them and do the gritty local ring calculations, or just be Serre and put them together
 
i also read through an enormous amount of pulp fiction. raiding people's libraries is the only reason to house sit.
 
i think this is kinda neat: Let $D \subset \mathbb{R}^n$ where $n > 1$ be convex, with nonempty interior. Suppose $C$ is a countable set. Then $D \setminus C$ is path connected, and for any two points $d_1,d_2 \in D \setminus C$, there is a path from $d_1$ to $d_2$ in $D \setminus C$ that is the concatenation of two straight line paths
 
i'm assuming that at root that is a kind of cardinality argument. so many two-straight-line paths, only countably many things to avoid?
 
yup
thats a good way to go about proving it
 
it seems a little subtler than pure counting. i like the mental image of it.
 
5:27 PM
Sounds like a picture, @leslie. shakes head
 
i said mental image.
 
Uh huh.
 
it is a tad subtler than pure counting, but a cardinality argument is involved in one proof of it, yes
(and is around 80% of the proof)
 
i'll need more than 80 proof to get to this weekend. big filing on friday.
 
lol
i read that as filling
still sort of works
 
5:30 PM
big filling too. i go to the dentist and then i eat a large meal. every friday.
 
I love mental images
4
 
The mental image doesn't help someone you're working with or explaining it to.
Unless you transplant it by voodoo.
 
i was about to say, not with leslie's patented mind beaming technology.
you just beam it into their mind and they 'see' what you 'see.'
 
Marketed by lesliecoin?
 
we do need a little bit of temporary liquidity to get our production up to snuff, yes.
investment in lesliecoin is more important now than ever before.
 
5:33 PM
True, I guess that's where the difference between thinking and explaining comes along.
 
i dropped my daughter off at school today (fairly rare for me) and it seemed like everyone knew her name. not just her teacher, but all of the teachers. and the guy who cut the lawn. i think she is difficult, and they tell stories about her on coffee breaks.
they do day care and K-6 at the school. there's no way that they know everybody's name.
 
Hard to imagine they'd know a talkative brat who uses 4-letter words.
 
yes, inconceivable.
 
i suspect she interacts with lots of people
 
f this, f that, f you. yes. substantial interactions.
she isn't even three years old. i expect she'll run the world by the time she is 6.
 
5:45 PM
So I have been reading "Introduction to Mathematical Logic" by Elliot Mendelson. But At somepoint , I feel like the amount of preliminary knowledge is beyond my scope. The question I was stumped at is "If the set of symbols of a consistent generalized theory K has cardinality Na , then K has a model of cardinality Na".
I thought I did not need the knowledge of cardinal and ordinal numbers for studying first order logic (so I did not learn it), but it seems like I do need it.I did study some set theory notation like union , intersection ,power set , function , relation etc .The problem is I NEVER studied cardinal and ordinal numbers so I am not sure how much theory of cardinals I would need to study the more "advanced" meta-theorems of FOL.
 
she needs a friend of similar capabilities
 
The author of the book also said in a footnote "Presupposed in parts of this section is a slender acquaintance with ordinal and cardinal numbers (see Chapter 4; or Kamke, 1950; or Sierpinski, 1958)” .So I have been trying to study “Theory of sets” by E.Kamke . It seems fine for me . It has things like cardinal numbers , order types , ordinal numbers , aleph numbers , transfinite induction (although someone said that “It is not wise to learn set theory from a book written over 70 years ago”).
My big doubt is that , whether or not “Theory of sets” would be enough to learn and understand FOL meta-theorems and their proofs involving transfinite cardinals (like Na) in Mendelsons logic textbook. What to do ? Should It be enough to learn from “Theory of sets” ? Or should I learn from an modern Naive set theory or axiomatic set theory textbook before going back to mendelson ? Also , what kind of preliminary the author expected by “slender acquaintance” in his footnote?
 
The only person around here who is an expert on mathematical logic is @Alessandro. The rest of us probably are of no help whatsoever.
I took only one half of one course in mathematical logic when I was an undergraduate. I never looked back.
 
@TedShifrin While I am at high-school and slowly falling into a rabbit hole.
 
Well, one can learn lots of good mathematics without getting buried in mathematical logic. That said, Mendelsohn's book is used in lots of undergraduate math courses, so it really shouldn't be that bad.
 
5:50 PM
i just skipped the parts of mendelson & enderton that got too deep.
but i was trying to grasp temporal logic, so probably had a different focus
 
same with me. i read pieces of enderton on logic. i read most of enderton on set theory.
 
@copper.hat what parts did you skip (like , proofs involving models of cardinality Na?)
 
i found them to grind laboriously through some detail and then skip through stuff than probably needed a sentence or two.
 
net applicability to everything else i was doing: approximately 0.
 
yes, i was not focused on that. but i had an engineering goal in mind, so that is different
 
5:52 PM
i felt like a traitor to uc berkeley, ignoring all that logic and set theory. but i did it anyway. i never looked back. i would do it again the same way.
 
i am very eclectic about what i learn, if i have no interest it will not sink in.
the one big exception is group theory, which will never sink in it seems
@Prithubiswas i liked reading model checking by clarke et al, and symbolic model checking by mcmillan, but i had a specific focus.
i had to bridge the gap between customers and formal verification folks.
 
4
Q: Existence of a sequence of continuous functions converging pointwise to a characteristic function.

BrandonI'm reading Rudin's Real and Complex Analysis and in section 5.11 he makes the next assertion: Put $g_n(t)=1$ if $D_n(t)\geq 0$, $g(t)=-1$ if $D_n(t)<0$. There exist $f_j\in C(T)$ such that $-1\leq f_j\leq 1$ and $f_j(t)\to g(t)$ for every $t$, as $j\to \infty$. Here, $C(T)$ denotes the set...

 
Maybe I'll send you my algebra book, @copper, and you can see the more geometric approach :D
 
Thorgott, see the f_j here
What if I take $2f_j - 1$? Won't that work for our $g$?
 
@TedShifrin send me a reference please
 
5:57 PM
@leslietownes My situation is a bit different . Everyone seems to lean things like real analysis , number theory , group theory but I have burried myself into learning some logic. I feel very jealous nowadays and feel like throwing away my logic textbook out the window and study the mouth watering group theory or real analysis.
 
If you email me, I can send a crummy pdf. Otherwise, just google my name and algebra.
@Prithu So study what interests you.
It's not like you're in grad school yet.
 
will do, happy to support in the marginal royalties way :-)
 
But another part of me is saying , if you dont study logic you will fail (like some sort of trauma).
 
I would second Ted strongly
 
Nah. Forget about it.
 
5:59 PM
oh yeah, that's a nice trick
much simpler than what I had in mind
 

« first day (3977 days earlier)      last day (1044 days later) »