infinite georg cantor source many challenging important issues mathematical logic cantor 's theorem status axiom choice question independence continuum hypothesis modern debate large cardinal axioms recursion theory captures idea computation logical arithmetic terms classical achievements undecidability entscheidungsproblem alan turing presentation church turing thesis ref name theory computation formal languages automata complexity today recursion theory mostly concerned
Humanities Philosophy Logic