Computational Platonism
Asvin G
TL;DR
An experimental lens on mathematics is offered that reframes the role of proofs, axioms and computations and parallels much better the story in other sciences and raises questions for the practice of mathematics, especially in the age of AI.
Abstract
We offer an experimental lens on mathematics that reframes the role of proofs, axioms and computations and parallels much better the story in other sciences. This offers a new interpretation of Godel's theorems and raises questions for the practice of mathematics, especially in the age of AI.