Daniel Tubbenhauer on Computer Aided Mathematics
See https://leanprover-community.github.io/undergrad.html and Solution of the Robbins Problem by William Mccune.
Subscribe to Visual Math.
So much for the existence of proofs. There is also a very similar problem in the philosophy of mathematics concerning the existence of numbers, sets and such-like. And problems in metamathematics concern the validity of reasoning about correspondences between proofs and mathematical objects. All of these seem to me to be questions about languages and about translations between those languages.
Penelope Maddy on Objectivity in Mathematics
Subscribe to Penn Videos
Comments
Post a Comment