Formal Universes

Abstract. This essay addresses the concerns of the foundations of mathematics of the early 20th century which led to the creation of formally axiomatized universes. These are confronted with contemporary developments, particularly in computational logic and neuroscience. Our approach uses computational models of mental experiments with the infinite in set-theory and symbol-manipulation systems, in particular models of combinatory logic.

• Type: Journal
• Year: 2015
• Where: BIRTHDAY
• Authors: Erwin Engeler
• Keywords: Applied Computing, BIRTHDAY 2015