An invitation to my series of essays at Infinitely More.
#InfinitelyMore
Paradox and infinity—all my favorite puzzles and conundrums. Quirky, fun, accessible, yet often engaging deep mathematical and philosophical issues.
I once saw an incredible lecture in Berkeley by a historian of science, one of the best talks I have ever seen. He started his talk sitting on the desk amongst a huge pile of physics textbooks from history, each in its day "the best textbook of its time."
Pick's theorem, a mathematical gem, a profound mathematical theorem, but with an elementary proof. I find it excellent for teaching how to write proofs, because one naturally approaches the general theorem in a series of easier cases.
#ProofandtheArt
What a punchline! And what an effective way to convey his main point. The implication was completely clear that of course we should expect that eventually this text also will come to be seen as fundamentally wrong on some issue or other.
This lecture has stuck with me now for decades as an example of excellence in how to give a talk—I remember it clearly now decades later. Would anyone know who it likely was that I saw? This was Berkeley in the early 1990s, but I think he was likely an invited guest speaker.
Finally, he got to the physics text used currently in Intro Physics classes. He explained how it had improved on its predecessor, and then said that he didn't know of any specific physics issue it got wrong. He silently placed it on top of the pile of earlier, flawed texts.
I am preparing a poster and video about counting beyond infinity—how to to count to ω². Comments welcome—please criticize. Final version will appear later.
#PhilMaths
And then the next. The speaker proceeded systematically through the historical procession of physics texts, highlighting how each had improved upon its predecessors, but also explaining in specific detail ways in which each of them was flawed.
For the aspiring mathematician in your life, may I suggest a holiday gift:
Proof and the Art of Mathematics
Learn the art of mathematical proof-writing with a beautiful book, brimming with advice & inspiring mathematical results via interesting elementary proofs.
#ProofandtheArt
He began by showing us the text written by a student of Isaac Newton, which explained Newtonian forces and the motion of planets. Nevertheless, it had various mistakes and misunderstandings. He set it aside and moved to the next book, also excellent, but also flawed in some way.
Some were flawed in their account of light, another had an etching of a comet, "drawn by a person who had *never* seen a comet." Eventually, the progression moved into the 20th century, but still the texts were wrong on various fundamental points, often now quite technical.
It may have been a talk for the Berkeley Skeptics Society. I remember the speaker intoning of each text, that "it was the premier text of physics in its time."
How to use the research literature. When approaching a difficult mathematical problem, first think deeply upon it on your own, using all the ideas you can muster, before consulting the work of others. Push your own ideas as hard as you can first, and read only afterward.
New book idea:
Ten proofs of Gödel incompleteness
Successive chapters will have all the various proofs I know, whether from computability via Turing, from fixed-point self-reference, from Tarski, from universal definitions, via Russell, via Berry's paradox, and so forth.
My lectures begin tomorrow.
Lectures on the Philosophy of Mathematics
Wednesdays 11-12 am (UK time) during Oxford Michaelmas Term.
We meet on Zoom at:
Lectures will be recorded and made public.
#PhilMaths
Foreshadowing — the algebra of orders. Here is an addition table for some simple finite orders. Did you know that you can add and multiply any two orders? A+B means a copy of A with a copy of B above. Stay tuned for multiplication...
Truth and provability, a thread. Let us compare Tarski's theorem on the nondefinability of truth with Gödel's incompleteness theorem. Smullyan advanced the view that much of the fascination with Gödel's theorem should be better directed toward Tarski's theorem.
1. Proof and the Art of Mathematics, for aspiring mathematicians to learn how to write proofs
#ProofandtheArt
2. Lectures on the Philosophy of Mathematics, philosophy grounded in mathematics
#PhilMaths
The impossible badge. The Legendary badge is earned on MathOverflow by hitting the 200 reputation point limit on 150 separate days. Nobody has ever gotten this badge on MathOverflow, ever, and I have been trying for 14 years. Currently I have hit the limit on 145 occasions.
Three logicians go into a bar.
The bartender asks, "Do you all want a beer?"
The first logician says, "I don't know."
The second logician says, "I don't know."
And the third logician says, "Yes."
I'll be giving lectures this term on the philosophy of mathematics.
Lectures will be held on Zoom every Wednesday 11-12 am during term. I intend to record the lectures and make them available later. Topics will follow selections from my new book.
Just heard that daughter is accepted at Caltech—yay!
She says she wants to be a mathematician, but there's still time, of course, for anything. Meanwhile, I think we had hints of her interests in younger days...
The algebra of orders — now with multiplication!
Here is a multiplication table for some simple finite orders. Did you know that you can multiply any two orders?
AxB means B copies of A.
My publisher aims to put Proof and the Art of Mathematics up for an MAA book award, given for impactful undergrad mathematics books. If you have used my book with students and would be willing to support the nomination, please contact me.
#ProofAndTheArt
OK, logic twits, we're holding the
Largest Tweetable Number contest!
Respond to this tweet with a tweet describing a specific natural number. Largest number wins. What have you got?
Prize: One million dollars*
*prize will be divided by the value of the winning number
I filled my book Proof and the Art of Mathematics with beautiful mathematical arguments and insightful figures.
#ProofandtheArt
Make a gift to a mathematical loved one—any mathematically inclined person, of any age, can appreciate and learn from this book.
Theorem. The real numbers are not interpretable in the complex numbers as a field.
The result, well-known in model theory, often surprises mathematicians, who sometimes expect to easily define R in C. Yet, this isn't possible.
Thinking more and more seriously that I should create a "Tutorials in Physics" journal that doesn't publish new research, but tutorials on advanced but relatively settled topics, aimed at first year PhD students who need an introduction to the topic.
Instructors, if you will be teaching an Introduction-to-Proofs or Transition-to-Advanced-Mathematics course next year, please consider using my book Proof and the Art of Mathematics as a text.
#ProofandtheArt
Pick's theorem is a mathematical gem. One computes the area of a polygon in the integer lattice simply by counting vertices. The proof is elementary, but not obvious, and so I spent a chapter on it in my proof-writing book.
#ProofandtheArt
An Oxford University admissions interview question. You are a contestant on a game show, known for having perfectly logical contestants. There is another contestant, whom you've never met, but whom you can count on to be perfectly logical, just as logical as you are.
My son, at the University of Bath, is putting together his engineering portfolio for various internship applications, and he included a photo of his greatest engineering accomplishment, from February.
Kafkaesque. Since leaving Oxford last year, I have been supervising my five Oxford D Phil students via Zoom. I planned to visit Oxford during Trinity term to meet with them and research colleagues. But I am now informed that meeting with my students would be considered "work" for
The problem with reading first before engaging on your own is that you may get trapped in another perspective, which could prevent you from realizing your key insight. But if you think first and then read, you combine your insight with prior knowledge, which may lead to progress.
As a Berkeley graduate student, I was TA for William Kahan teaching linear algebra, and will never forget his lecture in which he argued that matrix multiplication is defined the way it is precisely because of the chain rule.
Stand up for your ignorance.
In graduate school, I forced myself into the policy: admit ignorance freely when you don't fully understand something; ask questions, and ask again, until you do.
If you *know* you don't understand an idea that you encounter in graduate school, but people keep acting like it's obvious, and like you understand, DON'T PRETEND YOU UNDERSTAND! KEEP ASKING EVEN IF YOU FEEL STUPID. You don't want to end up like the adult version of this guy:
According to the naive theory of infinite cardinality:
1. Different sizes of infinity? How absurd! All infinities are the same size.
2. The rationals are equinumerous with the natural numbers? How absurd! Obviously there are far more rational numbers.
Cut a circular hole of radius 1 in a piece of paper. What is the largest size disc that you can pass through that hole? Allow yourself to fold the paper as much as you want, but not tear it.
A puzzle posed by my wife Barbara: two people climb a staircase and then climb an escalator. One person rests a minute on the staircase and the other rests a minute on the escalator, but otherwise they climb stairs at the same rate. Who is faster or are they equally fast?
My PhD student, Bokai Yao
@BokaiYao
, has just passed his dissertation defense, defending the thesis, "Set theory with urelements", in which he establishes and separates a surprisingly rich hierarchy of urelement set theories, and develops the theory of forcing over urelement set
Consider several structures on the natural numbers:
• Successor ⟨ℕ,0,S⟩
• Order ⟨ℕ,0,<⟩
• Addition ⟨ℕ,0,+⟩
What I claim is that each structure is definable in the next, but not conversely.
Me: finishing seminar on Gödel incompleteness and Hilbert program...
Student: Do you know the book Gödel, Escher, Bach?
Me: Oh yes, by Douglas Hofstadter. I read it when I was a kid. It was a big influence on me.
Student: I didn't know it was that old!
Me: um...
Physics question arising from my daughter's high-school physics class:
If you aim to break a window, should you rather throw a sticky lump of clay or a bouncy ball of the same mass? Or does it not matter?
A selection from the chapter on Relations and Functions in my book, Proof and the Art of Mathematics, helping aspiring mathematicians learn to write proofs.
#ProofandtheArt
Thanks for the great five-star reviews on Amazon!
Latest result: the Wordle number is independent of ZFC. It is consistent that it is strictly between aleph_0 and the the continuum.
The wordle number w is the size of the smallest dictionary of infinite words (length ω, alphabet ω) that admits no finitely-winning strategy.
A free extended excerpt from my book, Lectures on the Philosophy of Mathematics, an introduction for mathematicians and philosophers, grounded in mathematics. This week we consider Logicism, aiming to found mathematics in logic.
#InfinitelyMore
#PhilMaths
Can you solve my daughter's HS challenge math problem? There are 10 kids, assorted into various (possibly overlapping) groups. Each group has an odd number of people, but the intersection of any two has an even number. Show there are at most ten groups.
Next fall, I'll be teaching a graduate seminar on all aspects of the Gödel incompleteness phenomena. We'll follow my book-in-progress, Ten proof of Gödel incompleteness, with supplemental readings.
Mathematics instructors teaching Intro-to-Proofs next year—please consider my book, Proof and the Art of Mathematics. Beautiful mathematical theorems with elementary proofs. Diverse proof methods. Mathematical habits. Colorful figures.
#ProofandtheArt
In my book, I argue that it is a form of confirmation bias when considering the axiom of choice to look only at the controversial consequences of AC, without also considering the even more bizarre situations that AC rules out.
#PhilMaths
A great puzzle from my colleague Bill Child. A card is draw from an ordinary 52 card deck, and you aim to guess what it is.
Before making your guess, you are allowed to ask one yes/no question about the card.
Which of the 3 questions listed here will best improve your odds?
An imaginary mathematical history.🧵
I should like to sketch an imaginary mathematical history, an alternative history by which the continuum hypothesis (CH) might have come naturally to be seen as a core axiom of set theory and one furthermore necessary for ordinary mathematics.
My publisher intends to nominate my book for a certain math pedagogy award.
Proof and the Art of Mathematics
If as a mathematics instructor you have used my book (in any capacity) with positive pedagogical results, could you kindly DM me?
#ProofandtheArt
@maanow
This is not mathematics. Mathematicians write their mathematical expressions in a clear manner, aiming to be understood, rather than relying on irritating or obscure notational rules. Add some parentheses to communicate clearly and say what you mean.
Lectures on the Philosophy of Mathematics, MIT Press, is now available for pre-order.
This is an introduction to the philosophy of mathematics, from a perspective grounded in mathematics, motivated by mathematical inquiry and practice.
#PhilMaths
I'll be giving graduate lectures/seminars this term on the philosophy of mathematics, joint with Timothy Williamson. Half the sessions will focus the philosophy of set theory. Details later. Tuesdays 2-4 TT19 in the Ryle Room. First reading is Maddy's book, Defending the Axioms.
I once asked Ted Slaman, known for his excellent math talks, what is the secret? He replied, "You have to think like a comedian." He wasn't suggesting jokes, but rather, to plan the timing and the way ideas unfold, so as to enable your audience to reach a climax of insight.
Today is book-release day---it's finally available!
Lectures on the Philosophy of Mathematics, an introduction to the philosophy of mathematics, grounded in mathematics.
#PhilMaths
Here is the complete finalized playlist for the lectures I gave this term on the philosophy of mathematics. What a pleasure it was! I am glad so many people were able to participate.
#PhilMaths
A free extended excerpt from my book, Proof and the Art of Mathematics, an introduction to the art and craft of proof-writing, for aspiring mathematicians who want to learn how to write proofs.
#InfinitelyMore
#ProofAndTheArt
My daughter's high-school math camp played the game: everybody picks a number from 0 to 100; whoever is closest to 2/3 of theo average wins. She figured: half will pick 2/3 of 50, or 33, and half will pick 2/3 of that, or 22. So she guessed 2/3 of the average of that, or 18. The
My clock, which evidently and unfortunately distracts my audience on zoom—I steadily lose my audience over to the hypnotic swirling of the chain. Meanwhile, offline, the regular whir-and-click is a heartbeat for my mathematical thinking, keeping my mind on track.
Three variations on Tarski.
Let me present three variations of Tarski's theorem on the non-definablity of truth. The first is proved in Gödelian style using Gödelian methods; the second is Russellian; and the last is purely Cantorian. But all express the nondefinability of truth.
From a student's essay: for any collection of fruits, we can make more fruit salads than there are fruits. If not, we could label each salad with a different fruit, and consider the salad of all fruits not in their salad. The label of this salad is in it if and only if it is not.