"Principia Mathematica is an odd book, worth looking into from a historical point of view as well as a mathematical one. It was written around 1910, and mathematical logic was still then in its infancy, fresh from the transformation worked on it by Peano and Frege. The notation is somewhat obscure, because mathematical notation has evolved substantially since then. And many of the simple techniques that we now take for granted are absent. Like a poorly-written computer program, a lot of Principia Mathematica's bulk is repeated code, separate sections that say essentially the same things, because the authors haven't yet learned the techniques that would allow the sections to be combined into one."
Of you prefer an even more entertaining approach and a very gentle introduction into the topic, I recommend the comic "Logicomix" which tells Russel's journey (though not historically correct all the time for story telling reasons).
Logicomix is novel, and done well, but flawed … it's deficiencies lie in what it leaves out which may come across as an unfair charge but in this case the charge is warranted. There is a more historically correct and less orthodox work waiting in the wings for whosoever should attempt it.
It's also a bit weird how it makes ahistorical meetings for "drama" -- e.g. Russell and Frege never met in real life -- why show that they did (they do mention this never happened in their notes, but why write such a scene at all?)
The notation for avoiding parentheses is interesting, and I've thought that it might be useful in programming languages.
To illustrate, suppose you have a non-associative operator $. Rather than write a$(b$c), you can write a$.b$c - the . makes the $ before it be lower precedence on the right side. More dots make things be even lower precedence.
So, for example,
a$b .$: x$y .$. p$q
means
(a$b) $ ((x$y) $ (p$q))
At least, that's my recollection. It's been over fifty years since I read (significant parts of) it...
You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system.
I do teach PM when I teach theory of computation, but largely to tell the story of how we discovered the limits to computation.
If you can read this book cover-to-cover, you're an absolute hero. Sometimes I wonder if they inserted a big logical error in the middle just to troll people under the assumption nobody would bother to read it.
I showed up to first day at university and an older student talked to me for like two minutes before declaring that I needed to read GEB. I dutifully went ahead and bought it, and I still work in logic today.
I read GEB cover to cover and haven’t stopped thinking about it for years. Not a brag, a nudge that it’s not impenetrable and more people should read it.
It is a popular science book which catches the vibe of mathematical logic in an excellent way. It is not a textbook, nor a piece of research. It's all vibes, but high-quality vibes. If you are in the right headspace it can be really inspiring!
I gave that book to my mathematician grandma, and she found it so boring she couldn’t finish it - “All this stuff was known for decades”. True anecdote.
A large chunk of the book is philosophizing about AI and the nature of the mind and intelligence. And when it's betting on the AI that existed pre-AI winter... yeah, that part is quite dated.
You should see his book "Fluid Concepts and Creative Analogies, which is entirely about his experiments with AI in The Fluid Analogies Research Group with his grad students. Although I wonder if those techniques could be paired with LLMs somehow.
He wrote a number of follow-up books. I love GEB, but the follow ups were often disappointing in surprising ways.
He has another book about the beauty and challenges of translating poetry, but it’s actually about the sudden death of his wife and it's been too sad for me to finish.
This is commonly believed, but Gödel didn't identify a logical error at the heart of the whole enterprise, he proved astonishing theorems revealing limitations of any sufficiently powerful formal system. One can kind of think of the Principia as a science experiment to find the extent to which known mathematics could be proven from foundational axioms that could be thought of as "laws of logic". To make their system work, Russell and Whitehead themselves had to add extralogical axioms, such as their Axiom of Reducibility [0] and the Axiom of Infinity, giving empirical evidence (but not a proof) that "laws of logic" alone were not enough. They were also aware of limitations in their own system, such as the inability to define the cardinal $\aleph_\omega$ [1].
Like the article says, what they did was ahead-of-its-time, and a monumental influence on all subsequent work on formal systems, including Gödel's work, regardless of whether Russell and Whitehead achieved their initial aims.
Wittgenstein didn't find logical flaws in the Principia and deeply admired it. He found flaws in Russell's follow up work on Epistemology, "The Theory of Knowledge."
Utter nonsense ... there is no known logical error in PM. Gödel proved that Russell and Whitehead's goal was unachievable but that's a totally different matter.
OTOH, Russell found a logical error at the heart of Frege's work, and PM fixed it by introducing the theory of types.
I used to wonder how likely it was that the printers made some typesetting errors. Who among us could, say, type a thousand pages of APL symbols without introducing a bug?
The version of this story I heard is in Littlewood's "A Mathematician's Miscellany"[1] and it's a sigma rather than an x. But he tells it as something that happened specifically to him -- he wrote a memo that ended with "thus sigma should be made as small as possible", and that bit was absent but there was in its place a very very tiny sigma. Unless he's outright lying, I think this one actually happened!
[1] The more recent edition is titled "Littlewood's Miscellany"; I am fairly sure this story is in both the older and the newer version.
There's a reason mathematics was known as "penalty copy" and was notoriously difficult to typeset and even more difficult to turn a profit on.
For a deep dive into both ends of that, see the history of publication of Knuth's TAoCP where the text was originally published traditionally by setting metal type on a composition machine (to the extent possible), then compositors would add the additional characters and spacing material necessary to compose the equations and so forth so as to lay out a galley (which would then be proofed/corrected) --- a successive edition was then typeset using an early imagesetter, which looked so ghastly that DEK considered giving up, but when informed that the imagesetter was controlled by a computer declared, "I am a computer scientist, I can fix that." and expected to knock out a typesetting system over his next sabbatical....
Roughly a decade later, TeX 1.0 was released.... the current version is 3.141592653 (with new versions adding another decimal place as the version tends towards \pi) --- while we're still waiting on the full publication of Vol. 4, it is widely considered that TeX was worth the delay.
EDIT: source: took logic as undergrad + wrote on the tractatus which required a lot of pre-reqs to understand. 0 chance a course at undergrad level ever assigns principia mathematica. I don't care if you went to yale or oxford or ecole normale ... 0 chance. Most charitable interepretation: some pages of it + was on a bibliography. not required reading.
if feel embarrassed, that is the consequence for lieing. There is such a thing as intellectual honesty.
Honestly, other than the length and tedious presentation, I don't really think the material in the Principia Mathematica is outside the reach of an advanced undergraduate. As a point of reference, MIT's capstone mathematical logic course[1] has a syllabus that requires at least as much mathematical maturity, and it wouldn't really surprise me that much to see it as an ancillary or excerpted text.
That said, even if the OP was assigned the text at some point as an undergraduate, I remain a bit doubtful it was actually read.
> As a point of reference, MIT's capstone mathematical logic course[1] has a syllabus that requires at least as much mathematical maturity,
The textbooks they use in that course are written in modern notation and are accessible to a knowledgeable reader; neither can be said of the Principia Mathematica. The archaic syntax is a serious issue.
Thanks for calling out these sort of posers and charlatans on HN. We should not tolerate these people if we are to discuss/argue/motivate interesting/hard subjects productively.
I automatically discount anybody on HN (until i have looked at their profile/comment history/any personal bio websites etc.) who claim they have read/studied a) Euclid's Elements b) Newton's Principia c) Maxwell's Treatise on Electricity and Magnetism d) Einstein's 1905 Annus Mirabilis papers. e) Principia Mathematica by Russell/WhiteHead f) Godel's Theorem g) Bourbaki's mathematics books etc. etc. They might have browsed it out of curiosity but that is not the same as reading/studying it.
Actual conceptual mathematics/science is intrinsically hard even ignoring the archaic language/notations.
As a good example; the Nobel-prize winning physicist S.Chandrasekhar wrote Newton's Principia for the Common Reader where he explains a subset of the principia (only dealing with gravitation) using modern notation and language. He himself found it quite hard and thus the "common reader" in the title is somebody who has had a good course in calculus and has the motivation to put forth the effort in understanding it.
Einstein's 1905 Annus Mirabilis papers seem like they easiest of the bunch to just read through. I just pulled up 'Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen', the one about Brownian motion, and read the whole thing. It's only 12 pages and fairly accessible; more prose than equations.
(Of course, if you don't read German, you should get yourself a translation.)
I don't think I'm smart enough to casually read and understand original works on General relativity, but the Annus Mirabilis work seems much simpler. The famous E=MC2 paper is only three pages.
About Gödel: if you are interested in the theorems, and not necessarily their original presentation, you can get plenty of rigorous modern treatments. It's very common for mathematicians to work out simpler proofs and more appealing presentations of famous results over time.
See https://dn721807.ca.archive.org/0/items/uber-formal-unentsch... if you want to give one of Gödel's work a go. It's only 26 pages. Footnote 48a is especially interesting. Overall the prose is crisp, but the notation is rather archaic to modern eyes.
I agree with your general sentiment, and your heuristic in general.
My point is that each of the material above (and i forgot to add the original Quantum Mechanics papers) were major watershed moments in science/mathematics and hence are not easy to read/understand. You need a good background in the subject matter(and mathematics) and/or somebody guiding you through them.
So what i do is try and find books which are written for the "educated common reader" by an expert who guides you through the original paper/book. It is still difficult to understand if you do not have the necessary background but at least you have a good starting point.
Some books in my collection;
1) Newton's Principia for the Common Reader by S.Chandrasekhar
2) Maxwell on the Electromagnetic Field: A Guided Study (Masterworks of Discovery) by Thomas Simpson
3) Einstein's Miraculous Year by John Stachel.
4) The Annotated Turing by Charles Petzold.
What we need is for a group of professors to get together and start writing a series on explaining the original papers to the "educated common reader" i.e. not too trivial nor too overwhelming. I think there is a huge market for this since it humanizes how science is done in real life which is fundamental for motivation.
> My point is that each of the material above (and i forgot to add the original Quantum Mechanics papers) were major watershed moments in science/mathematics and hence are not easy to read/understand.
I must dissent. Einstein's Annus Mirabilis papers are really quite approachable. You don't need a book to guide you through.
Though if you are having fun with the book, more power to you! Enjoy!
I don't know the exact curriculum and I'm sure it's changed over the years, but one of my girlfriends from back in the day really did go to a school that had one like this. St. John's College, which has two campuses in Annapolis, MA and Santa Fe, NM. They had no majors and everyone learns by reading the classics directly. They also have to learn classical Latin and Greek and read many in their original languages. I don't know everything they assigned, but I remember at least they actually did learn geometry by reading Euclid and calculus by reading Newton.
Apparently, the history is that the school lost its accreditation and had to shut down during the Great Depression, so to attract investors and reopen, it adopted an extremely unique identity with no watering down of curriculum and commitment to western classics in an attempt to combat the rise of fascism.
They may have learned mechanics by studying Newton but they can’t have learned calculus. Principia includes geometric series and limits etc but given as geometric arguments so you don’t come out of newton’s principia knowing how to do calculus. If they learned the method of fluxions from Newton (which is equivalent to calculus) then I feel very sorry for them missing out on the far better modern presentation of Leibnitz’s calculus that they would get in studying say Spivak or Stewart or any other modern textbook. For the same reason everyone teaches Taylor series (which are fantastically useful) rather than Newton’s wildly inferior series derivation which he used because Taylor series hadn’t been (re)discovered yet.[1]
Euclid isn’t surprising. School children used to learn plane geometry from Euclid until the 1950s or so. I learned geometry at school using a syllabus from Euclid and we learned the modern form of Euclid’s postulates etc but we didn’t study Euclid itself.
[1] Taylor series were developed in the modern form by James Gregory who was trying to reverse engineer how Newton had come up with his series expansions. I say rediscovered above because they were first written down by Madhava of Sangamagrama who gave Taylor series expansions for the trigonometric functions and natural logarithms/exponential function in the 14th century.
I heard about St. John's from a twitter thread and find it deeply baffling.
It's as if a group of monks wanted to keep the quadrivium and trivium but their clock stopped at the 16th century. One of their faculty proudly said they study analysis by reading Descartes! Which I thought was a highbrow joke but nope, dead serious.
There's a reason that 'standing on the shoulders of giants' is a thing. Dive into the classics after you have gained the maturity from modern texts.
Take one of the easier problems from Rudin. Prove that a continuous function from the unit interval [0,1] to itself has a fixed point. I wonder how a student immersed in the 'classics' would even begin to tackle this.
When I was a pretentious high schooler with fantasies of being an intellectual, I considered going there. I ended up not even applying. It just seemed too far out of the norm.
It's not a Mathematics degree. It's not even a Philosophy of Mathematics degree. It's a particular type of Philosophy degree.
So, to be fair: most philosophy majors wouldn't have much luck with Rudin.
> Dive into the classics after you have gained the maturity from modern texts.
Diving into old texts is a skill unto itself. That's why a lot of institutions do the great books thing as a core curriculum (so, maybe 2-3 courses taught in this style, as an alternative to more conventional phil 101/history 101 style distribution requirements). Then a more conventional education from there onward. The theory is that this is a mid-point precisely because it provides lots of transferable skills for diving into the classics in your chosen field, while avoiding the "let's learn analysis from descarte" excesses.
I've certainly read and studied material explaining f), but I haven't read the original paper (besides, isn't that in German?). The proofs aren't that hard, as I remember them, maybe they're harder in original form? To be clear: I specialized in logic, formal verification and programming language theory at uni. This was a while ago, and I'm on new parent amounts of sleep, so pls b nice.
I have tried to read some articles and watch some videos "explaining" Godel but never really understood it. Everyone seems to be explaining the mechanics of what Godel did but explaining the Why is lacking i.e. What was it in mathematics that got him even thinking on these lines in the first place? Can this problem be demonstrated with a simple toy axiomatic formal system? How did he hit upon his approach? Answers to these sort of questions is what seems to me the most important thing to understand before following his arguments.
I recently came to know of The Annotated Godel: A Reader's Guide to his Classic Paper on Logic and Incompleteness by Hal Prince which i think i need to sit with :-)
To me the mechanics and the why are closely intertwined. If you feel like self-referentiality is a way to demonstrate a problem (this is the “why”), it is not a long step to the mechanics of encoding.
The work is in creating the theorem / contradiction from that point, but in the big picture, the approach doesn’t have to come from nowhere.
> who claim they have read/studied a) Euclid's Elements
Of the lot, Elements feels misplaced.
Lots of people actually do read Elements as part of their course of study. It's niche but there's a whole cottage industry within academia for that sort of thing. There are probably over a dozen institutions that have either a degree program or a core curriculum that is organized around original texts, with Euclid usually serving as the math distribution of that sequence. So running into people who have read (big chunks of) Elements is not that uncommon. That's true even IRL outside of online discussions forums on thread topics that likely select for such people.
My impression is that this is not really true of the other examples. Except maybe Godel's proofs; I do think a sufficiently motivated instructor could pull a decent chunk of college students through the original text in a semester. Probably better ways to spend everyone's time, though.
For those who aren't familiar with the great but tragic story of Principia and Russell's quest for the foundation of math (spoiler: there is none), there's a really great graphic novel called Logicomix https://en.wikipedia.org/wiki/Logicomix
I haven't read it in probably ten years, but it's one of those books and stories I spend an inordinate amount of time thinking about, for whatever reason.
There is not a single foundation - you can choose. The differences are rarely important for working mathematicians though. Most know enough of ZFC to get by and ignore foundations tbh
Most foundations are in a sense equivalent. Therefore, "ZFC" is as good of an answer as any. I think there might be some confusion around the different meanings of the word "foundation": A foundation is a formal system that suffices, somehow, to encode virtually all of known mathematics. The reason why people (including me!) are interested in other "foundations" like HoTT is because they try to build the same mathematics as ZFC from a different set of building blocks, despite them eventually arriving in the same place. In the case of HoTT, it reduces mathematics to homotopies and fibrations, while also making those weighty-sounding concepts seem easy. If you're interested in homotopies, fibrations, cohomology theories etc. then HoTT is a really helpful way to better understand those concepts.
An interesting fact I learned while reading The Dream Machine[1], is that Principia was the basis of Newell, Simon and Shaw’s Logic Theorist (1956), considered to be the “first AI program”. Amusing and amazing to see this in the context of today’s Erdos-slaying LLMs.
Logic Theorist is a computer program completed in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.[3]
Instead of spending time beating one’s head against Russell and Whitehead, I would advise reading Homotopy Type Theory (aka the HoTT Book). Dependent types are cool and mind-expanding, but higher inductive types are downright mind-altering.
The Little Schemer/Typer could be used as a preparatory text to gear one up for HoTT.
It also has the advantage of being a bit more applicable to functional programming languages, maybe even more so than Mac Lane’s Categories for the Working Mathematician (which I sometimes see suggested to mathematically-inclined Haskell novices).
I tried to read HoTT. First chapter on type theory is great and pretty easy to follow. The second chapter, I got completely lost. I don't remember why, maybe they fixed it since.
But I find univalence axiom intriguing. I am interested in different approach to types, using triage calculus, which is more "materialist" than "structuralist" - type is given by the structure of the (quoted) term in normal form (unlike lambda calculus, triage calculus makes quoting easy). And I feel like univalence is related to quoting, something like if the two quoted terms are equal under "standard self-interpreter", then they are equal.
I would highly recommend "PROGRAM = PROOF" by Samuel Mimram.
It covers everything from pure lambda calculus through dependent type theory up to homotopy type theory. In comparison to the HoTT book, the book "PROGRAM = PROOF" is oriented less towards mathematicians more towards programmers. It contains also a short introduction to OCaml and Agda.
The book can downloaded from the authors web page:
Univalence says that equality is equivalent to equivalence, ie, formalizing the notion of when we can use equivalence rather than equality as a step in a proof. In practice, we often only care about proofs “up to equivalence”.
A way to think about this:
- equality is an identity map
- equivalence is an isomorphism
For example, 2 in Z and 2 in R do not have an identity map between them — but do have an isomorphism.
I think the key insight of univalence is not collapsing equivalence into equality — but allowing it to remain a second truth relation.
We don’t want 2 in Z to be equal to 2 in R (because we collapse type distinction), but we do want them to be equivalent — so we can do equivalent reasoning about arithmetic in R to reach conclusions about Z.
This is probably a reasonable example of a case where an AI can really help out as an endlessly patient assistant to answer your personal questions in a conversational format.
It is possible it may get something wrong but as long as you keep beating on the wrongness you should eventually be able to work out what it is, and in its own way that would become possibly the best learning exercise there is. And of course, with the math proofs coming through from AIs lately, I wouldn't guarantee you'll see that much wrong stuff. I expect it would be at a low enough rate to keep you learning... after all, anyone who has had serious math education knows the human teachers aren't always completely correct either and there is the occasional impromptu exercise of everyone staring at the board and trying to figure out what went wrong with the demonstration.
> maybe even more so than Mac Lane’s Categories for the Working Mathematician (which I sometimes see suggested […])
FWIW, I am very against this recommendation. That book is needlessly opaque. I don’t know a good recommendation for category theory, but that isn’t it.
I have a copy and like it much. However, i was always partial to Frege's Begriffschrift. His notation was really creative. It's a shame Russel's deflation of that project has sentenced it to the rubbish heap of history.
The Begriffschrift has in no way been consigned to the rubbish heap of history. What gave you that impression? It is seminal. That it had one unresolved paradox in its set-theoretic foundations does not scupper the philosophical insights, nor the creative notation, nor the more-or-less novel approach of conjoining mathematical functions and logic to give us predicate logic (apologies for this brutally simplified sketch)
i like to think of Frege and the Begriffschrift like this
Boole: logic + algebra = algebraic logic
Frege: logic + functions = predicate logic
ergo, if Boole is rightly deified then so should Frege regardless of minor infelicities (which prompted type theory anyhow) -- again, apologies if this is totally misleading
So... the ancient childish attempt to prove mathematics using mathematics (Gödel's Incompleteness slew the challenger) can be used to help me be a better TypeScript programmer? I learned something new today.
Yikes, guys/girls. I got downvoted to -4 points for a misunderstanding or something. Because the author of the website would probably agree with my simple point that although the Principia Mathematica tried to do the impossible, there is still utility for its value as a programming self-teaching resource for serious students of computer science.
Wow. Yeah. You guys ironically didn't just throw out the baby with the bath water thing. You burned me at the stake like a witch for heresy. Due to your cognitive biases and distortions.
You guys are Imperium of Mankind coded or something?
Two thoughts on someone who went out of their way to learn math:
1. If you can already program, the worst thing you can do is think of mathematics as learning a programming language. It is not, and you will waste your time being frustrated with things like syntax and notation. You get “used to” mathematics by doing it, and it’s something on its own. Just go with it. It’s ok to be confused.
2. Do the exercises, and stop asking for “solution manuals”, the point is to get you thinking and the struggle is most important part, not whether you got it “right”. Again, I think this is a programmer centric way of looking at things: “how do I know it’s
right if I can’t compile it”.
Maybe that’s why programmers like the foundations of mathematics. Like if somehow they could just go to the bottom of things, the assembler/machine code of sorts, the whole enterprise would make sense. Counterintuitively, the really great mathematicians of yore, did mathematics before it was anywhere close to formalized.
I think your latter comment is kind of analogous to people writing python (or any high-level language) without understanding assembly. I think maybe that reduces the mystery a bit?
>Again, I think this is a programmer centric way of looking at things: “how do I know it’s right if I can’t compile it”.
I would argue this would only be true for those without formal education. Writing your code on paper is very common in CS courses. You get used to not being able to compile it.
"Principia Mathematica is an odd book, worth looking into from a historical point of view as well as a mathematical one. It was written around 1910, and mathematical logic was still then in its infancy, fresh from the transformation worked on it by Peano and Frege. The notation is somewhat obscure, because mathematical notation has evolved substantially since then. And many of the simple techniques that we now take for granted are absent. Like a poorly-written computer program, a lot of Principia Mathematica's bulk is repeated code, separate sections that say essentially the same things, because the authors haven't yet learned the techniques that would allow the sections to be combined into one."
- Mark Dominus (https://blog.plover.com/math/PM.html)
This was my first thought when I saw the article.
For an accessible introduction before beginning this, consider his _Introduction to Mathematical Philosophy_:
https://en.wikipedia.org/wiki/Introduction_to_Mathematical_P...
and for ease of reading see the various PDF versions at:
https://people.umass.edu/klement/imp/
similarly the work itself is available here: https://people.umass.edu/klement/pom/
Of you prefer an even more entertaining approach and a very gentle introduction into the topic, I recommend the comic "Logicomix" which tells Russel's journey (though not historically correct all the time for story telling reasons).
https://en.wikipedia.org/wiki/Logicomix
Just got this from the library, it's a real page turner. Heard about it in this excellent interview: https://www.typetheoryforall.com/episodes/goedel-s-incomplet...
Logicomix is novel, and done well, but flawed … it's deficiencies lie in what it leaves out which may come across as an unfair charge but in this case the charge is warranted. There is a more historically correct and less orthodox work waiting in the wings for whosoever should attempt it.
It's also a bit weird how it makes ahistorical meetings for "drama" -- e.g. Russell and Frege never met in real life -- why show that they did (they do mention this never happened in their notes, but why write such a scene at all?)
new comics recommendation! thanks!
The notation for avoiding parentheses is interesting, and I've thought that it might be useful in programming languages.
To illustrate, suppose you have a non-associative operator $. Rather than write a$(b$c), you can write a$.b$c - the . makes the $ before it be lower precedence on the right side. More dots make things be even lower precedence.
So, for example,
means
At least, that's my recollection. It's been over fifty years since I read (significant parts of) it...
You might be interested in Kurt Goedel’s extended book review wherein he proves that Principia cannot do what it sets out to do, nor can any such system.
I do teach PM when I teach theory of computation, but largely to tell the story of how we discovered the limits to computation.
If you can read this book cover-to-cover, you're an absolute hero. Sometimes I wonder if they inserted a big logical error in the middle just to troll people under the assumption nobody would bother to read it.
You mean you don’t have a framed, signed, bug-bounty cheque from Alfred North Whitehead on your wall??
More seriously, there is indeed a huge logical error at the heart of the whole enterprise but it was not discovered until much later by Kurt Gödel.
>there is indeed a huge logical error at the heart of the whole enterprise but it was not discovered until much later by Kurt Gödel.
Which leads us to our next borderline impenetrable book, Gödel, Escher, Bach by Douglas Hofstadter.
GEB was one of the books that inspired me to study math in college. It made math come to life in way that my high school courses didn't.
I showed up to first day at university and an older student talked to me for like two minutes before declaring that I needed to read GEB. I dutifully went ahead and bought it, and I still work in logic today.
I read GEB cover to cover and haven’t stopped thinking about it for years. Not a brag, a nudge that it’s not impenetrable and more people should read it.
It's been years since I cracked open a copy, maybe I should give it another shot.
If you want to get to the meat of the issue, without the extraneous stuff, you might also tackle: Godel's Theorem Simplified.
https://www.amazon.com/Godels-Theorem-Simplified-Harry-Gensl...
I read it on my honeymoon 25 years ago. That book sticks with you.
Are you still married?
finally we shall be able to answer the age old question - does Gödel, Escher, Bach: an Eternal Golden Braid stick with you better than a spouse!
I thought the recommended honeymoon reading was Knuth’s _Surreal Numbers_
I’m working on it every day during lunch break. Good old hardcopy.
I read it cover to cove back in the day and enjoyed it. But I'm not sure more people should read it today.
If they do and enjoy it, good for them! But many parts haven't aged all that well.
However, I can still very warmly recommend 'The Pleasures of Counting' to this very day.
What hasn't aged well? I don't think any of it is dated to any particular time period.
GEB is not a difficult read. It is delightful!
It is a popular science book which catches the vibe of mathematical logic in an excellent way. It is not a textbook, nor a piece of research. It's all vibes, but high-quality vibes. If you are in the right headspace it can be really inspiring!
I'm surprised to hear that that was your perspective! I felt that it dealt with otherwise-opaque topics in a very approachable way.
My brother's favorite book in 6th grade was Godel, Escher, Bach.
Why, yes, he works as a compiler engineer.
> Gödel, Escher, Bach by Douglas Hofstadter.
I gave that book to my mathematician grandma, and she found it so boring she couldn’t finish it - “All this stuff was known for decades”. True anecdote.
Well, it's a pop-sci tome, not a research article.
However, it is pretty dated these days.
How is it dated?
A large chunk of the book is philosophizing about AI and the nature of the mind and intelligence. And when it's betting on the AI that existed pre-AI winter... yeah, that part is quite dated.
You should see his book "Fluid Concepts and Creative Analogies, which is entirely about his experiments with AI in The Fluid Analogies Research Group with his grad students. Although I wonder if those techniques could be paired with LLMs somehow.
Eh, that's just a pop-science tome. Nothing impenetrable about it.
To each their own, I read GEB several times and enjoyed the intellectual challenge and the humour.
Hofstadter wrote a followup book: I am a strange loop.
https://en.wikipedia.org/wiki/I_Am_a_Strange_Loop
He wrote a number of follow-up books. I love GEB, but the follow ups were often disappointing in surprising ways.
He has another book about the beauty and challenges of translating poetry, but it’s actually about the sudden death of his wife and it's been too sad for me to finish.
This is commonly believed, but Gödel didn't identify a logical error at the heart of the whole enterprise, he proved astonishing theorems revealing limitations of any sufficiently powerful formal system. One can kind of think of the Principia as a science experiment to find the extent to which known mathematics could be proven from foundational axioms that could be thought of as "laws of logic". To make their system work, Russell and Whitehead themselves had to add extralogical axioms, such as their Axiom of Reducibility [0] and the Axiom of Infinity, giving empirical evidence (but not a proof) that "laws of logic" alone were not enough. They were also aware of limitations in their own system, such as the inability to define the cardinal $\aleph_\omega$ [1].
Like the article says, what they did was ahead-of-its-time, and a monumental influence on all subsequent work on formal systems, including Gödel's work, regardless of whether Russell and Whitehead achieved their initial aims.
[0] https://en.wikipedia.org/wiki/Axiom_of_reducibility [1] https://www.gutenberg.org/files/78255/78255-h/78255-h.htm#Pa...
That's not how to spell Ludwig Wittgenstein!
Wittgenstein didn't find logical flaws in the Principia and deeply admired it. He found flaws in Russell's follow up work on Epistemology, "The Theory of Knowledge."
Utter nonsense ... there is no known logical error in PM. Gödel proved that Russell and Whitehead's goal was unachievable but that's a totally different matter.
OTOH, Russell found a logical error at the heart of Frege's work, and PM fixed it by introducing the theory of types.
I used to wonder how likely it was that the printers made some typesetting errors. Who among us could, say, type a thousand pages of APL symbols without introducing a bug?
apocryphally a typesetter saw "make x as small as possible" at the end of a math problem to be typeset, and did exactly that
“Find x” <— here it is!
The version of this story I heard is in Littlewood's "A Mathematician's Miscellany"[1] and it's a sigma rather than an x. But he tells it as something that happened specifically to him -- he wrote a memo that ended with "thus sigma should be made as small as possible", and that bit was absent but there was in its place a very very tiny sigma. Unless he's outright lying, I think this one actually happened!
[1] The more recent edition is titled "Littlewood's Miscellany"; I am fairly sure this story is in both the older and the newer version.
There's a reason mathematics was known as "penalty copy" and was notoriously difficult to typeset and even more difficult to turn a profit on.
For a deep dive into both ends of that, see the history of publication of Knuth's TAoCP where the text was originally published traditionally by setting metal type on a composition machine (to the extent possible), then compositors would add the additional characters and spacing material necessary to compose the equations and so forth so as to lay out a galley (which would then be proofed/corrected) --- a successive edition was then typeset using an early imagesetter, which looked so ghastly that DEK considered giving up, but when informed that the imagesetter was controlled by a computer declared, "I am a computer scientist, I can fix that." and expected to knock out a typesetting system over his next sabbatical....
Roughly a decade later, TeX 1.0 was released.... the current version is 3.141592653 (with new versions adding another decimal place as the version tends towards \pi) --- while we're still waiting on the full publication of Vol. 4, it is widely considered that TeX was worth the delay.
> the current version is 3.141592653
Another instance of a "clever" joke that becomes annoying very fast.
I suppose that to make it slightly less tedious we could just refer to the version using the number of significant digits: 10
Denote the version with a simple integer? Now that's thinking outside the box!
It was required reading for my Logics class in undergrad. Pretty sure it was also on the optionals (aka required) for my Set Theory class as well.
It's also pretty typically a part of History Of Mathematics and Philosophy of Mathematics courses.
No it's not.
No it wasn't.
And you did not read it.
EDIT: source: took logic as undergrad + wrote on the tractatus which required a lot of pre-reqs to understand. 0 chance a course at undergrad level ever assigns principia mathematica. I don't care if you went to yale or oxford or ecole normale ... 0 chance. Most charitable interepretation: some pages of it + was on a bibliography. not required reading.
if feel embarrassed, that is the consequence for lieing. There is such a thing as intellectual honesty.
I'm with you - I hate when people exaggerate their bonafides beyond all belief
LLMs giving some people way too much confidence to conceptually shoot from the hip hehe
- “effort to refute bullshit is order of magnitude more than to refute it”.
Derrida, go back to your grave, you messed up the quote!
Ha! Thanks. True! I'll leave it
(p.s. this whole comment section is wild - the green & getting downvoted accounts? They said the most credible things of anyone )
Honestly, other than the length and tedious presentation, I don't really think the material in the Principia Mathematica is outside the reach of an advanced undergraduate. As a point of reference, MIT's capstone mathematical logic course[1] has a syllabus that requires at least as much mathematical maturity, and it wouldn't really surprise me that much to see it as an ancillary or excerpted text.
That said, even if the OP was assigned the text at some point as an undergraduate, I remain a bit doubtful it was actually read.
[1] https://cfreer.org/18.515/
> As a point of reference, MIT's capstone mathematical logic course[1] has a syllabus that requires at least as much mathematical maturity,
The textbooks they use in that course are written in modern notation and are accessible to a knowledgeable reader; neither can be said of the Principia Mathematica. The archaic syntax is a serious issue.
I did give it a try many years ago, I think as undergrad, but gave up after a few pages, because for me it was nearly impossible to parse the syntax.
Well said.
Thanks for calling out these sort of posers and charlatans on HN. We should not tolerate these people if we are to discuss/argue/motivate interesting/hard subjects productively.
I automatically discount anybody on HN (until i have looked at their profile/comment history/any personal bio websites etc.) who claim they have read/studied a) Euclid's Elements b) Newton's Principia c) Maxwell's Treatise on Electricity and Magnetism d) Einstein's 1905 Annus Mirabilis papers. e) Principia Mathematica by Russell/WhiteHead f) Godel's Theorem g) Bourbaki's mathematics books etc. etc. They might have browsed it out of curiosity but that is not the same as reading/studying it.
Actual conceptual mathematics/science is intrinsically hard even ignoring the archaic language/notations.
As a good example; the Nobel-prize winning physicist S.Chandrasekhar wrote Newton's Principia for the Common Reader where he explains a subset of the principia (only dealing with gravitation) using modern notation and language. He himself found it quite hard and thus the "common reader" in the title is somebody who has had a good course in calculus and has the motivation to put forth the effort in understanding it.
Einstein's 1905 Annus Mirabilis papers seem like they easiest of the bunch to just read through. I just pulled up 'Über die von der molekularkinetischen Theorie der Wärme geforderte Bewegung von in ruhenden Flüssigkeiten suspendierten Teilchen', the one about Brownian motion, and read the whole thing. It's only 12 pages and fairly accessible; more prose than equations.
(Of course, if you don't read German, you should get yourself a translation.)
See https://myweb.rz.uni-augsburg.de/~eckern/adp/history/einstei...
I don't think I'm smart enough to casually read and understand original works on General relativity, but the Annus Mirabilis work seems much simpler. The famous E=MC2 paper is only three pages.
See https://myweb.rz.uni-augsburg.de/~eckern/adp/history/einstei...
About Gödel: if you are interested in the theorems, and not necessarily their original presentation, you can get plenty of rigorous modern treatments. It's very common for mathematicians to work out simpler proofs and more appealing presentations of famous results over time.
See https://dn721807.ca.archive.org/0/items/uber-formal-unentsch... if you want to give one of Gödel's work a go. It's only 26 pages. Footnote 48a is especially interesting. Overall the prose is crisp, but the notation is rather archaic to modern eyes.
I agree with your general sentiment, and your heuristic in general.
My point is that each of the material above (and i forgot to add the original Quantum Mechanics papers) were major watershed moments in science/mathematics and hence are not easy to read/understand. You need a good background in the subject matter(and mathematics) and/or somebody guiding you through them.
So what i do is try and find books which are written for the "educated common reader" by an expert who guides you through the original paper/book. It is still difficult to understand if you do not have the necessary background but at least you have a good starting point.
Some books in my collection;
1) Newton's Principia for the Common Reader by S.Chandrasekhar
2) Maxwell on the Electromagnetic Field: A Guided Study (Masterworks of Discovery) by Thomas Simpson
3) Einstein's Miraculous Year by John Stachel.
4) The Annotated Turing by Charles Petzold.
What we need is for a group of professors to get together and start writing a series on explaining the original papers to the "educated common reader" i.e. not too trivial nor too overwhelming. I think there is a huge market for this since it humanizes how science is done in real life which is fundamental for motivation.
> My point is that each of the material above (and i forgot to add the original Quantum Mechanics papers) were major watershed moments in science/mathematics and hence are not easy to read/understand.
I must dissent. Einstein's Annus Mirabilis papers are really quite approachable. You don't need a book to guide you through.
Though if you are having fun with the book, more power to you! Enjoy!
I don't know the exact curriculum and I'm sure it's changed over the years, but one of my girlfriends from back in the day really did go to a school that had one like this. St. John's College, which has two campuses in Annapolis, MA and Santa Fe, NM. They had no majors and everyone learns by reading the classics directly. They also have to learn classical Latin and Greek and read many in their original languages. I don't know everything they assigned, but I remember at least they actually did learn geometry by reading Euclid and calculus by reading Newton.
Apparently, the history is that the school lost its accreditation and had to shut down during the Great Depression, so to attract investors and reopen, it adopted an extremely unique identity with no watering down of curriculum and commitment to western classics in an attempt to combat the rise of fascism.
They may have learned mechanics by studying Newton but they can’t have learned calculus. Principia includes geometric series and limits etc but given as geometric arguments so you don’t come out of newton’s principia knowing how to do calculus. If they learned the method of fluxions from Newton (which is equivalent to calculus) then I feel very sorry for them missing out on the far better modern presentation of Leibnitz’s calculus that they would get in studying say Spivak or Stewart or any other modern textbook. For the same reason everyone teaches Taylor series (which are fantastically useful) rather than Newton’s wildly inferior series derivation which he used because Taylor series hadn’t been (re)discovered yet.[1]
Euclid isn’t surprising. School children used to learn plane geometry from Euclid until the 1950s or so. I learned geometry at school using a syllabus from Euclid and we learned the modern form of Euclid’s postulates etc but we didn’t study Euclid itself.
[1] Taylor series were developed in the modern form by James Gregory who was trying to reverse engineer how Newton had come up with his series expansions. I say rediscovered above because they were first written down by Madhava of Sangamagrama who gave Taylor series expansions for the trigonometric functions and natural logarithms/exponential function in the 14th century.
I heard about St. John's from a twitter thread and find it deeply baffling.
It's as if a group of monks wanted to keep the quadrivium and trivium but their clock stopped at the 16th century. One of their faculty proudly said they study analysis by reading Descartes! Which I thought was a highbrow joke but nope, dead serious.
There's a reason that 'standing on the shoulders of giants' is a thing. Dive into the classics after you have gained the maturity from modern texts.
Take one of the easier problems from Rudin. Prove that a continuous function from the unit interval [0,1] to itself has a fixed point. I wonder how a student immersed in the 'classics' would even begin to tackle this.
When I was a pretentious high schooler with fantasies of being an intellectual, I considered going there. I ended up not even applying. It just seemed too far out of the norm.
It's not a Mathematics degree. It's not even a Philosophy of Mathematics degree. It's a particular type of Philosophy degree.
So, to be fair: most philosophy majors wouldn't have much luck with Rudin.
> Dive into the classics after you have gained the maturity from modern texts.
Diving into old texts is a skill unto itself. That's why a lot of institutions do the great books thing as a core curriculum (so, maybe 2-3 courses taught in this style, as an alternative to more conventional phil 101/history 101 style distribution requirements). Then a more conventional education from there onward. The theory is that this is a mid-point precisely because it provides lots of transferable skills for diving into the classics in your chosen field, while avoiding the "let's learn analysis from descarte" excesses.
I've certainly read and studied material explaining f), but I haven't read the original paper (besides, isn't that in German?). The proofs aren't that hard, as I remember them, maybe they're harder in original form? To be clear: I specialized in logic, formal verification and programming language theory at uni. This was a while ago, and I'm on new parent amounts of sleep, so pls b nice.
I have tried to read some articles and watch some videos "explaining" Godel but never really understood it. Everyone seems to be explaining the mechanics of what Godel did but explaining the Why is lacking i.e. What was it in mathematics that got him even thinking on these lines in the first place? Can this problem be demonstrated with a simple toy axiomatic formal system? How did he hit upon his approach? Answers to these sort of questions is what seems to me the most important thing to understand before following his arguments.
I recently came to know of The Annotated Godel: A Reader's Guide to his Classic Paper on Logic and Incompleteness by Hal Prince which i think i need to sit with :-)
I think that Gödel did all of this stuff because of David Hilbert basically posing the challenge to make maths' foundations consistent and complete.
https://en.wikipedia.org/wiki/Hilbert's_program
To me the mechanics and the why are closely intertwined. If you feel like self-referentiality is a way to demonstrate a problem (this is the “why”), it is not a long step to the mechanics of encoding.
The work is in creating the theorem / contradiction from that point, but in the big picture, the approach doesn’t have to come from nowhere.
> who claim they have read/studied a) Euclid's Elements
Of the lot, Elements feels misplaced.
Lots of people actually do read Elements as part of their course of study. It's niche but there's a whole cottage industry within academia for that sort of thing. There are probably over a dozen institutions that have either a degree program or a core curriculum that is organized around original texts, with Euclid usually serving as the math distribution of that sequence. So running into people who have read (big chunks of) Elements is not that uncommon. That's true even IRL outside of online discussions forums on thread topics that likely select for such people.
My impression is that this is not really true of the other examples. Except maybe Godel's proofs; I do think a sufficiently motivated instructor could pull a decent chunk of college students through the original text in a semester. Probably better ways to spend everyone's time, though.
link the syllabi for the classes
What if they link the axioms for the classes and leave it as an exercise to the reader to derive the syllabi?
You might be thinking of Russell's Principles of Mathematics which is a bit easier going.
Interestingly, there was a Show HN last year formalizing PM in Lean (https://news.ycombinator.com/item?id=43797256), and the Principia Rewrite project (https://www.principiarewrite.com) verified all 189 propositional logic theorems (sections 1-5) in Coq against the original proof sketches
For those who aren't familiar with the great but tragic story of Principia and Russell's quest for the foundation of math (spoiler: there is none), there's a really great graphic novel called Logicomix https://en.wikipedia.org/wiki/Logicomix I haven't read it in probably ten years, but it's one of those books and stories I spend an inordinate amount of time thinking about, for whatever reason.
The foundation of math is (mostly) ZFC.
It is not. The foundation of math is contested -- but afaik it is widely held that HoTT is the, erm, hottest contender to the throne https://en.wikipedia.org/wiki/Homotopy_type_theory
There is not a single foundation - you can choose. The differences are rarely important for working mathematicians though. Most know enough of ZFC to get by and ignore foundations tbh
Most foundations are in a sense equivalent. Therefore, "ZFC" is as good of an answer as any. I think there might be some confusion around the different meanings of the word "foundation": A foundation is a formal system that suffices, somehow, to encode virtually all of known mathematics. The reason why people (including me!) are interested in other "foundations" like HoTT is because they try to build the same mathematics as ZFC from a different set of building blocks, despite them eventually arriving in the same place. In the case of HoTT, it reduces mathematics to homotopies and fibrations, while also making those weighty-sounding concepts seem easy. If you're interested in homotopies, fibrations, cohomology theories etc. then HoTT is a really helpful way to better understand those concepts.
It blows my mind that Russell invented (formalized) types. Such an elemental concept, but so useful.
An interesting fact I learned while reading The Dream Machine[1], is that Principia was the basis of Newell, Simon and Shaw’s Logic Theorist (1956), considered to be the “first AI program”. Amusing and amazing to see this in the context of today’s Erdos-slaying LLMs.
Quoting from Wikipedia:
https://en.wikipedia.org/wiki/Logic_Theorist
Logic Theorist is a computer program completed in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw.[1] It was the first program deliberately engineered to perform automated reasoning, and has been described as "the first artificial intelligence program".[1][a] Logic Theorist proved 38 of the first 52 theorems in chapter two of Whitehead and Bertrand Russell's Principia Mathematica, and found a new and shorter proof for Theorem 2.85.[3]
[1] https://press.stripe.com/the-dream-machine
I miss modernism!
Instead of spending time beating one’s head against Russell and Whitehead, I would advise reading Homotopy Type Theory (aka the HoTT Book). Dependent types are cool and mind-expanding, but higher inductive types are downright mind-altering.
The Little Schemer/Typer could be used as a preparatory text to gear one up for HoTT.
It also has the advantage of being a bit more applicable to functional programming languages, maybe even more so than Mac Lane’s Categories for the Working Mathematician (which I sometimes see suggested to mathematically-inclined Haskell novices).
I tried to read HoTT. First chapter on type theory is great and pretty easy to follow. The second chapter, I got completely lost. I don't remember why, maybe they fixed it since.
But I find univalence axiom intriguing. I am interested in different approach to types, using triage calculus, which is more "materialist" than "structuralist" - type is given by the structure of the (quoted) term in normal form (unlike lambda calculus, triage calculus makes quoting easy). And I feel like univalence is related to quoting, something like if the two quoted terms are equal under "standard self-interpreter", then they are equal.
I would highly recommend "PROGRAM = PROOF" by Samuel Mimram.
It covers everything from pure lambda calculus through dependent type theory up to homotopy type theory. In comparison to the HoTT book, the book "PROGRAM = PROOF" is oriented less towards mathematicians more towards programmers. It contains also a short introduction to OCaml and Agda.
The book can downloaded from the authors web page:
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching...
https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/publicat...
HoTT distinguishes equality from equivalence.
Univalence says that equality is equivalent to equivalence, ie, formalizing the notion of when we can use equivalence rather than equality as a step in a proof. In practice, we often only care about proofs “up to equivalence”.
A way to think about this:
- equality is an identity map
- equivalence is an isomorphism
For example, 2 in Z and 2 in R do not have an identity map between them — but do have an isomorphism.
I think the key insight of univalence is not collapsing equivalence into equality — but allowing it to remain a second truth relation.
We don’t want 2 in Z to be equal to 2 in R (because we collapse type distinction), but we do want them to be equivalent — so we can do equivalent reasoning about arithmetic in R to reach conclusions about Z.
This is probably a reasonable example of a case where an AI can really help out as an endlessly patient assistant to answer your personal questions in a conversational format.
It is possible it may get something wrong but as long as you keep beating on the wrongness you should eventually be able to work out what it is, and in its own way that would become possibly the best learning exercise there is. And of course, with the math proofs coming through from AIs lately, I wouldn't guarantee you'll see that much wrong stuff. I expect it would be at a low enough rate to keep you learning... after all, anyone who has had serious math education knows the human teachers aren't always completely correct either and there is the occasional impromptu exercise of everyone staring at the board and trying to figure out what went wrong with the demonstration.
> maybe even more so than Mac Lane’s Categories for the Working Mathematician (which I sometimes see suggested […])
FWIW, I am very against this recommendation. That book is needlessly opaque. I don’t know a good recommendation for category theory, but that isn’t it.
I have a copy and like it much. However, i was always partial to Frege's Begriffschrift. His notation was really creative. It's a shame Russel's deflation of that project has sentenced it to the rubbish heap of history.
The Begriffschrift has in no way been consigned to the rubbish heap of history. What gave you that impression? It is seminal. That it had one unresolved paradox in its set-theoretic foundations does not scupper the philosophical insights, nor the creative notation, nor the more-or-less novel approach of conjoining mathematical functions and logic to give us predicate logic (apologies for this brutally simplified sketch)
i like to think of Frege and the Begriffschrift like this
Boole: logic + algebra = algebraic logic
Frege: logic + functions = predicate logic
ergo, if Boole is rightly deified then so should Frege regardless of minor infelicities (which prompted type theory anyhow) -- again, apologies if this is totally misleading
Tangential but for those who don't know it, Whitehead's Science and the Modern World (1925) is a fascinating read.
So... the ancient childish attempt to prove mathematics using mathematics (Gödel's Incompleteness slew the challenger) can be used to help me be a better TypeScript programmer? I learned something new today.
Why the belittling language? You actually can prove the completeness and consistency of portions of mathematics.
While axioms were known in ancient times, only Hilbert started the whole "prove Mathematics" thing.
How else would you prove mathematics and why would that be childish to use math? The limitations discovered were quite surprising back then.
Yikes, guys/girls. I got downvoted to -4 points for a misunderstanding or something. Because the author of the website would probably agree with my simple point that although the Principia Mathematica tried to do the impossible, there is still utility for its value as a programming self-teaching resource for serious students of computer science.
Wow. Yeah. You guys ironically didn't just throw out the baby with the bath water thing. You burned me at the stake like a witch for heresy. Due to your cognitive biases and distortions.
You guys are Imperium of Mankind coded or something?
It always amazes me how a random dump of someone who read the first 40 pages of PM attracts dozens comments on HN.
This really must be a very math-starved community of people who wanted to learn math but never quite could.
Two thoughts on someone who went out of their way to learn math:
1. If you can already program, the worst thing you can do is think of mathematics as learning a programming language. It is not, and you will waste your time being frustrated with things like syntax and notation. You get “used to” mathematics by doing it, and it’s something on its own. Just go with it. It’s ok to be confused.
2. Do the exercises, and stop asking for “solution manuals”, the point is to get you thinking and the struggle is most important part, not whether you got it “right”. Again, I think this is a programmer centric way of looking at things: “how do I know it’s right if I can’t compile it”.
Maybe that’s why programmers like the foundations of mathematics. Like if somehow they could just go to the bottom of things, the assembler/machine code of sorts, the whole enterprise would make sense. Counterintuitively, the really great mathematicians of yore, did mathematics before it was anywhere close to formalized.
I think your latter comment is kind of analogous to people writing python (or any high-level language) without understanding assembly. I think maybe that reduces the mystery a bit?
I'm guessing that that's a lot of people you have in mind.
The antidote for that of course is for folks to read Charles Petzold's _Code_:
https://www.goodreads.com/book/show/44882.Code
>Again, I think this is a programmer centric way of looking at things: “how do I know it’s right if I can’t compile it”.
I would argue this would only be true for those without formal education. Writing your code on paper is very common in CS courses. You get used to not being able to compile it.