TL;DR
This paper explores the potential future of mathematics where computers become creative entities, producing a new form of mathematics distinct from human-derived concepts, and discusses its philosophical implications.
Contribution
It introduces the concept of post-human mathematics, emphasizing the transformative role of creative computers in mathematical development and philosophy.
Findings
Computers may develop their own creative mathematical processes.
Post-human mathematics could differ fundamentally from human mathematics.
Philosophical implications include redefining mathematical creativity and understanding.
Abstract
Present day mathematics is a human construct, where computers are used more and more but do not play a creative role. This situation may change however: computers may become creative, and since they function very differently from the human brain they may produce a very different sort of mathematics. We discuss what this post-human mathematics may look like, and the philosophical consequences that this may entail.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Evolutionary Algorithms and Applications · Quantum Mechanics and Applications