« first day (3916 days earlier)      last day (1095 days later) » 

12:50 AM
I don't know if any of you might have any ideas or input, but I want to eventually study mathematics at the university. I'm currently at Precalculus and elementary Trig towards a Calc I/II/III sequence. I'm sure to have questions on these subjects. I guess I'm hoping to stack a curriculum on-top of this until I reach the university. Number theory and discrete mathematics definitely look interesting to me.
 
that sounds like a lot of fun. lots of directions to go in discrete math. i am happy to entertain any questions. my memory is broken but i do remember a trick or two from time to time.
a word of warning, and maybe others will disagree: in my view, discrete math is phenomenally harder than non-discrete math. it's like another dimension of difficulty. but it is also very accessible without refined tools.
 
I did bookmark that book to check out too.
ah cool
 
if you have any interest in computer programming, it can be a useful assist in discrete math. a lot of the simpler propositions in discrete math are testable via small amounts of computer programming.
 
 
2 hours later…
2:41 AM
@TedShifrin thank your for the comments in that weird post I made :)
So flashcards are completely out of the question?
I guess the only way is to work as many problems in field theory as I can find
 
3:00 AM
Nothing is going to turn you into Qiaochu. Although he never finished his degree, he knows and has a deep understanding of many, many fields of mathematics. Memorization of definitions is important.
 
@TedShifrin thx. Should I try working every problem in Serge Lang at least for the field theory chapter?
 
In general, working lots of exercises and exploring examples and counterexamples is a good way to develop. Of course, that assumes you have some way if knowing if you've give correct proofs/solutions.
 
3:20 AM
artin's galois theory is pretty accessible if you have a linear algebra background, and cheap.
i'm always focused on the bottom line. ted's stuff is free. he should do a field theory book.
 
I'm sticking with Serge Lang
it's is by far the best treatment of Galois theory that I've ever seen
 
stewart's galois theory book is also really good. very accessible, it teaches most of the field theory you need.
 
and I own the hardback
@leslietownes thx
 
i have a love/hate relationship with lang. he was a very gifted expositor, but sometimes i wasn't smart enough.
i need dumber books.
 
You need "Dummit" and Foote
lol
I think that is also hard to read compared to Lang's exposition
 
3:26 AM
i need Dumber and Foote
 
at least the Galois theory
Try going back to Lang now that you know more
 
serge was a really nice person, very generous with his time. he used to summer in berkeley and i would see him.
but his books are too smart
 
His treatment of tensor product construction is like none other that I've seen
first he declares a category of bilinear maps (or something like that)
 
a class taught out of his algebra book was the best algebra class i ever took. but the instructor filled in a lot of gaps. the book itself was too intelligent.
 
Although the category itself is not used outside of the tensor product construction
 
3:28 AM
i still have those notes. i should promote them from 'in storage above the garage' to 'in my office bookcase.' not a lot of things get taken there but they are good notes.
 
That's sad that he died
 
some people you just don't imagine ever dying. i think he's still out there somewhere, bothering people.
 
Psychedelics vouch safe an afterlife, so at least there's hope
I wish he was given higher understanding like infinite dimensional vision or something, since he worked so hard as a mathematician
 
i cat-sat for one of his friends and he'd leave weird stream of consciousness messages on his answering machine. things to catch up on later. his mind was very, very fast.
not weird, i guess. just, most of us think at the speed that we talk and he was clearly at like 10x that and trying to get as much as he could down. it must have been frustrating for him to deal with normal people
 
Well, everyone goes up and down I tink
*think
And when combined with drugs like cofee, the effect amplifies
 
3:32 AM
i think at about 0.25x the speed that i talk. i just talk too much.
 
People read my thoughts, it's not what I signed up for
Not joking. IDK what they want from me, but they won't cut it out
I rarely am able to do the hearing. One time on LSD there was a 2-way channel between me and a clairvoyant, and I forgot what she asked me
 
i was on a call yesterday where i gave a very lawyerly answer to something. opposing counsel was trying to get me to shed light on something i had no real understanding of. i said, as if it were an answer, "i don't have an answer to that question." because i said it like it solved something, that was the end of it.
tone can do so much. substance, less so.
another person from our side was taking notes of the call, she wrote it down verbatim. she said it was lucky she was on mute because she couldn't stop laughing. it just shut the conversation down.
that's my answer, if you're in doubt. just say "i don't have an answer to that question."
that's law school in 5 seconds.
 
lol
I gave a 1 minute lesson on how to play guitar, but I was tripping (someone unknownst to me, had dosed me earlier that day or the day before)
 
might have had different results at my qualifying exam. but in attorneying, works great every time.
the key is the tone, you say it like you're reminding them of something they have stupidly forgotten.
 
Just get angry and you'll remember, that's my motto
back to studying for me
Anger fires up the brain cells, and you'll remember say where you left your pipe
 
3:40 AM
leslie, you should have tried my technique. Chern and Satake were the examiners at my 1-hr oral on algebra . We were early, so I asked them a question I was stuck on. After 5 minutes, they had no idea and said we'd better get started. I aced the exam.
 
oh wow.
that would have eased things considerably
 
@TedShifrin that's a good one, I'll give them a not-so-obvious restatement of twin primes, guaranteeing that it can't be solved.
 
That's not algebra .
 
Yes, it's more likely to be solved with analysis
 
3:42 AM
I forget what my question was about.
 
but you can state it algebraically in many ways from my experience
 
i had algebraic topology, of all things, as my minor topic. i was doing computations in the cohomology ring of something or other at one point. acting like i knew what i was talking about.
 
That was early 1975.
 
cup product is dual to intersection of submanifolds, if you can represent cohomology classes that way. i remember saying that like i meant it.
 
@Euler2 what's up, mathematically?
 
3:43 AM
might even be true. the world will never know.
 
No one proves that in courses. It takes Thom classes.
 
nice.
 
I don't like how they skip over proofs sometimes
Prove everything! Until it's rote
 
When I took alg top from Stallings and I asked him that. He tried to do it the last week of second quarter. After three classes, it didn’t work.
 
It's important to me that proofs move from research papers and into textbooks
 
3:46 AM
stallings was a very funny person. i never took a class from him. he was hilarious to talk to.
 
Textbooks are not meant for research, generally.
 
Whereas the research papers are usually inaccessible to undergrads
both in cost and in they way they're written
 
So are most graduate textbooks, except for very advanced undergraduates.
 
@TedShifrin know of a currated list of research papers that are accessible to us?
*me and other novice to intermediates
That would be a cool site
idea
light bulb
I know of one at least: PRIME is in P
And the other CS one: Sensitivity Conjecture proved
Someone should write a 10-volume expository book on Wiles' & related proofs
O__O or not
@TedShifrin what are your thoughts on self-publishing. I've seen one great Algebraic Topology book self-published with a website front to it
Can't find it though
 
hatcher is renowned for having his book available for free. could that be it?
 
3:54 AM
Nope, it's better than that
I know what you're talking about though
 
it's a good book, too. i think i picked up that cup product stuff from there.
 
It's newer
 
interesting.
 
Let me find it for us
@leslietownes found it:
Robert Ghrist
jesus ghrist, that's an awesome looking website and linked notes
 
oh, ghrist.
i took harmonic analysis from someone whose last name was christ. you really did feel like you were getting it from the source.
 
3:57 AM
It's called elementary, but it goes into the same depth as Hatcher I think
 
christ says, [excerpt from notes]. who are you to differ?
 
@leslietownes what's great about Algebraic Topology? I know it once was the main motivator of Hom. Algebra, which is now at the end of all areas of math
 
the words elementary and obvious are meaningless in mathematics.
 
except when i use them.
algebraic topology is a beautiful subject. it makes an art out of forgetting structure that is irrelevant for various purposes.
in go manifolds and who knows what else, out come all sorts of discrete invariants.
cool stuff.
homological algebra is the price you have to pay.
 
and indiscreet variants
 
4:04 AM
@leslietownes Michael Christ?
 
He was an assistant prof at Princeton when I was there as a grad student
 
the almighty?
 
his west coast representative.
 
4:05 AM
^_^
Luck of the draw at Ellis Island I guess
 
the main thing i learned from him is that i would never be a harmonic analyst. but i did pick up a few useful tricks.
 
I bet he is big into christ consciousness and treats the topics well
Let this be a Jesus manifold
Locally looks like an infinite-dimensional Euclidean space
 
@leslietownes He was working with Stein while I was at Princeton then he was at UCLA as an associate prof while I was there as an assistant prof.
 
it's a very small world indeed.
 
it seems to be
 
4:10 AM
Try to walk 1 mile and you'll find the world is enormous
 
i suspect the chances are a little higher with maths as a filter?
 
mathscinet had that collaboration distance tool, it's insane. i think i was within 4 of erdos, but 2 or 3 of almost everybody i knew.
 
i am a lowly 5
 
Imagine Erdos on LSD
We'd have flying cars by now
 
lsd was the pre decimalisation terms for pounds shillings & pence
 
4:12 AM
he was notoriously addicted to amphetamines. i wonder what he might have been like without them.
 
always feel a bit sad when i read about Erdos
 
What would you be like on them, that's what I'm wondering... ;)
I have taken them before, but no more than 2 days
 
i am sure a similar effect to steroids for physical activity
 
substances are thieves of time. they make things go too fast.
 
Time is an illusion, the universe is static
like the integers or real numbers
Sorry, I watched that Synchronic movie and liked it too much
it's on netflix, about time travel, if anyone has netflix account
 
4:16 AM
the other day i upvoted a post on math.SE and then realized i knew the poster from somewhere. it really is a small world.
there's maybe about four dozen people in the world
 
Well, when you zoom out, the world becomes a microscopic entity at a cosmological scale
Supposedly, once all the stars die, civilizations will get energy from black holes
 
i think you are looking at fairly concentrated sets to start with :-)
 
If you fall into a large enough black hole you don't spaghettify
 
probably. i don't click on a question if it isn't interesting. operator theory cuts out about 90% of the site. of course we all know each other.
 
if you know some 'hub' people the the distance to many is fairly small
i discovered that with linkedout
i used to compete with my brother to see who had the largest 3rd level network,
 
4:19 AM
ha.
my linkedin is mostly attorneys. and yes by the third level, it's basically everyone with a law degree.
 
I am connected with Einstein and Ramanujan, they guide my hand when I take notes
 
the i added this chap called alberto luigi marcello sangiovanni-vincentelli and bam, competition over
 
his parents worked very hard to give him that name.
 
bit of a power house.
 
i have all of his records. i am a fan of his bossa-nova period.
 
4:21 AM
:-)
 
Good night everyone. Remember, if you invent the next level of nuclear energy, don't tell anybody about it.
 
is nuclear considered green, or is that what happens after exposure?
 
Fusion is much greener than fission
 
muahhahahahha
so is the em drive
 
Although the facility needed is very non-green
 
4:23 AM
and perpetual motion
 
Well, they have negative (below absolute zero) temps now
wonder if they can do cold fusion or anti-gravity with that
 
they have nothing.
 
Yes, all is the void
What would be interesting mathematically is to allow negatives in all statistical mechanics equations involving temperature
or other temperature-related areas
Make it open source before the miltary-industrial complex creates the next weapons with it
Okay, they've flagged me now probably
^_^
 
open source is a lovely idea.
 
Don't disrupt the chain of application. It goes Einstein -> Bombs -> Energy -> power for your household
okay, I said the b-word. I'm a red-flag target now, crap :|
 
4:29 AM
i am not a fan of nuclear. if we dislike fossil fuels for its future impact i do not understand why nuclear does not scare the s out of us.
 
We need it for space ships
 
just checking, are you 13+yo?
 
whew
enough mse warnings for one day.
 
why should nuclear scare us
i don't get why germans obsess about it
 
4:31 AM
radiation mainly.
 
Because of radium toothepaste
 
isn't it somewhat clean with appropriate containment?
 
muuahhahahahhh
 
Not really clean, that's the issue with fission
 
give me one good example of appropriate containment.
 
4:31 AM
creates waste that needs to be burried for hundreds of years
 
my eyes have radium
see closely
 
everything has some background radiation, that is not the issue.
 
i thought concrete walls did some good work in that sense
 
I want a fusion reactor in my car before I die, is that too much to ask, physicists?
 
but yeah, fukushima and chernobyl are quite worrying
 
4:33 AM
no kidding.
 
if the japanese can't contain it, who could
 
Hiroshima and Nagasaki
eveyone forgets
 
the fallout from nagasaki, etc. affected generations.
and still does.
pacific islands. austrailia.
people ignore or forget.
 
Then the fact that we kept making bigger and bigger bombs and igniting them in the atmosphere and underwater
 
i mean, i completely concede that nuclear bombs are contaminants
what i am not 100% convinced of is nuclear energy
 
4:34 AM
Yes, super dirty
Waiting to meltdown
 
what do you do with the waste?
 
dirty wastes created
Fusion though, ... that's the hope
 
are we sure the waste can't be contained at all? I have no clue
 
fusion is not in the near future if at all.
 
of course, the waste from chernobyl and fukushima, I concede. but in all cases??
 
4:35 AM
I would eat lunch off the walls of a Tokamak reactor if I were a physicist working there. Saves on dishes
 
humans are probably the only animals that love to destroy their own planet
 
we can't design structures that last through sunamis, earthquakes even though we know they are going to happen.
how many cases do you need?
lots of nuclear waste looking for a home today.
 
yeah earthquakes is somewhat worrying
we need the first space elevator asap
 
Well we're also depleting the ocean of life
 
rail guns are also promissing. the issue is that they can be used for war
 
4:38 AM
They're gearing up for the next threat, from outer space!
 
what other applications do rail guns have?
 
shoot stuff into space
cheaply
 
send cargo into space
 
hmm, space, the final garbage dump?
 
so, cheap disposal of nuclear waste
 
4:39 AM
es cargo I mean. We need French delicacies for astronauts
I think in order to be an astronaut you have to be vegan. That should be the only requirement
None of this eating meat in god's space
 
not too easy to find meat in space.
 
Hence vegan
^_^ You can transform your output back into input
 
or vegetables. i suspect meat has higher energy density
 
lol, I think that's farther away than fusion
Quinoa is a complete protein
so is Hemp seed
 
i suspect the next ice age will solve a number of issues.
 
4:42 AM
We almost had one with the lessening of people out and about because of covid, I felt a micro ice age coming on
*less driving
Whatever we do, don't make the world stop driving all at once. It will create an ice age :)
 
@StudySmarterNotHarder it is very small comparatively to ww2
 
perhaps we will have genetically engineered nuclear hardened humans shortly?
 
@StudySmarterNotHarder and, considering that human population was 2 billion in 1930, you can see how small covid is worldwide compared to ww2
 
i suppose war is inevitable.
 
even more striking is spanish flu vs. covid
 
4:50 AM
well, covid is responsible for about 3m cumulative. malaria kills about 1m/yr.
 
whew
 
Death kills everyone, everyone!
 
i mean premature, of course.
 
Well, then if you get old you have a high chance of losing your mental faculty
 
@StudySmarterNotHarder *except Elizabeth II
 
4:52 AM
They should transcend us into a super computer like Johnny Dep in Transcendence
Maybe we are already in a computer
Which explains why our computers are toys
My friends are toys, I make them - Blade Runner
 
@Euler2 didn't know aphrodite looked like elizabeth ii
 
Why is it showing pecks but not Eve's breasts. Sexism
 
well shaven too.
 
He's a cyclist
 
4:55 AM
uhhhh
idk
 
adam was a physicist.
eve was a mathematician.
 
Those two did it and a stork delivered the next genn
 
what?? i thought babies came from under cabbages?
 
The mom poops them out
Okay, this conversation is at the fringe of banishment
 
god looks a bit like feynman
 
4:58 AM
Or vise versa
Richard "fine man"
 
surely you're joking?
 
is there something like wikipedia for math, but more in depth? i feel like wikipedia covers topics super quickly
 
Why is the lion eyeing that egrit
 
i want to peruse results from algebraic geometry without knowing anything about it
 
@shintuku there's proofwiki
 
5:00 AM
and there's barely anything on algebraic geometry on wikipedia
 
i would imagine textbooks are a better source?
 
@shintuku we should make a website, with that premise
 
@copper.hat ah, well there's that of course
 
Old fashioned paper and ink, is the answer
 
@shintuku this website is nice
 
5:09 AM
@Euler2 you could join the computerized math revolution:
@shintuku I mean
 
what is that! looks cool
 
It's an alternative to the Coq proof assistant
Coq / Lean / Isabelle to name 3 out of about 30 are software tools for programming proofs essentially
By the Curry-Howard isomorphism there is already a natural correspondence between proofs and programs
 
i'm looking at the wikipedia article of coq
that seems insanse
insane
 
I agree, let's make a website that shows english translations of coq programs
 
so... I can actually compute the proofs I do in abstract algebra?
 
5:12 AM
Yes, but you have to learn a language first to enter it and import other lemmas
 
that's insane
 
I know right
One day, they could have the system search for low-hanging unknown mathematical fruits
conjectures or theorems since they are provers
@shintuku want to learn Lean with me (study group)?
 
wish I had time, I'm self-studying math + majoring econ
 
I have some experience installing it locally and using it from VS Code IDE
oh, cool
 
it does look very cool however
i'll keep it in my favorites somewhere to check back eventually
 
5:31 AM
i co-founded a company a long time ago that did formal verification (proofs of correct behaviour) on hardware designs.
they are still in business, used by apple, nvidia, etc
i sold out a long time ago.
 
I've always wondered how so many people in STEM make companies on their own and sell them off to the big companies
like, nowhere in STEM do you get an idea how to run a business hahah
 
Please have a look at my question ( math.stackexchange.com/questions/4114382/…) if possible, I have my exams starting in an hour! :(
 
it's very common in the biological sciences. i advised someone on venture capital a while ago, i said, this startup looks like a jobs program for people who graduated from prof. X's lab. do not invest. i was right.
 
there is no real recipe, but some standard stuff. many issues are money & hiring :-)
 
but sometimes i'm wrong and people make a billion dollars.
biology and chemical engineering are a classic place for people to set up startups that just limp along for about a decade, burn through all the money, and go nowhere.
 
5:35 AM
not me.
 
i guess it mostly comes from participating in related business beforehands, no?
 
and then one hits the lotto.
 
like you eventually get a feel for the industry by working under someone else
 
you need to have an idea & believe in it (or have someone who does)
 
it's very true that academia does not teach commercialization. although no amount of commercialization can save bad ideas.
 
5:37 AM
yeah, but suppose you have a good idea. if you don't have any business knowledge, you have to rely on someone who does
 
i'm not sure it can really be taught at that level.
 
that's what seems crazy to me
and if you're in STEM, chances are you're going to have to blindly trust someone else
 
you got to figure stuff out yourself.
a little law, a little business, spreadsheets, people & contacts, presentations, interviewing, getting contacts, etc.
no recipe.
 
most startups fail, and dramatically. in "STEM" it is often people just wanting to give jobs to people they know. the first thing a successful startup does is usually to throw the founders out.
 
its not like learning algebra or something.
there is a good reason for that.
 
5:40 AM
i've never been on the tail end of this. i'm the devil on somebody's shoulder.
 
in any case, I do wonder, as in, contemplate in wonder, at STEM people going into business
 
how a company starts and where it ends up are often two quite different beasts.
people are people, you learn what you need to know.
 
quote unquote businesspeople don't know anything either.
nobody knows anything.
we live in an empty universe.
 
it helps to have an uninvolved mentor or two.
 
@copper.hat yeah, that's definitely what I expected
 
5:41 AM
and preferably a goodm cheap lawyer.
 
that's where people make their mistake. you want expensive lawyers.
 
you need to be an optimist and a realist at the same time :-).
 
as much money as possible should be going to lawyers at every phase of the development of the business.
 
tell me, 1998 i'm paying $600/hr
for a para
legal not military
 
that's good billing.
 
5:42 AM
Jim Simons should be the model of ultimate success ... I'm a mathematical young brother, but I have none of that interest/aptitude.
 
bleeding me dry
 
i'll cut you a deal. $1200 for an hour of my time.
i do wonder how much of simons's thing was cleverness vs. market position. i don't think half of the people they hire are a quarter as clever as jim simons.
 
:-). how about this. i'll get the work done in india and you can be the bar man :-)
 
thanks, global capitalism!
 
i've had some very weird interactions with the finance industry, it's frightening how little anybody seems to be minding the store.
 
5:44 AM
you don't need many clever people.
 
copper, you win.
 
i believe there are such companies here already, right?
grunt work in india, local signoff
 
we have a number of vendors we use in india who produce very high quality work. you could not get it done better in america for twice the price.
 
i think we covered this before, i did most of our patent work in india
about 30% of the cost & faster.
 
the speed is something else.
 
5:46 AM
social-democratically remains in silence
 
it helps that they are on a different time zone
 
i can't count the number of times i've sent something as i go to bed and then in the morning my first email is absolutely everything i need from the vendor.
 
i don't mind paying $$$, but i need to feel they are on my side.
it helps to have a big name.
but not so easy to get involved with. their dd usually has bigger $$$$ conflicts.
 
we have dealt with that. we can't work with anybody who works with big investment banks, because we want to be able to sue big banks.
when this corona crap is over i would like to visit india. i've made a number of very good friends there that i have never seen in person.
 
6:23 AM
interesting place. have only visited a few places. including the (non existent) black hole of calcutta.
 
 
1 hour later…
7:36 AM
anyone know the mathjax symbol for greater, lesser or equal? like, the three at the same time
found it, \gtreqqless
 
in 'the rising sea', exercise 4.4.a, vakil asks:
> show that you can glue an arbitrary collection of schemes together.
but doesn't this obviously follow from gluing sheaves together?
 
@shintuku Try DeTeXify for things like that
\gtreqless $\gtreqless$ and \lesseqgtr $\lesseqgtr$
 
@robjohn wow, nifty
 

« first day (3916 days earlier)      last day (1095 days later) »