7 ms·

If I understand this article, it’s about a 500-page book that is devoted to one proof of one theorem in topology. I find that amazing. And cheers to Quantum Ma

If I understand this article, it’s about a 500-page book that is devoted to one proof of one theorem in topology. I find that amazing. And cheers to Quantum Magazine for regularly publishing popularizations of research mathematics. I know many, at times, take issue with their simplifications and framing, but they’re trying, where almost no one else with their reach covers these areas at all.

taeric 5y ago
I realize I have little chance of actually being able to understand all of it. Still, I'd gladly have bought it at a lower cost. :(
mindcrime 5y ago
I wonder how many other results in maths require an entire book length treatment (or multiple book length treatments)? The one that jumps out to my mind is Gödel's Incompleteness Theorem(s)[1]. I know there are at least a couple of complete books dealing exclusively with this result. [1]: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
- kevinventullo 5y ago
  I would say that most hallmark results in theory-heavy mathematics (number theory, algebraic geometry, topology, …) could stretch to at least a book length treatment if you wanted a mostly self-contained proof. It sounds like the main difference with this theorem is that the writeup of the original proof was so complicated, terse, and error-prone, that very few experts even understood it.
- karatinversion 5y ago
  I don’t think the incompleteness theorems are nearly as wordy - this translation of Gödel’s original paper is under 40 pages after subtracting the introduction (not part of the original).
- lou1306 5y ago
  Godel's theorem is actually not that complex. Sure, you may think of "Godel, Escher, Bach", but that book is stuffed with sooo much material that is only tangentially related to the theorem. Of course the consequences of that theorem are legion, and they do warrant many books worth of discussion. But the proof itself can fit in a long-ish blog post, I think. Fermat's last theorem, on the other hand...
  - pdpi 5y ago
    GEB is a book about intelligence/consciousness. The incompleteness theorem is incidental — it’s only there to illustrate the notion of self-referentiality, and I’m not sure it does a particularly good job at it.
  - qweqwweqwe-90i 5y ago
    If you could prove the ABC conjecture then Fermat's last theorem becomes much less than a page of proof :)
    - lou1306 5y ago
      Speaking of ABC, some years ago HN was all abuzz with inter-universal Teichmuller theory, did that fizzle out or what?
      - qweqwweqwe-90i 5y ago
        https://www.math.columbia.edu/~woit/wordpress/?p=12220 https://www.math.columbia.edu/~woit/wordpress/?p=12220
  - moomin 5y ago
    For those interested: Assume a formal language that can model the natural numbers. Consider the set of all provable statements. This is countable because it’s a subset of the list of strings of a finite number of characters, which is countable. Consider the statement “Statement N is false”. This is both a valid statement and cannot appear in the list. Godel proved significantly more than that, but that’s the basic result. It’s basically the same as the diagonal argument of real numbers being uncountable and it’s also basically the halting problem.
- srcreigh 5y ago
  I suspect someone could write a book (or an HN comment at least) about the popular confusion about Godel's 1st incompleteness theorem. :-) In fact we (my brother and I) agreed that it bears a striking resemblance to Turing's halting problem: They both seem to show what computers or math can't do, but in fact both theorems only reveal limitations of certain models of computers and/or math. We both have undergrad degrees in math fwiw. Both theorems use a clever logical trick. For Godel's theorem, it is an encoding of "This sentence is false". For the halting problem proof, Turing first fixes the algorithm, asks the algorithm what its result will be, then switches the correct answer, forcing the algorithm to produce the incorrect answer. Would the proof completely fall apart if the algorithm could update itself to handle the new information? The only thing stopping it is that in the formulation of the problem, the algorithm is assumed to not be able to change with new information (ie it's not an "online" algorithm). Similarly, what if the model of math had mechanisms for recognizing paradoxes, or circular logical requirements, etc. I don't think either of those theorems would work anymore. Anyway, I'm not saying the Halting problem would be easy to compute with the right model. If we had an efficient algorithm to solve the halting problem, we could solve tons of math problems easily. We could write some code to enumerate any countably infinite sequence, checking for the presence of some condition, and make inferences based on if it halts or not. For example, we could solve the Collatz conjecture by just writing code to halt if any number's sequence doesn't eventually go to one, and checking whether that loop ever halts. My punchline is, I think it's beautiful that even the undecidable, uncomputable problems are only that way because we are lacking a better model. Or at least that's my current understanding of the situation :-)
  - thethirdone 5y ago
    > Would the proof completely fall apart if the algorithm could update itself to handle the new information? The only thing stopping it is that in the formulation of the problem, the algorithm is assumed to not be able to change with new information (ie it's not an "online" algorithm). Simple put the halting problem means that you cannot make a program (a static piece of code) that can determine in a finite amount of time if another program halts operating on some input. I.E. program P takes program H and input I and answers if H run with I halts. I honestly don't know what part of the computational model could be changed to make that not true (besides Oracles or Church-Turing thesis being wrong). Also, I don't think "online algorithm" means what you think it means. Online algorithms have no more computational power than offline ones; they just can get started with only partial information. > Similarly, what if the model of math had mechanisms for recognizing paradoxes, or circular logical requirements, etc. I don't think either of those theorems would work anymore. I don't know what a model of recognizing paradoxes would look like. The 1st incompleteness theorem is based on only a few simple axioms and reasonable rules of deduction. There isn't much wiggle room to make a mathematical model that isn't bound by it, but is useful.
- CamperBob2 5y ago
  The most recent case similar to this one is Mochizuki's work on the ABC conjecture, which has still not reached the point where it's accepted by the majority of the community due to its complexity. There are lots of parallels between Mochizuki and Freedman. They both had to break a lot of new ground, and they both had trouble communicating their results to enough people to become part of the official canon of mathematics that can actually be taught to others. Freedman at least convinced a few key people, but AFAIK Mochizuki's work has never been understood by anyone not named Mochizuki. It may be complete BS, it may be earthshakingly brilliant, but either way it will evidently take someone's entire career to prove it.
  - iainmerrick 5y ago
    I believe the latest news on Mochizuki’s work is that Peter Scholze and Jakob Stix identified a fatal flaw, and Mochizuki has not convincingly rebutted it. See e.g. the first item here: https://www.math.columbia.edu/~woit/wordpress/?p=12429 https://www.math.columbia.edu/~woit/wordpress/?p=12429 Both the claimed proof and the disproof have now been published in journals, and neither has been retracted! That’s a rather unusual situation to say the least. But I think people in the field generally agree that the proof is flawed and unfixable.
    - deleted 5y ago
      [deleted]
    - ntlang 5y ago
      Experts have been skeptical for quite some time. You can see discussion on the exact point Scholze (PS) brings up in the following blog post (the post and many comments are by prominent number theorists) https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ https://www.galoisrepresentations.com/2017/12/17/the-abc-con... One quote from the post I find worth repeating: > This post is not about making epistemological claims about the truth or otherwise of Mochizuki’s arguments. To take an extreme example, if Mochizuki had carved his argument on slate in Linear A and then dropped it into the Mariana Trench, then there would be little doubt that asking about the veracity of the argument would be beside the point. The reality, however, is that this description is not so far from the truth.
- jcranmer 5y ago
  The classification of finite simple groups [1] is apparently ~11-12 books long (when it's finished). Yes, several books for a single theorem. [1] https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
  - Denvercoder9 5y ago
    I don't wanna know how much books the classification of finite complex groups is gonna take.
    - zarzavat 5y ago
      Not very much actually. Finite simple groups are kind of like prime numbers: any finite group can be broken down into simple subgroups similar to how any natural number can be broken down into a multiset of prime number factors. That's why the classification of finite simple groups is so important, it's essentially a classification of all finite groups. https://en.wikipedia.org/wiki/Composition_series#Uniqueness:_Jordan–Hölder_theorem https://en.wikipedia.org/wiki/Composition_series#Uniqueness:...
      - alisonkisk 5y ago
        Someone should make a modern recording of "Finite Simple Group of Order 2" https://m.youtube.com/watch?v=UTby_e4-Rhg https://m.youtube.com/watch?v=UTby_e4-Rhg
- Aicy 5y ago
  I did a University module on Godel' Incompleteness theotem and the complete lecture notes which gave all the lead up, explanation and the proof itself along with lots of othet related material was only about 50 pages in total if I recall correctly. Was a pleasure to do that module though!
- throwaway81523 5y ago
  The incompleteness theorem can be proved in a few lines given the right definitions up front. It's basically the same as the undecidability of the halting problem, which has a proof that is written as a poem: https://introcs.cs.princeton.edu/java/54computability/halting-poem.html https://introcs.cs.princeton.edu/java/54computability/haltin... There is a wonderful book by Torkel Franzén about the incompleteness theorem that is 100+ pages, but it is not purely about the proof. It's a popularization that discusses bogus ways philosophers have interpreted the theorem, and stuff like that. It is called "Gödel's Theorem: An Incomplete Guide to its Use and Abuse". Meanwhile Aschbacher and Smith's proof of the classification of quasithin groups really is a book of 1200+ pages: https://books.google.com/books?id=SbO2irSQHMEC https://books.google.com/books?id=SbO2irSQHMEC And of course the proof of the classification of finite simple groups has afaik never been published all in one place, though there are some book-length expositions of it referring back to the original papers. It is a set of papers spanning around 20 years and adding up to around 10,000 pages. It is sometimes called "the enormous theorem": https://en.wikipedia.org/wiki/Enormous_theorem https://en.wikipedia.org/wiki/Enormous_theorem
- kccqzy 5y ago
  Others have already mentioned it, but Gödel's incompleteness theorem doesn't need a book-length treatment. My undergraduate mathematical logic class covered the proof in a little more than a week.
- fogof 5y ago
  "Incompleteness ex Machina" by Sebastian Oberhoff, is a nice paper-length exposition https://arxiv.org/abs/1909.04569 https://arxiv.org/abs/1909.04569.
- joppy 5y ago
  It is pretty common for some pure mathematics papers to be pretty much book length anyway these days, say 80 pages or more.
- mindcrime 5y ago
  It's a bit late to add this, but I realize that I wasn't entirely clear above. When I say "results in maths (that) require an entire book length treatment" I don't mean a proof that is inherently book length. I mean, a proof that justifies (one or more) book length "downstream" treatments that explain, clarify, expand, etc., the base proof. Going back to Gödel's Incompleteness Theorem(s) for example... yes, the original proof is not that long, but for whatever reason, people have felt compelled to write entire books on the topic, after Gödel, to say more about the proofs. That kind of thing is more what I was thinking of, FWIW.
liversage 5y ago
It's amazing how math can require so much work for what appears to be a single result, but I spend an entire semester proving a single mathematical theorem and to do that I had to work through an entire textbook, so I don't think it's that unusual.
- PartiallyTyped 5y ago
  I am not a mathematician, though I do very applied math (ML), I took a course this semester that is intended for Pure Math MSc, called Advanced Vector spaces, having only done some linear algebra and calculus at the undergraduate level, some abstract algebra and some geometric algebra. I am consistently in awe of how well mathematicians have stacked layers of abstraction one on top of the other, and how many different ideas end up being very related to one another. Maybe I am romanticised it and the fact that I regret not going for pure math, but there is beauty in all those abstractions that fit together so nicely.
  - kevinventullo 5y ago
    As a former mathematician, I would say the stacked layers get a lot messier closer to the cutting edge.
    - PartiallyTyped 5y ago
      May I ask why former? Defining better abstractions is part of the process that got us so far. Even in ML, we are starting to define some very good abstractions for Neural Networks through the perspective of symmetries and geometry.
      - kevinventullo 5y ago
        The academic job market is brutal compared to tech, especially the “two-body problem”: https://slate.com/human-interest/2013/10/academia-s-confounding-two-body-problem.html https://slate.com/human-interest/2013/10/academia-s-confound... I completely agree we should be defining better abstractions! I more meant it gets a lot harder to do so near the cutting edge.
da39a3ee 5y ago
Kevin Hartnett's popularizations of mathematical research are amazing, I've never seen anything like them before. (Said as a complete amateur with sketchy coverage of undergraduate pure math).
hermitdev 5y ago
I hope they have a quality editor. Would hate to have a situation where they made a mistake on page 5, rendering the subsequent 495 pages worthless gibberish without a correction. (I know there's a bit from a TV show or movie like this, but I can't recall where. Maybe Good Will Hunting?) On a serious note, I'm wondering how approachable this book is to non-mathematicians. I mean, I've had more formal math education than your average lay person, but I've also hardly used most of it since college. I'm curious if it'd be a worthwhile read or just something that'd end up sitting on my shelf, mostly unread...
- leephillips 5y ago
  It will only cost you a little over a Benjamin to find out.
- philipswood 5y ago
  Was the movie you remember maybe "Proof"? https://en.m.wikipedia.org/wiki/Proof_(2005_film) https://en.m.wikipedia.org/wiki/Proof_(2005_film) PS: it had a mathematician with a band that did an imaginary number in it.
- slim 5y ago
  It's peppa pig episode where mommy pig writes a book and george overflows the buffer of her computer by scoring very high in the chicken game
  - dqv 5y ago
    Oh my god that's hilarious Here's the link: https://youtu.be/IMAav163SFQ?t=42 https://youtu.be/IMAav163SFQ?t=42
  - skinkestek 5y ago
    It gets better: it is used in at least one but do I think two or possibly more later episodes. The one that pops into my mind is the one where the kids dress up as something from their favourite book and the Elephant kid dresses up as the very long number from Mummy Pigs book. For some reason even while I'd much prefer silence, Peppa Pig doesn't annoy me as much as certain other kids tv shows. Maybe it is the lack of lessons to learn, that everyone messes upnor something like that?
rossjudson 5y ago
Hurray for obsession, because without it humanity would be forever skirting around the dark corners of our understanding.

taeric 5y ago

I realize I have little chance of actually being able to understand all of it. Still, I'd gladly have bought it at a lower cost. :(

mindcrime 5y ago

I wonder how many other results in maths require an entire book length treatment (or multiple book length treatments)? The one that jumps out to my mind is Gödel's Incompleteness Theorem(s)[1]. I know there are at least a couple of complete books dealing exclusively with this result. [1]: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

kevinventullo 5y ago
I would say that most hallmark results in theory-heavy mathematics (number theory, algebraic geometry, topology, …) could stretch to at least a book length treatment if you wanted a mostly self-contained proof. It sounds like the main difference with this theorem is that the writeup of the original proof was so complicated, terse, and error-prone, that very few experts even understood it.
karatinversion 5y ago
I don’t think the incompleteness theorems are nearly as wordy - this translation of Gödel’s original paper is under 40 pages after subtracting the introduction (not part of the original).
lou1306 5y ago
Godel's theorem is actually not that complex. Sure, you may think of "Godel, Escher, Bach", but that book is stuffed with sooo much material that is only tangentially related to the theorem. Of course the consequences of that theorem are legion, and they do warrant many books worth of discussion. But the proof itself can fit in a long-ish blog post, I think. Fermat's last theorem, on the other hand...
- pdpi 5y ago
  GEB is a book about intelligence/consciousness. The incompleteness theorem is incidental — it’s only there to illustrate the notion of self-referentiality, and I’m not sure it does a particularly good job at it.
- qweqwweqwe-90i 5y ago
  If you could prove the ABC conjecture then Fermat's last theorem becomes much less than a page of proof :)
  - lou1306 5y ago
    Speaking of ABC, some years ago HN was all abuzz with inter-universal Teichmuller theory, did that fizzle out or what?
    - qweqwweqwe-90i 5y ago
      https://www.math.columbia.edu/~woit/wordpress/?p=12220 https://www.math.columbia.edu/~woit/wordpress/?p=12220
- moomin 5y ago
  For those interested: Assume a formal language that can model the natural numbers. Consider the set of all provable statements. This is countable because it’s a subset of the list of strings of a finite number of characters, which is countable. Consider the statement “Statement N is false”. This is both a valid statement and cannot appear in the list. Godel proved significantly more than that, but that’s the basic result. It’s basically the same as the diagonal argument of real numbers being uncountable and it’s also basically the halting problem.
srcreigh 5y ago
I suspect someone could write a book (or an HN comment at least) about the popular confusion about Godel's 1st incompleteness theorem. :-) In fact we (my brother and I) agreed that it bears a striking resemblance to Turing's halting problem: They both seem to show what computers or math can't do, but in fact both theorems only reveal limitations of certain models of computers and/or math. We both have undergrad degrees in math fwiw. Both theorems use a clever logical trick. For Godel's theorem, it is an encoding of "This sentence is false". For the halting problem proof, Turing first fixes the algorithm, asks the algorithm what its result will be, then switches the correct answer, forcing the algorithm to produce the incorrect answer. Would the proof completely fall apart if the algorithm could update itself to handle the new information? The only thing stopping it is that in the formulation of the problem, the algorithm is assumed to not be able to change with new information (ie it's not an "online" algorithm). Similarly, what if the model of math had mechanisms for recognizing paradoxes, or circular logical requirements, etc. I don't think either of those theorems would work anymore. Anyway, I'm not saying the Halting problem would be easy to compute with the right model. If we had an efficient algorithm to solve the halting problem, we could solve tons of math problems easily. We could write some code to enumerate any countably infinite sequence, checking for the presence of some condition, and make inferences based on if it halts or not. For example, we could solve the Collatz conjecture by just writing code to halt if any number's sequence doesn't eventually go to one, and checking whether that loop ever halts. My punchline is, I think it's beautiful that even the undecidable, uncomputable problems are only that way because we are lacking a better model. Or at least that's my current understanding of the situation :-)
- thethirdone 5y ago
  > Would the proof completely fall apart if the algorithm could update itself to handle the new information? The only thing stopping it is that in the formulation of the problem, the algorithm is assumed to not be able to change with new information (ie it's not an "online" algorithm). Simple put the halting problem means that you cannot make a program (a static piece of code) that can determine in a finite amount of time if another program halts operating on some input. I.E. program P takes program H and input I and answers if H run with I halts. I honestly don't know what part of the computational model could be changed to make that not true (besides Oracles or Church-Turing thesis being wrong). Also, I don't think "online algorithm" means what you think it means. Online algorithms have no more computational power than offline ones; they just can get started with only partial information. > Similarly, what if the model of math had mechanisms for recognizing paradoxes, or circular logical requirements, etc. I don't think either of those theorems would work anymore. I don't know what a model of recognizing paradoxes would look like. The 1st incompleteness theorem is based on only a few simple axioms and reasonable rules of deduction. There isn't much wiggle room to make a mathematical model that isn't bound by it, but is useful.
CamperBob2 5y ago
The most recent case similar to this one is Mochizuki's work on the ABC conjecture, which has still not reached the point where it's accepted by the majority of the community due to its complexity. There are lots of parallels between Mochizuki and Freedman. They both had to break a lot of new ground, and they both had trouble communicating their results to enough people to become part of the official canon of mathematics that can actually be taught to others. Freedman at least convinced a few key people, but AFAIK Mochizuki's work has never been understood by anyone not named Mochizuki. It may be complete BS, it may be earthshakingly brilliant, but either way it will evidently take someone's entire career to prove it.
- iainmerrick 5y ago
  I believe the latest news on Mochizuki’s work is that Peter Scholze and Jakob Stix identified a fatal flaw, and Mochizuki has not convincingly rebutted it. See e.g. the first item here: https://www.math.columbia.edu/~woit/wordpress/?p=12429 https://www.math.columbia.edu/~woit/wordpress/?p=12429 Both the claimed proof and the disproof have now been published in journals, and neither has been retracted! That’s a rather unusual situation to say the least. But I think people in the field generally agree that the proof is flawed and unfixable.
  - deleted 5y ago
    [deleted]
  - ntlang 5y ago
    Experts have been skeptical for quite some time. You can see discussion on the exact point Scholze (PS) brings up in the following blog post (the post and many comments are by prominent number theorists) https://www.galoisrepresentations.com/2017/12/17/the-abc-conjecture-has-still-not-been-proved/ https://www.galoisrepresentations.com/2017/12/17/the-abc-con... One quote from the post I find worth repeating: > This post is not about making epistemological claims about the truth or otherwise of Mochizuki’s arguments. To take an extreme example, if Mochizuki had carved his argument on slate in Linear A and then dropped it into the Mariana Trench, then there would be little doubt that asking about the veracity of the argument would be beside the point. The reality, however, is that this description is not so far from the truth.
jcranmer 5y ago
The classification of finite simple groups [1] is apparently ~11-12 books long (when it's finished). Yes, several books for a single theorem. [1] https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
- Denvercoder9 5y ago
  I don't wanna know how much books the classification of finite complex groups is gonna take.
  - zarzavat 5y ago
    Not very much actually. Finite simple groups are kind of like prime numbers: any finite group can be broken down into simple subgroups similar to how any natural number can be broken down into a multiset of prime number factors. That's why the classification of finite simple groups is so important, it's essentially a classification of all finite groups. https://en.wikipedia.org/wiki/Composition_series#Uniqueness:_Jordan–Hölder_theorem https://en.wikipedia.org/wiki/Composition_series#Uniqueness:...
    - alisonkisk 5y ago
      Someone should make a modern recording of "Finite Simple Group of Order 2" https://m.youtube.com/watch?v=UTby_e4-Rhg https://m.youtube.com/watch?v=UTby_e4-Rhg
Aicy 5y ago
I did a University module on Godel' Incompleteness theotem and the complete lecture notes which gave all the lead up, explanation and the proof itself along with lots of othet related material was only about 50 pages in total if I recall correctly. Was a pleasure to do that module though!
throwaway81523 5y ago
The incompleteness theorem can be proved in a few lines given the right definitions up front. It's basically the same as the undecidability of the halting problem, which has a proof that is written as a poem: https://introcs.cs.princeton.edu/java/54computability/halting-poem.html https://introcs.cs.princeton.edu/java/54computability/haltin... There is a wonderful book by Torkel Franzén about the incompleteness theorem that is 100+ pages, but it is not purely about the proof. It's a popularization that discusses bogus ways philosophers have interpreted the theorem, and stuff like that. It is called "Gödel's Theorem: An Incomplete Guide to its Use and Abuse". Meanwhile Aschbacher and Smith's proof of the classification of quasithin groups really is a book of 1200+ pages: https://books.google.com/books?id=SbO2irSQHMEC https://books.google.com/books?id=SbO2irSQHMEC And of course the proof of the classification of finite simple groups has afaik never been published all in one place, though there are some book-length expositions of it referring back to the original papers. It is a set of papers spanning around 20 years and adding up to around 10,000 pages. It is sometimes called "the enormous theorem": https://en.wikipedia.org/wiki/Enormous_theorem https://en.wikipedia.org/wiki/Enormous_theorem
kccqzy 5y ago
Others have already mentioned it, but Gödel's incompleteness theorem doesn't need a book-length treatment. My undergraduate mathematical logic class covered the proof in a little more than a week.
fogof 5y ago
"Incompleteness ex Machina" by Sebastian Oberhoff, is a nice paper-length exposition https://arxiv.org/abs/1909.04569 https://arxiv.org/abs/1909.04569.
joppy 5y ago
It is pretty common for some pure mathematics papers to be pretty much book length anyway these days, say 80 pages or more.
mindcrime 5y ago
It's a bit late to add this, but I realize that I wasn't entirely clear above. When I say "results in maths (that) require an entire book length treatment" I don't mean a proof that is inherently book length. I mean, a proof that justifies (one or more) book length "downstream" treatments that explain, clarify, expand, etc., the base proof. Going back to Gödel's Incompleteness Theorem(s) for example... yes, the original proof is not that long, but for whatever reason, people have felt compelled to write entire books on the topic, after Gödel, to say more about the proofs. That kind of thing is more what I was thinking of, FWIW.

liversage 5y ago

It's amazing how math can require so much work for what appears to be a single result, but I spend an entire semester proving a single mathematical theorem and to do that I had to work through an entire textbook, so I don't think it's that unusual.

PartiallyTyped 5y ago
I am not a mathematician, though I do very applied math (ML), I took a course this semester that is intended for Pure Math MSc, called Advanced Vector spaces, having only done some linear algebra and calculus at the undergraduate level, some abstract algebra and some geometric algebra. I am consistently in awe of how well mathematicians have stacked layers of abstraction one on top of the other, and how many different ideas end up being very related to one another. Maybe I am romanticised it and the fact that I regret not going for pure math, but there is beauty in all those abstractions that fit together so nicely.
- kevinventullo 5y ago
  As a former mathematician, I would say the stacked layers get a lot messier closer to the cutting edge.
  - PartiallyTyped 5y ago
    May I ask why former? Defining better abstractions is part of the process that got us so far. Even in ML, we are starting to define some very good abstractions for Neural Networks through the perspective of symmetries and geometry.
    - kevinventullo 5y ago
      The academic job market is brutal compared to tech, especially the “two-body problem”: https://slate.com/human-interest/2013/10/academia-s-confounding-two-body-problem.html https://slate.com/human-interest/2013/10/academia-s-confound... I completely agree we should be defining better abstractions! I more meant it gets a lot harder to do so near the cutting edge.

da39a3ee 5y ago

Kevin Hartnett's popularizations of mathematical research are amazing, I've never seen anything like them before. (Said as a complete amateur with sketchy coverage of undergraduate pure math).

hermitdev 5y ago

I hope they have a quality editor. Would hate to have a situation where they made a mistake on page 5, rendering the subsequent 495 pages worthless gibberish without a correction. (I know there's a bit from a TV show or movie like this, but I can't recall where. Maybe Good Will Hunting?) On a serious note, I'm wondering how approachable this book is to non-mathematicians. I mean, I've had more formal math education than your average lay person, but I've also hardly used most of it since college. I'm curious if it'd be a worthwhile read or just something that'd end up sitting on my shelf, mostly unread...

leephillips 5y ago
It will only cost you a little over a Benjamin to find out.
philipswood 5y ago
Was the movie you remember maybe "Proof"? https://en.m.wikipedia.org/wiki/Proof_(2005_film) https://en.m.wikipedia.org/wiki/Proof_(2005_film) PS: it had a mathematician with a band that did an imaginary number in it.
slim 5y ago
It's peppa pig episode where mommy pig writes a book and george overflows the buffer of her computer by scoring very high in the chicken game
- dqv 5y ago
  Oh my god that's hilarious Here's the link: https://youtu.be/IMAav163SFQ?t=42 https://youtu.be/IMAav163SFQ?t=42
- skinkestek 5y ago
  It gets better: it is used in at least one but do I think two or possibly more later episodes. The one that pops into my mind is the one where the kids dress up as something from their favourite book and the Elephant kid dresses up as the very long number from Mummy Pigs book. For some reason even while I'd much prefer silence, Peppa Pig doesn't annoy me as much as certain other kids tv shows. Maybe it is the lack of lessons to learn, that everyone messes upnor something like that?

rossjudson 5y ago

Hurray for obsession, because without it humanity would be forever skirting around the dark corners of our understanding.