Recent Comments
-
Recent Posts
- Questions and Concerns About Google’s Quantum Supremacy Claim
- Physics Related News: Israel Joining CERN, Pugwash and Global Zero, The Replication Crisis, and MAX the Damon.
- Test your intuition 52: Can you predict the ratios of ones?
- Amnon Shashua’s lecture at Reichman University: A Deep Dive into LLMs and their Future Impact.
- Mathematics (mainly combinatorics) related matters: A lot of activity.
- Alef Corner: Deep Learning 2020, 2030, 2040
- Some Problems
- Critical Times in Israel: Last Night’s Demonstrations
- An Aperiodic Monotile
Top Posts & Pages
- Questions and Concerns About Google’s Quantum Supremacy Claim
- An Aperiodic Monotile
- Test your intuition 52: Can you predict the ratios of ones?
- A Mysterious Duality Relation for 4-dimensional Polytopes.
- TYI 30: Expected number of Dice throws
- The Simplex, the Cyclic polytope, the Positroidron, the Amplituhedron, and Beyond
- A Nice Example Related to the Frankl Conjecture
- Quantum Computers: A Brief Assessment of Progress in the Past Decade
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
RSS
Category Archives: What is Mathematics
ICM 2022. Kevin Buzzard: The Rise of Formalism in Mathematics
In this post I would like to report on Kevin Buzzard’s spectacular lecture on moving mathematics toward formal mathematical proofs. (Here are the slides.) The picture above is based on images from the other spectacular Saturday morning lecture by Laure … Continue reading
Richard Stanley: Enumerative and Algebraic Combinatorics in the1960’s and 1970’s
In his comment to the previous post by Igor Pak, Joe Malkevitch referred us to a wonderful paper by Richard Stanley on enumerative and algebraic combinatorics in the 1960’s and 1970’s. See also this post on Richard’s memories regarding the … Continue reading
Igor Pak: How I chose Enumerative Combinatorics
Originally posted on Igor Pak's blog:
Apologies for not writing anything for awhile. After Feb 24, the math part of the “life and math” slogan lost a bit of relevance, while the actual events were stupefying to the point…
To cheer you up in difficult times 35 combined with Test Your Intuition 48: Alef’s corner – Jazz and Math
Test your intuition: What is the true title of this drawing?
Posted in Art, Music, Test your intuition, What is Mathematics
Tagged Alef's corner, Test your intuition
1 Comment
To cheer you up in difficult times 33: Deep learning leads to progress in knot theory and on the conjecture that Kazhdan-Lusztig polynomials are combinatorial.
One of the exciting directions regarding applications of computers in mathematics is to use them to experimentally form new conjectures. Google’s DeepMind launched an endeavor for using machine learning (and deep learning in particular) for finding conjectures based on data. Two … Continue reading
Posted in Algebra, Combinatorics, Geometry, What is Mathematics
8 Comments
Alef’s Corner: QED (two versions)
QED: Version 2
To Cheer You Up in Difficult Times 31: Federico Ardila’s Four Axioms for Cultivating Diversity
Todos Cuentan (Everybody counts) In a beautiful NAMS 2016 article Todos Cuentan: Cultivating Diversity in Combinatorics, Federico Ardila put forward four thoughtful axioms which became a useful foundation for Ardila’s own educational and outreach efforts, and were offered as a pressing … Continue reading
Posted in Academics, Combinatorics, What is Mathematics, Women in science
Tagged diversity, Federico Ardila
13 Comments
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
5 Comments