I love how weird seemingly obvious ideas get as we try to drill down on them.
Discussion
I promise it picks up somewhat, and I'm sure you'll enjoy the later sections on proofs, comparability, infinity, and set theory (cardinals; large ones touched on too).
I warned the beginning was a bit slow, especially if you've read such things before, but it does a great job of describing the various schools of thought at the time.
The arc of math focused on is interesting historically, as it's arguably these foundational questions which pushed more formalism and rigor in late 19th century-present (my opinion based on others' opinions, I'm no expert). Calculus/diff equations were being used all over the place, but the exact understanding of limits and infinitely were shaky until all this stuff came around.
nostr:npub1t49ker2fyy2xc5y7qrsfxrp6g8evsxluqmaq09xt7uuhhzsurm3srw4jj5 a fun "comic" on the characters involved, told through Russel as the main character called "logicomix" may interest you for a light read.
Sorry nostr:npub1dtf79g6grzc48jqlfrzc7389rx08kn7gm03hsy9qqrww8jgtwaqq64hgu0 if the book doesn't live up to my hype for it 😬
So far so good! Hard reading at points but I will get a lot out of it, I’m sure. I might (if so inclined) ask AI for clarity on some points. Have found you can get it to dumb down almost anything and keep asking until it makes sense, which is what I did for the Busy Beaver function.
If you two galaxy brains are reading this, I'm going to have to pick up a copy. Thanks nostr:nprofile1qy2hwumn8ghj7ct8vaezumn0wd68ytnvv9hxgqgdwaehxw309ahx7uewd3hkcqpq62zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4sx8w3k8
nostr:nprofile1qy8hwumn8ghj7efwdehhxtnvdakqz8rhwden5te0dehhxarj95crztnev94kj6r0dehx2tnrdaksqgr26032xjqck9fus86gck85fegenea5ljxmuduppgqqmn3ujzmhgq430dvk nostr:nprofile1qy2hwumn8ghj7ct8vaezumn0wd68ytnvv9hxgqgdwaehxw309ahx7uewd3hkcqpq62zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4sx8w3k8 Holy shit this book is expensive. I might need to find it at the library. Where did you two source this bejeweled tome?
35 bucks digital I think
Yeah, I just looked back at the chapter after the exchange and realize it's a bit more mathy than I realized (some notation and formulas and terminology), but he keeps it pretty light especially later on. Push past any detail that slows you down too much and it'll click or prove unimportant :)
I'll admit I sometimes also lose the nuance of some long-winded philosophy comparisons he makes in attempting to cover all the POVs at various times.
gO;.;Od advice YODL/*&GM
Morning carnal
bien vida/*amigO*****YOnostr:npub162zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4shatdhy
redundant buttbut *B*rO ima feeling generous lOlz/*\*****/*\ a tu
my note to you is not showing up/? nostr:npub1v7k63c6y2vktlqhsuupywt3yc7ykursujc34at964f9cv9s9y9csjutfk0
Weird. I dont think I see it.
noted below/idklooking into Logicomix now