Recent Comments
Category Archives: What is Mathematics
To cheer you up in difficult times 27: A major recent “Lean” proof verification
“Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.” (See Lean’s homepage and see here for an introduction to lean.) Kevin Buzzard’s blog … Continue reading
Posted in Algebra, Updates, What is Mathematics
Tagged Kevin Buzzard, Lean, Peter Scholze
4 Comments
To cheer you up in difficult times 23: the original hand-written slides of Terry Tao’s 2015 Einstein Lecture in Jerusalem
In 2015 Terry Tao gave the Einstein lecture of the Israeli Academy for Science and Humanities. We got hold of the original signed hand-written slides of Terry’s lecture and we are happy to share them with you. The title of … Continue reading
The probabilistic proof that 2^400-593 is a prime: a revolutionary new type of mathematical proof, or not a proof at all?
Avi Wigderson gave a great CS colloquium talk at HUJI on Monday (a real auditorium talk with an audience of about 200 people). The title of the talk was The Value of Errors in Proofs – a fascinating journey from … Continue reading
What is mathematics (or at least, how it feels)
(I suppose that this amazing picture can serve as a metaphor also for life, for science, for human rights, for happiness and for a variety of other things.) Picture: AFP Suez Canal: the Ever Green ship blockage.
Thomas Vidick: What it is that we do
Originally posted on MyCQstate:
This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a “proof-based” discipline such as pure mathematics or theoretical computer science. Since the former is easier…
Peter Cameron: Doing research
Originally posted on Peter Cameron's Blog:
Probably every research mathematician has been asked the question, “How do you do mathematical research?” Some lay people think we simply figure out ways of doing bigger and bigger long multiplications. Many more…
Igor Pak: What if they are all wrong?
Originally posted on Igor Pak's blog:
Conjectures are a staple of mathematics. They are everywhere, permeating every area, subarea and subsubarea. They are diverse enough to avoid a single general adjective. They come in al shapes and sizes. Some…
Posted in Combinatorics, Computer Science and Optimization, Geometry, What is Mathematics
Tagged Igor Pak
7 Comments
Alef Corner: Math Collaboration
Another artistic view by Alef on mathematical collaboration. Other Alef’s corner posts
