Category Archives: rigour
Rigorous mathematics
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
|
10 Comments
