Gaps between Logical Theory and Mathematical Practice

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Mathematical practice seems to presuppose what Church has called an underlying logic. Mathematical logic proceeds in strict analogy with mathematical physics where mathematical models of physical systems are constructed and studied. Mathematical logic constructs models of underlying logics. This paper focuses on mismatches between currently accepted models and the underlying logics.