imagine accepting the law of excluded middle
why don't you just go and take your sword to go slay the dragon but you do not know whether your sword is good enough but you go anyway! while you're at it
Read Yuri Manin's book on Mathematical Logic, it's pretty based. Except for the part where he talks about von Neumann's proof of the impossibility of hidden variables in QM, which is correct mathematically, it just turns out that it doesn't really do what it is advertised to do. I think Manin may be a little bit of a chud (after all he was somewhat close to Safarevich) but he's a great mathematician and his books own. He takes some boring subject like advanced proof based linear and homological algebra and he makes it about quantum mechanics and 20 dimensional watermelons (which turn out to be about 2/3 skin so they're not really worth buying) without losing anything in rigor. Pretty advanced book though. Not a first course.
Also Godel, Escher Bach is a cool semi-pop math book on the subject of logic.
Love GEB. Also Penrose's road to reality if you want to step by step learn the real math behind physics rather than the "lies to children" in Pop Sci (and have enough math to solve a simple quadratic/differentiate X^2)
I don't know Road to Reality but I know Leonard Susskind's Theoretical Minimum series and the associated lectures are simple enough that someone who literally doesn't know calculus yet can follow them (he teaches you calculus) and eventually he actually gives you the real deal, actual physics that you learn in uni. It's not easy though, it's easily above pop Sci level.
Theoretical Minimum
From what I can see Road to reality basically covers the same stuff, with a few differences in the progression of the math and some of the wilder areas of GUT/TOE research like Loop Quantum Gravity, Spinnors, Twistors etc. I suspect Susskind is more up to date, so it comes down to if you prefer lectures or a book to guide you.
Neither work is for the faint of heart. It took me three attempts and maybe 7-8 months regular work to get through road properly
It's not a matter of up to date. It's just that Susskind literally teaches you almost undergrad level physics. You can actually calculate stuff. Again, haven't read Road to Reality but it definitely doesn't do that especially if it touches on GUT adjacent research, teaching that even on the level of detail of Susskind would be way too advanced. Like, the quantum mechanics you learn from Susskind is almost good enough for an introductory course at uni, if you earned it well enough, mayyybe you would have a chance to pass an exam in said introductory course. It wouldn't be guaranteed, but you'd have a chance. The classical mechanics he teaches you are actually pretty "complete", it almost covers all the big ideas of classical mechanics you will encounter in undergrad, and you'd have a pretty good chance to pass an exam. Same with special relativity, he teaches more or less all the relativity you would expect in an intro class on the subject, and you could definitely pass an exam based on what he teaches. I haven't watched the entirety of the other lectures (and I think the books only cover QM and classical mechanics), but I think maybe the statistical mechanics stuff wouldn't be enough, but the general relativity would be good for a very basic intro class.
So basically the strength of Theoretical Minimum is that he gives you something that's actually really close to what people learn in introductory classes in uni. The drawback is that the stuff he teaches is probably not as "exciting" as what I imagine Penrose gets into. On the other hand, I see Penrose spent lots of pages on math, so maybe he does give you enough to go beyond qualitative understanding of some concepts. Looking at the wiki page, I saw something very interesting:
From there it moves on to fields in spacetime, deriving the classical electrical and magnetic forces from first principles; that is, if one lives in spacetime of a particular sort, these fields develop naturally as a consequence.
I don't know how you might do that. Never heard it before. Sounds really interesting.
Penrose goes beyond undergrad by some way, heck beyond some grad school, but you couldn't pass undergrad physics with it. (I did quantum mechanics and modelling but I was a materials science/ Molecular Biology major so the courses had an applied focus, and there was no General Relativity of course.)
His goal is more "be able to read a current paper on Calabi-Yau manifolds and understand at a very general quantitative level what the equations mean and what is being talked about" rather than "become a physics undergrad/grad school equivalent in knowledge". With textbooks it would be a good roadmap for a coursework masters level education though.
"law of excluded middle" fucking liberal, real comrades are constructivists
I interpret the law of excluded middle as basically saying "fuck centrists".
Watch out when I prove 1+1=2 30 pages into Volume II of my densely typed work.
(Yeah I read Russell and Whitehead.)
Russell: "Maybe if I set up a bounded set of special cases"
Lob "You've activated my trap card"
i mean, all math is based on axioms, they just made a very complicated set of axioms that also results into normal arithmetic
Man I loved symbolic logic, one of the few not-humanities classes I could actually wrap my pea brain around
What kind of monster uses the upside down wedge for OR, but a dot, instead of a wedge, for AND?
anti(anti(fascist)) = fascist
I know this is true because of facts, logic, and the law of double negation
Oh yeah, give me that
$$\rho \equiv \sim \rho$$you fascist fuck. Owned. Forgot that rule in your Shapiro facts and logic class huh?
Don't you know that
$$ [ \rho \supset (q \supset r)] \equiv q \supset (\rho \supset r)]$$?Nazi by permutation bitch.
(I don't actually remember much from logic, I just love LaTeX formatting)
Dude fuck math. There’s a reason I was so bad at math and science and was only good at writing and history and became a dirty commie
Math is really cool but it's often made into a nonsense megabrain dick measuring stemlord contest to rank and filter students, plus very badly taught. It ends up just making people feel bad for themselves. I really wish more people eventually realised that it's cool after they left school, like they often do with history.
Yeah, Arithmetic sucks. It even sucks for mathematicians. Math proper is actually pretty cool
Yeah I was saying in the other reply that Indiana’s education system isn’t the best and I’m sure if I had a better teaching of it when I was younger I wouldn’t be so bad at it and just against it as a subject. I was always able to understand writing and history more than math and certain science classes.
The thing with math is that the way it's taught, many people just give up and decide they just don't get it because of some innate reason, which is stupid. And then they dislike it because it makes them feel bad for themselves.
There’s a reason I was so bad at math and science
Because the educational system in capitalist hellworld failed to actually teach it to you in an engaging and understandable way, causing you to falsely blame your inherent abilities, and thus forever turning you off to some of the most beautiful achievements of human intellect?
Sorry, I realize how presumptuous that probably sounds and it may not apply to you at all. But as someone who worked in education for over a decade, that^ was more often than not the reason people I encountered didn't like mathematics (and/or science to a lesser degree).
Makes sense. I was never really bad at it, just completely uninterested until I started to need it for gamedev shit like physics and shaders. It 's way more intuitive and interesting when I can feel each change to an equation.
I still can't read a math paper or article to save my life though, shit looks like enochian to me.
Oh no I completely understand that for some it is extremely enlightening and makes sense the world and universe to them. I feel like I never understood it completely or science to a certain extent.
Idk if it effects it but my dad is also terrible at math. I really clung and Excelled in mainly things like writing, reading, and history stuff when I was young so it just stuck with me. And you’re absolutely correct about the education system where I group up in INDIANA.
