Cyborg Anthropologist @jmw150@mathstodon.xyz
- Background
- Logic, Mathematics, Electronics
- Hobbies
- Philosophy, Programming, Video Games
Backup of qoto.org account. Talk to me there @jmw150
I am an mathematical logician. Most of what I like is in algebraic geometry and mathematical logic.
I also like automation. I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.
Joined Mar 2022
What a time Hilbert lived in, before math got a lot more complicated.
So much stuff I wish I could explain to my parents, let alone someone on the street who thinks elementary algebra is not worth learning.
Something something color theorem. I am not a graph theorist.
Cyborg Anthropologist
boosted
I have to say, when they overlap, Rudin books beat Tao books.
Commutative algebra class is pretty good. The professor made a slip and called it the algebraic geometry course.
I do not have a problem with that at all. lol
Cyborg Anthropologist
boosted
A mathematician is someone who says "when we prove a theorem, we shouldn't introduce things that seem to come out of nowhere", and then immediately starts their proof of the Mean Value Theorem with "Let g(x)=f(a)+(f(b)-f(a))(x-a)/(b-a)".
So this Fall
- Commutative algebra
- Dummit Foote Algebra (Because both of my undergrad algebra courses were by a topologist and then an analyst. Neither could really check proofs, so I got some false positives.)
- Compilers
I can only keep one of the algebra's because I have to drive an hour and a half. The renting market is bleh, right now. Sigh.
rigor super omnia
In the end, it was the lemmas we made along the way.
Cyborg Anthropologist
boosted
rating boost counts on masto:
0 boosts - these posts are the backbone of fedi, braver than any us marine
1-3 boosts - ideal number of boosts, sharing stuff w/ ur friends
4-10 boosts - your post got a lil attention! nice job!
10-20 boosts - wow it's really making the rounds. good in moderation
30-60 boosts - they're still boosting that huh. hope they stop soon
60-120 boots - too many boosts, i want off of mr bone's wild ride
120+ boosts - uh oh. oh no. no thank you
Cyborg Anthropologist
boosted
Upper level math feels a bit extra sometimes.
Me: Hey, what da ring doin'?
God or whatever: Oh, lattice stuff again. (And a dozen other things I won't make obvious.)
GoW: This is how your universe has to work by the way. You cannot avoid it.
Me: I just... thanks, I guess.
Me: Hey, what da ring doin'?
God or whatever: Oh, lattice stuff again. (And a dozen other things I won't make obvious.)
GoW: This is how your universe has to work by the way. You cannot avoid it.
Me: I just... thanks, I guess.
- Background
- Logic, Mathematics, Electronics
- Hobbies
- Philosophy, Programming, Video Games
Backup of qoto.org account. Talk to me there @jmw150
I am an mathematical logician. Most of what I like is in algebraic geometry and mathematical logic.
I also like automation. I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.
Joined Mar 2022
