Tag Archives: Frank Calegari

Rigorous mathematics

Posted on December 7, 2019 by xenaproject

What is rigorous mathematics? Jaffe and Quinn have some ideas, which I re-interpret a little. Continue reading →

Posted in rigour, Uncategorized | Tagged Bill Thurston, Brian Conrad, Coq, David Hansen, Dominic Verity, Dustin Clausen, Emily Riehl, Frank Calegari, George Boxer, Isabelle-HOL, Jaffe and Quinn, Johan de Jong, metamath, Mizar, Mochizuki, Peter Scholze, rigour, Toby Gee, UniMath, Vincent Pilloni, ZFC | 13 Comments

Does anyone “know” a proof of Fermat’s Last Theorem?

Posted on September 27, 2019 by xenaproject

So there’s a piece in Vice which quotes me as saying that I fear “all published maths is wrong”. Of course this is nonsense: indeed, as every mathematician knows, some published maths is wrong, but the vast majority of it … Continue reading →

Posted in Uncategorized | Tagged Brian Conrad, Fermat's Last Theorem, Frank Calegari, Langlands-Tunnell | 9 Comments

Tag Archives: Frank Calegari

Rigorous mathematics

Does anyone “know” a proof of Fermat’s Last Theorem?

Categories

Recent Posts