Human Folly about “foundations-of-mathematics”

Splashtalk (web.archive.org):
an 18-page #PDF #paper on the #foundations-of-mathematics crisis in the 20th century
on 02024-02-06
Ultrafinitism (en.wikipedia.org):
an extreme version of #math #constructivism in the #foundations-of-mathematics
on 02024-02-06
Intuitionism (plato.stanford.edu):
overview of Brouwer's #intuitionism, part of #constructivism in the #foundations-of-mathematics #math
on 02024-02-06
Philosophy Applied mathematics (plus.maths.org):
Phil Wilson explains the #foundations-of-mathematics debate betweeen #formalism, #constructivism (including #intuitionism), #platonism, and #logicism. #math
on 02024-02-06
Item (news.ycombinator.com):
discussion of #Metamath Zero. #foundations-of-mathematics #formal-methods
on 02021-01-15
(arxiv.org):
“Specifying verified x86 software from scratch” Mario Carneiro wants to prove a #Metamath verifier correct with #Metamath. #foundations-of-mathematics #formal-methods
on 02021-01-15
Mmverify (us.metamath.org):
Raph #Levien’s #Metamath verifier in 300 lines of Python. #formal-methods #foundations-of-mathematics
on 02021-01-15
Lean and Metamath zero (slawekk.wordpress.com):
notes on #formal-methods alternatives for #foundations-of-mathematics, covering #Xena, #Kevin-Buzzard, #LEAN, and #Metamath
on 02021-01-15