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

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023