I really wish I could get math to stick. I just finished my National 5 maths (rough equivalent of a US High School Diploma) night-class today and all I ever seem to understand is how, but not why. I'm the one asking "why is that that." And today was recapping on trinomial, simplifying fractions. Simple I expect to anyone with a mathematical mind, but to me, it's just an insane implosion which leaves me exhausted. I h…
New math book rescues landmark topology proof
71–80 of 171 posts
Re: New math book rescues landmark topology proof
#72If 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.
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_...
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...
Re: New math book rescues landmark topology proof
#73I really wish I could get math to stick. I just finished my National 5 maths (rough equivalent of a US High School Diploma) night-class today and all I ever seem to understand is how, but not why. I'm the one asking "why is that that." And today was recapping on trinomial, simplifying fractions. Simple I expect to anyone with a mathematical mind, but to me, it's just an insane implosion which leaves me exhausted. I h…
High school math does not look much like research math. High school math is highly concerned with teaching 'algorithms' that compute answers, like long multiplication, long division, the quadratic formula, completing the square, synetic division, u-sub integration, ... Most mathematicians don't work with calculating things. Rather, they're more interested in _generally_ characterizing how objects behave (and _proving…
Consider the Fibonacci numbers 0, 1, 1, 2, 3, 5, 8, ... (with the convention that 0 and 1 are the 0th and 1st). Here's one way to get an explicit formula for them.
First, we package them up into what's called a "generating function": 0 x^0 + 1 x^1 + 1 x^2 + 2 x^3 + 3 x^4 + 5 x^5 + ... or, more concisely, the sum of F_n x^n over all nonnegative integers n. Call this thing F(x).
What happens if we add up F(x) and x F(x)? Well, x F(x) is just the same sum but with all the numbers shifted over by 1. It's the sum of x F_n x^n, or the sum of F_n x^(n+1), or the sum of F_(n-1) x^n, with the proviso that there isn't an x^0 term. So when we add this to the sum of F_n x^n, we get the sum of [F_(n-1) + F_n] x^n, with again the proviso that the x^0 term is just F_0 x^0 = 0.
But, aha!, F_(n-1)+F_n is just F_(n+1), at least when n >= 1. So this thing equals the sum of F_(n+1) x^n, except that once again we need to be careful about n=0; more precisely what we have is the sum of F_(n+1) x^n, minus 1. (Because F_1 is 1, but the actual x^0 term is 0.)
And the sum of F_(n+1) x^n equals the sum of F_n x^(n-1), or F(x)/x.
In other words, we have F(x) + x F(x) = F(x)/x - 1, or equivalently (1 - x - x^2) F(x) = x, or equivalently F(x) = x / (1 - x - x^2).
This is already pretty neat -- who would have thought that that big sum, involving the Fibonacci numbers which are defined in terms of a sort of recursive-adding process, would come out to something so simple?
Now comes the coup de grace, which is the bit that uses partial fractions. We can write that denominator as (1-ax) (1-bx) for some numbers a,b. We'll figure out what a,b actually are in a moment -- that's just solving a quadratic equation. For now, looking at the coefficients of x and x^2 we note that a+b=1 and ab=-1. And now we can do the partial-fractions thing. We know that we'll have x/(1-x-x^2) = p/(1-ax)+q/(1-bx) for some p,q. That means that x = p(1-bx)+q(1-ax), so p+q=0 and pb+aq=-1 or p=1/(a-b). That is, F(x) = 1/(a-b) [1/(1-ax) - 1/(1-bx)].
Why bother doing this? Because the fractions we now have are easy to expand in powers of x. We have 1/(1-ax) = 1 + ax + a^2x^2 + ... and 1/(1-bx) = 1 + bx + b^2x^2 + ... So F_n, the coefficient of x^n in F(x), is just 1/(a-b) [a^n - b^n].
Finally, we ought to work out what a,b actually are. It turns out that a = [1+sqrt(5)]/2 and b = [1-sqrt(5)]/2; that is, a is the famous "golden ratio" sometimes called phi, and b = 1-a = -1/a. So a-b is just sqrt(5).
So: the nth Fibonacci number is exactly (phi^n - (-1/phi)^n) / sqrt(5). Isn't that nice?
(Since |b|closest integer to phi^n/sqrt(5).)
For the avoidance of doubt, none of this has anything at all to do with the disc embedding theorem. I just thought it was worth clarifying that partial fractions aren't just a one-trick pony used only for integrating rational functions; there are other situations in which representing something in terms of partial fractions gives useful insights into its behaviour.
Re: New math book rescues landmark topology proof
#74I do find it amazing that mathematicians seem to have almost infinite time to work on problems, and so much freedom to choose what they're working on. How great that a big group of people can collectively decide to spend years creating a book like this.
Re: New math book rescues landmark topology proof
#75Math is the most formal science there is. Why don't serious math journals require programmatically checked proofs for all publications, and instead rely on what essentially is a code review for a very large change request with extremely convoluted code to be vetted bug free by only a handful of experts? P.S. Reviews are still needed to check novelty etc.
> Why don't serious math journals require programmatically checked proofs for all publications Because mathematics has more or less worked fine for decades without it, and most mathematicians aren't programmers and aren't interested in it. Proofs are for understanding, not for technical correctness (though obviously the latter is very important). A good proof convinces someone that it's true; convincing a computer th…
Re: New math book rescues landmark topology proof
#76If 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.
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_...
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 :-)
Re: New math book rescues landmark topology proof
#77Earlier quoted context omitted.
High school math does not look much like research math. High school math is highly concerned with teaching 'algorithms' that compute answers, like long multiplication, long division, the quadratic formula, completing the square, synetic division, u-sub integration, ... Most mathematicians don't work with calculating things. Rather, they're more interested in _generally_ characterizing how objects behave (and _proving…
Just for fun, an example of an application of partial fraction decomposition that doesn't involve taking integrals. Consider the Fibonacci numbers 0, 1, 1, 2, 3, 5, 8, ... (with the convention that 0 and 1 are the 0th and 1st). Here's one way to get an explicit formula for them. First, we package them up into what's called a "generating function": 0 x^0 + 1 x^1 + 1 x^2 + 2 x^3 + 3 x^4 + 5 x^5 + ... or, more concisely…
Re: New math book rescues landmark topology proof
#78That's a pretty sad (if self aware) statement for someone who gets paid $1M/yr to find arrangements which might make quantum decoherence effects lower for computation ... or not. The editors certainly won't make that much, but at least there's an afterward by Freedman.
Re: New math book rescues landmark topology proof
#79If 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.
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_...
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.
Re: New math book rescues landmark topology proof
#80Earlier quoted context omitted.
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_...
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 degre…
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.