Anti-Platonic Logic and Mathematics

摘要

In this paper, I sow that we can absolutely eliminate notions of apriority (axioms, theorems) in symbolic logic and mathematics and build up formal theories using only notions of aposteriority. The new kind of logic and mathematics is said to be anti-Platonic. Both satisfy basic presuppositions of unconventional computing.