Tag Archives: metamath
Rigorous mathematics
What is rigorous mathematics? Jaffe and Quinn have some ideas, which I reinterpret 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, IsabelleHOL, Jaffe and Quinn, Johan de Jong, metamath, Mizar, Mochizuki, Peter Scholze, rigour, Toby Gee, UniMath, Vincent Pilloni, ZFC

13 Comments