Aperiodical Maths News @mathnews@aperiodical.com April 23, 2024, 9:16 a.m. 0 likes 0 boosts (PDF) Quine's New Foundations for set theory, in which the axiom of choice is false, has been formally proved in Lean to be consistent
Aperiodical Maths News @mathnews@aperiodical.com April 21, 2024, 8:43 p.m. 2 likes 2 boosts Discovery of a natural metabolic enzyme capable of forming Sierpiński triangles
Aperiodical Maths News @mathnews@aperiodical.com April 10, 2024, 2:08 p.m. 1 like 0 boosts This year's Turing Award has been given to Avi Wigderson
Aperiodical Maths News @mathnews@aperiodical.com March 25, 2024, 10:18 a.m. 2 likes 0 boosts More abc drama: Mochizuki does not like Joshi's claimed abc proof.
Aperiodical Maths News @mathnews@aperiodical.com March 20, 2024, 11:21 a.m. 4 likes 3 boosts the 2024 Abel Prize has been awarded to Michel Talagrand