« first day (2526 days earlier)      last day (2791 days later) » 

@AkivaWeinberger Say, I found an approximation to $G(13)$, the amount of steps it takes for $13$ to reach $0$ in the Goodstein sequence.
$$G(13)\approx g_{2\uparrow\uparrow\left(2\uparrow \uparrow\left[2\uparrow\uparrow\left(2^{ 2^{2^{70}+70}+2^{70}+70}\right)\right]\right]}$$
Where
$$2\uparrow\uparrow n=\underbrace{2^{2^{2^{\dots}}}}_n$$
And $g_n$ is the $n$th term of Graham's sequence with $g_{64}$ being Graham's number.

See [here](https://math.stackexchange.com/a/2345650/272831) for an explanation.
01:36
Oh wow
I'm sure better bounds are possible. I butchered the $2\uparrow\uparrow$ part though
Once you start writing out the first few terms, you should be able to get a feel of what's occurring and then apply lots of induction lol
Basically, in base $n$, you'll want to try and see what $+k<n$ does (It just adds $k$ to the base) and then you should see that $+nk$ does something close to doubling, etc.
The end result is $n^k$ is akin to $k$ Knuth's up-arrows, which is how Graham's sequence sneaks in.
And I think $G(14)\approx g_{2\uparrow^46}$. Anyways, goodnight.
01:54
Night
@BalarkaSen Hey, remember a while ago we were talking about the preimages of $S^n$, $n\le2$ in the Hopf map? I wonder what do we get if we do the same construction for the other two Hopf maps ($S^7\to S^4$ and $S^{15}\to S^8$ if I recall correctly)
I mean, obviously higher dimensional nonsense that can't be grasped by human minds.
But I wonder if maybe there's like an actual simple description.
Hm, we could do this for the nonzero element of $\pi_4(S^2)$ (which is $\Bbb Z_2$ I think) for something more manageable. Since it's made out of the usual Hopf map, I seem to recall, it should "look" similar to the picture from the usual Hopf thing.
It was like, you suspend the Hopf map to get something from $S^4\to S^3$ and then compose it with the Hopf map ($S^3\to S^2$)
02:11
@Daminark Yes
Sorry Dami, just wanted to make that as dramatic a reveal as possible :p
:O
@Perturbative
insert "Are you not entertained?" meme here
@Daminark Thanks for the comment Dami! I'm reading through it now
No problem!
That was a bit of a longer comment that went into the details, basically it boils down to the participant background and whether people want to go more on the topology or geometry trains
I didn't mention this there, but if you want both sides, you probably don't want to spend too much time on any given topic, so Lee would really be way too long
02:32
It's a great comment! Thanks also for offering to give the problem sets!
No problem!
The thing is a lot of the people who joined the study group (based on comments) had already started Lee (including myself :p), so I was thinking of doing maybe a slimmed down version of the sort of topics that are covered in Lee
I'm hoping some more people will reply to the thread and voice their opinions though
Lee is a big book
good for weighing down paper
In that case, probably Tu, it's shorter than Lee but still got the same mindset. Warner could also work but it's more aggressive
warner is good
lee is big but modular, reading based on results as opposed to chapters is better i think
02:39
My idea basically was to get a group together with a bunch of books and work through the material together, and people could choose from a selection of recommended texts as they saw fit
@Dami, I think Tu will definitely be one of the texts we use
i cant remember Lee's problems
they might not be very good if they're not memorable but idk
@Eric I've got the psets you sent me from Dominic actually, including a few problems he wrote himself
ive done more than whaat he assigned and i still dont remember them lol
@Dami, If you want to, I could make you a moderator of the subreddit :)
I can feel the power
02:44
i seem to recall similar subreddits have existed in the past
specifically for dg
but i think they all died
@EricSilva Yep that's the sad thing :(
idk if reddit is a good platform for connecting people who are motivated to actually do the study
@Daminark Dami becomes moderator, starts posting dank memes
@Eric I've seen someone organize a functional analysis group using Discord
@Daminark has your group figured out a system for deciding who lectures
i feel like discord could work
ive been involved with some complicated shit over discord
02:47
Nah we thought we'd be assigned them, I posted on our FB group so let's see what happens. I may volunteer to give the dynamics lecture on Friday if I feel good about it closer to then
l o l
dont underestimate how long it takes to prepare a lecture
@EricSilva Apart from here on MSE, /r/math is the only other place I know on the interwebs that has an active math community, that would be interested in a study group
and we werent assigned them so we thought you guys would take initiative
@Perturbative I think what Eric was going for was that it was a good place to gather people together, yes, but that you should find another platform once you have gathered people so as to actually do the stuff. The advantage seems to be that if someone does miss a bit, Reddit has a nicer arrangement for getting back on top of things, but it is somehow slower than a chat
@Perturbative yeah but the thing is that the format of reddit honestly isn't fast enough to do collaborative math imo
yeah what Amin said
02:51
Yahoo has study groups
@EricSilva Ahh okay, Discord could work in that case
anyway @Daminark be prepared, the first lectures last year were utter d i s a s t e r s
I think Chris will likely be first to go, he at least read and TeX'd notes on the first chapter of Brin/Stuck so he's prepared that much at least, though nothing is decided yet
Also, I guess, what were the common pitfalls of the first lectures?
doesn't it start in the second chapter
pacing, stage fright, not realizing that proper board work is not easy
bad planning
not reading the crowd
I mean yeah, but I think many people procrastinated and are probably scrambling to do it right now
Re Boardwork: My boardwork is probably quadratic, does that sound good?
02:58
plus, no lecture plan survives contact with an audience
also Titchmarsh is hard
yes very true @Semi
(and yes, I am implicitly invoking ye olde Clausewitz line and thereby comparing lecturing to warfare and the audience to the enemy :P )
unless you're a magnificent bastard like Wilhelm Schlag
Whoa, is it really that hard? I know it was written before the printing press but I guess I wasn't sure how that would translate at all
the man can give insane impromptu lectures
@Daminark is that a joke or something
03:00
At least one person is potentially thinking of taking the topics from Titchmarsh, find the equivalents in Stein, and then lecture from that
Yeah it was a joke
that feels almost against the spirit of the program
the whole point of choosing titchmarsh was so that you guys are scared
Lmao
to put the fear of titchmarsch into you :P
Yeah a lot of people were wondering why Schlag didn't use the book he used for when he taught the actual class on complex.
not actually it's about technique, which i guess is about not being afraid of things that are actually scary
@Daminark because he's trying to do a specific thing very different from teaching someone complex analysis
also it's way too hard for an undergraduate complex class here
03:04
Holy shit
like it's technical
the things in it are very basic but it requires knowing your shit thoroughly
Guys why is $\lim\limits_{x\to0}\dfrac{f(g(x))-g(f(x))} {f^{-1}(g^{-1}(x))-g^{-1}(f^{-1}(x))}=1$ (assuming it is true)?
there was a moment last year where someone was trying to justify an inequality and schlag was like "ah yes, it's obvious!" proceeds to describe a sequence of very complicated computations for the next 40 minutes @Daminark, it was very illustrative of what he wanted to do
Under the conditions that $f(0)=g(0)=0$
03:07
That attitude kinda irritates me.
I originally saw this in the context of "solve this limit for $f=\sin,g=\tan$"
so perhaps the fact that $f'(0)=g'(0)=1$ is relevant as well
Was there a similar mindset in his choice of the other books?
I could understand "Okay, here's what this should bring to mind for you, and here's how to execute that"
but to say baldly "it's obvious" is just kinda...bleh.
@Semi he murmured it under his breath, i only heard it because i was right in front of him, he wasn't saying that it should be obvious to us
hmm, okay
03:09
in fact i recall him saying that it shouldn't be
@Daminark, idk he chose Ted's book cause it's the perfect size to do in the bootcamp and has a bunch of interesting problems
i think the other books were more about exposure? im not sure though
The vibe I'm getting is that Brin/Stuck is reasonably dense, it's taking longer to get through than I originally thought
Hm, the derivatives thing is in fact necessary
Ah. So it needs $f(x)\approx g(x)\approx x$ near zero.
@Daminark yeah idk ive not looked much
Makes me wonder what happens if you plug in the specific case like $f(x)=x,$ $g(x)=x+ax^2$. (the problem is obviously indeterminate when $f(x)=g(x)$)
03:15
even though ill be grading your psets lol
Going to bed. Gonna sleep on the problem
I'm off to bed now too
It's 5:22AM here in South Africa :p
See you @Akiva and @Perturbative!
03:23
@Eric So we're having that first lecture on complex analysis, is that supposed to be a preview or are we gonna start from after when Titchmarsh covers that material?
you mean isabella's lecture?
Yeah
(Also I'm actually liking dynamics more than I thought I would)
i think she said it would be two things, one would be she would go over some of the stuff you may know that you definitely should know before starting Titchmarsh and the second would be a run through of why complex is cool (no proofs obviously)
I see, like the stuff Brian mentioned in the announcement
did he
i mean he was there when she explained this
03:28
About 2 months ago, Brian sent out an announcement where he encouraged us to learn some complex analysis
He said it'd start from scratch, that we'd go through the defn of a holomorphic function, integrals around a triangle being 0, Cauchy's theorem, power/Laurent series, and residue theorem, but that it goes very quickly through that stuff so it'd be helpful if this isn't the first time you hear those words
we're also doing
way more than that
No that was like, the stuff that would happen at the very beginning that would go quickly, so we should know that
oh i mean it's in like the first two chapters i guess? maybe, the book is on the other side of the room
03:33
Lel
it is helpful if it isn't your first time
iirc the people who didnt already have a course were way behind
cause the bootcamp moves FAST
Aight, I'll keep that in mind. So far I know proof of Cauchy's integral theorem and I think I remember the statement of the formula
it was basically true of all the subjects
Or I mean, I think I know the proof of that as well, like knowing that two curves are homotopic iff they have the same winding number, choose a curve of winding number 1, then integrating $\frac{1}{z-a}$ and dividing by $2\pi i$ gets you 1, so multiply that by $f(a)$ and tada
it's more complicated than that (not much more)
you need to make an estimate
03:48
Oh right I misread actually
I like the fact that two curves having the same winding numbers means they're homologous
Well in that case, assume it's at 0, then consider $|\frac{1}{2\pi i}\int_{S^{1}} \frac{f(z)}{z-a}dz - f(a)|$
@daminark waaaait. no. two curves can fail to be homotopic despite having the same winding numbers.
the classic example being a Pochhammer contour:
there we go.
the curve has zero net winding around both the red and green points, yet it is not null-homotopic
This is the same as $|\frac{1}{2\pi i} \int_{S^1} \frac{f(z) - f(a)}{z-a}dz|$ thanks to the whole, $\int_{S^1} \frac{1}{z-a} = 2\pi i$ thing
@Semi In the punctured plane
Like, once punctured
ah. Well, sure, but that's boring :P
03:55
But yeah, the intuition is that this doesn't change if you scale $S^1$, so if you take a limit as $z\to a$ this should be integrating its derivative somehow? So that should get you $f(a)$?
$\pi_1=\mathbb{Z}$ in that case
@Daminark yes
(Lol I said assume it's at 0 to make life easier and then didn't do that...)
i was aware lol
But yeah I mean, explicitly I guess it's like, you let $z = a+re^{it}$ so that this is $|\frac{1}{2\pi i}\int_0^{2\pi} \frac{f(z)-f(a)}{re^{it}}(rie^{it})dt|$ (good lawd...)
03:59
sure whatever this detail isn't important to me
cause it's like a natural obvious choice you feel?
And that's just $|\frac{1}{2\pi}\int_0^{2\pi} f(z) - f(a) dt|$, and that's something I'm not sure how to deal with immediately
pff. Think Fourier analysis.
$f(e^{it})$ is necessarily $2\pi$-periodic.
Or I mean I guess you can kinda pull the absolute value inside to get an upper bound?
the upper bound youre looking for is that youre taking the max of $|f(z) - f(a)|$ over the circle of radius $r$ about $a$
and then let $r$ go to zero
Oh I think that makes sense
@Semi I don't quite know any Fourier analysis, but what you said there is true
04:02
Ah.
I could probably be accused of putting the cart before the horse, though.
@Semi morally speaking or is this actually circular?
The Fourier orthogonality relation is $\int_0^{2\pi}e^{i n t}e^{-i m t}\,dt=2\pi \delta_{nm}$
an oldie but a goodie
Oh yeah my calc prof gave us that, but for sine and cosine directly
Wait hold on a sec
which if I take $z=e^{i t}$ gives $\oint z^{n-m}\frac{dz}{z} = 2\pi i\delta_{nm}$.
04:05
i told my physics friend the other day that the fourier inversion formula was basically fourier series over $\mathbb{R}$ and it blew their mind
@EricSilva ...kinda disappointed they'd be surprised by that, tbh.
So that means something like, $\{e^{int}\}$ become an ONB of whatever they generate
they're a second year physics undergrad who just learned basics of fourier stuff
@EricSilva Hmm, fair enough.
In physics the place you usually run into that is when you're doing quantum mechanics.
they were taking intro quantum at the time
04:06
Ahh.
They'd have run into it eventually, then.
what's a good book for that btw
ive been wanting to learn it kind of
@Daminark I $a^{in't}$ about that life.
The standard is Eisberg and Resnick.
Not sure it's a good standard, but it's a typical one.
ah we dont use that for quantum here
Oh that's what they use in Modern
04:07
it's more of a quantum theory book, tbh
we use that for like the "modern physics" class
we use shankar for intro quantum
I don't know what people say about the book, but that seems to be the class which makes many physics majors reconsider their life choices
For intro quantum we use Griffiths, grad level is Shankar
04:08
I know at least 3 people who rage quit the major after that class
which i think my girlfriend left in my apartment somewhere so i think shankar is the easiest thing i have available
I used a different book in undergrad quantum, but it was an unorthodox choice
Kek @Fargle
It was a book which was fine at the level of math and problems.
But, um. Here's the Amazon page for it: amazon.com/Quantum-Mechanics-Amit-Goswami/dp/1577663217
wao so much money
04:10
Take a look at the description of the book, in particular the fifth 'Outstanding features' item
i dont have any classical prejudices
(Note: I am someone who finds the weirdness of quantum mechanics interpretation interesting, including at the philosophical level. What I cannot stand, however, is consciousness crap.)
so i guess i cant be liberated
you poor soul.
i have taken a single undergraduate mechanics class in my whole life
04:12
Did you already have AP to get rid of the first year phys/chem requirement?
@Semiclassical Chopra intensifies
i had ap chem but i was planning on eventually taking more physics
it got put off cause i took way too much math
eventually i wanted to take at least gr and quantum before graduating
It's the kind of book which, in the last chapter, considers whether the "Wigner's friend" argument implies the existence of a universal consciousness.
weeeeiiiiird
04:13
i hate that crap a lot
it's not science and I hate hate hate it
Lol, that kinda philosophical stuff and the general dankness of QM, plus the fact that the math in there seemed cool, did a lot to make me excited by physics
(Plus, before coming here I actually thought it was something that I was reasonably good at, not just that I did well because I was in a school where people mostly didn't care)
tbh wut is zcience
If they're using magnets to interact with electric currents, that's science.
If they're using NMR to probe the human brain, that's science.
If they're using fridge magnets to try to radically alter the human experience...they're full of shit.
@Fargle Bah, that version is too short. Longer one here: youtube.com/watch?v=0vmnH714aAY
Oh good gracious.
04:19
m A g N e T s
spoooky
which reminds me eventually i have to take E&M for my major
rip
Huh?
Eh. E&M is mostly hard for people for whom that's their first exposure to serious multivariable calculus in action.
yeah but it has a lab
Ahhh.
Well, you'll probably get to use a Helmholtz coil eventually.
And that's fun.
@Daminark i already took 1 of the 3 courses in the intro physics sequence. and the major requires one of the physical science sequences
@Semi but the lab is in chicago winter
04:23
Not seeing the implication.
If you're talking about it being during winter, well...I live in Minnesota, so you're barking up the wrong tree as far as winter sympathy goes.
there's no implication it just nullifies all fun that could possibly be had ever
"Nullifying all the fun that could be hand" seems like a pretty strong implication :P
@Eric I thought you could just have AP Chem take care of that, and then mechanics would be an elective
rip it's cold there
@Semiclassical Can confirm I died because of that
04:24
it is but im from a subtropical state
and have spent all my time going between a subtropical state and a tropical country
@Daminark really? i was told i cannot do this
also fairly certain you can't use a 5 in chem to get out of the physical sciences sequence
it only confers one quarter of credit
04:28
It gets you the whole year
@EricSilva You should do tropical geometry.
luls
k e k @Fargle
Oh wait
So they changed it now
@Daminark my adviser told me i could not get out of doing a sequence and she's pretty good
But the year we got here, it was the full year of credit, and I think you have catalog rights
04:29
Actually, I should've done this one: hort.net/lists/pumpkins/nov97/msg00377.html
besides it wouldnt have mattered
If only because of the truth of -454F
wanted to learn some physics (i had literally never taken a physics class before)
AP Chemistry: Students with a score of 5 may accept credit for CHEM
11100-11200-11300 Comprehensive General Chemistry I-II-III, or they can register
for CHEM 12100-12200-12300 Honors General Chemistry I-II-III in Autumn/Winter/
Spring Quarters. Students who complete one to three quarters of Comprehensive
General Chemistry or Honors General Chemistry forgo AP credit for all quarters
completed at the University of Chicago.
This was from our year
Lol in that case sure
why did they change it
that sucks
04:31
I've heard that the chem sequence here is a bit heavier than AP Chem
There seems to be a general push in the direction of, yeah we don't buy AP much anymore
Physics only gives AP credit for the class that you can't actually use for the major, it's for bio majors and premeds
i mean sure but chem majors aren't going to take ap credit
(Math majors are allowed to do it too, though they're recommended to take at least the standard first year course)
That's not quite true, I know chem majors who jumped into orgo first year due to having AP credit
that sounds like a bad idea
like unless you've got serious chem, but generally that sounds like a bad idea
I think that's why they don't let you do it anymore
They have their own in-house exam if you want to jump out the full year of the class
that's fair, but still i dont see why they should care what non majors do
i think the in house exam thing is generally good, (except the math one, it isn't good)
04:35
I mean, I don't know if there's a mechanic for letting only non-majors get credit
or i mean, since first quarter ha seemed to be less intense this past year in terms of the material you do i guess the exam was fine
i feel like with what was done my year if you thought it was a difficult but doable test you were just not ready
I mean, we lost half the first years very quickly
yeah wasn't my first year group bigger or somehting?
You guys started with 12, gained Arthur, not sure how many you lost from the first year group
idk if we lost many cause im pretty sure we had like ten ish
04:37
Our year, 11 placed, one chose outright not to take that placement, and 5 dropped in the first 3 weeks
Though, our year the first year group got curveballed a bit
Like, many of them had multivariable calc before coming here
i haven't yet learned multivariate
I should get around to that
i think most of ours did too
But at the beginning it was basically the first 4 chapters of Rudin plus change
Well, we skipped chapter 3 but yeah
we only did 6 and 7 and multi stuff, we glazed over everythign else cause soug was focusing on multi and that we could figure out the other stuff
Yeah he basically inverted that
04:41
wwhich was fair cause most of us could i think, id come in already having read rudin but i guess im weird
how does one integrate in space anyways?
and differentiation...
that cannot possibly work
Like, started with countability, suprema, Dedekind cuts, rational approximation, then a week on metric spaces, a couple days on continuity and limsup/liminf
which slope do you pick?
i honestly dont know why youd teach dedekind cuts
personally
@Daminark my head hurts
04:44
Then did derivatives, hypersurfaces, Lagrange multipliers, a day each
One day which was just chaos
lol that's just absurd
Then a day for implicit function theorem and a day for inverse function theorem
i dont even know what those are
and this is for calc 3?
@Typhon no, it was a multivariable analysis class
And that's basically it
04:45
that sounds easy
it isn't usually
What's the range of topics for calc 3? I honestly can't remember at this point.
you analyze equations with multiple variables?
as in classify them and stuff?
@Semiclassical no clue. Not there yet.
@Semi tbh idk i never took a class titled calc 3
i just read a calc book and then took an analysis class
@EricSilva it is slang for multivariate calculus
as in calculus in space
04:46
@Typhon i know.
you said you didn't take a calculus class
The next 2 weeks were topology again (BCT, AC, BV, uniform convergence), then one day he was like "Yeah learn Riemann-Stieltjes kthx", the next he was like "Okay now do it on R^n khtx", then did change of variables, then curves stuff for the last 2 weeks
wanted to make sure you knew the terminology
Calc 3 was the first math class I took in college.
I still know what it is
04:47
So it's waaay long ago now.
:p
I'm not in college yet
XD
@Semi i think at the local uni i grew up near it was like partials, lagrange multipliers, line and surface integrals, green's, div, stokes' theorem and div grad curl stuff
yeah, that sounds right.
toss in parametric surfaces as well
when i was a freshman i got bored and taught myself calc and then did spivak, and then sophomore year i taught myself rudin, and then went over to take classes at the local uni and skipped all those so i never got see what it was actually like
yeah i would throw that in under surface integrals basicaly
yeah, that's fair.
04:50
Eric be throqing things around
i just like to throq around man what can i say
Kek
But yeah I mean, that's kinda why the first year group had some trouble to start with.
high school suuuucked tbh
people always gave me a hard time about doing math
Though I'd attribute most of the attrition to the psets instead of the material
@EricSilva what do you mean? Did they call you a nerd or something?
04:53
I'm pretty sure this is of a different sort than what you were talking about, but nowadays, if you talk to someone and say you're a math major, do they either a) tell you about how much they hated it, or b) ask you to multiply some crazy numbers in your head?
oh no i meant administration and teachers gave me a hard time, i never had a hard time socially
@EricSilva Ugh, that's even worse tbh
@EricSilva why did they give you a hard time? Were you failing all the time?
lol no i was a straight A student
but i basically always ditched class to read math
uuh
dude
@EricSilva at least bring the math stuff into the class and read it there.
04:55
i mean i would, saying always was an exaggeration
i did this sometimes
what're they gonna say: "stop learning from that book on your desk and focus on stuff you already know"
pretty much
did you pay attention in class?
infrequently, i had problems with it
and like a fair number of teachers were usually in my corner, but some like had it out for me
tbf, we actually have this weird policy where studying anything in a subsequent year before you are in the class is considered cheating
04:56
...
that is literally nonsensical
something about it throwing off "measuring the ability of the teachers to teach previously unseen material"
but yeah anyway there were a few teachers who basically went out of their way to make my life hell even when i was doing my work and following the rules
@EricSilva on what basis?
I never had any of that in high school, but that time in my life is basically lost to memory now. Not much to remember from it, really.
04:58
heh
they actually give us an exam at the beginning of each class and if we either do to well or they believe we are throwing the exam, you get in big trouble.
because you "cheated"
i mean, idk, sometimes it was justifiable, bc i have kind of a streak of not coping well with authority, but sometimes it just seemed like it was spite for not having to pay attention to do well in their classes or something? i had at least one teacher who definitely was like this
@EricSilva but i mean how would they "make it hell"?
@Typhon that's just a stupid policy. It doesn't make the teacher's life harder if a student or two know what's happening as long as the student isn't making a big deal about it

« first day (2526 days earlier)      last day (2791 days later) »