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.
Keywords: Cellular automata, unconventional computing, analytic a posteriori, cyclic proofs.