Systems of Logic Based on Ordinals†

DOI10.1112/PLMS/S2-45.1.161MaRDI QIDQ5773619zbMATH OpenOpenAlexDBLPWikidataFDO

Authors A. M. Turing

Publication date 1939

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/21.11116/0000-0001-91CE-3

zbMATH Keywords

Foundations, philosophy, logic

Cited in

(77)

• Coinduction for exact real number computation
• The influence of domain interpretations on computational models
• Emergence as a computability-theoretic phenomenon
• How to build a hypercomputer
• Interactive foundations of computing
• Significato e verita nell'aritmetica peaniana
• Independent axiomatizability of sets of sentences
• On bimodal logics of provability
• Toward a theory of intelligence
• Super-tasks, accelerating Turing machines and uncomputability
• The modal argument for hypercomputing minds
• Hypercomputation: Philosophical issues
• Axiomatizing provable \(n\)-provability
• Mechanism, truth, and Penrose's new argument
• Provability algebras and proof-theoretic ordinals. I
• Iterated local reflection versus iterated consistency
• On approximations for functions in the space of uniformly convergent Fourier series
• Is there any real substance to the claims for a ``new computationalism?
• The origins of the halting problem
• Turing: the great unknown
• Semantics of quantum programming languages: Classical control, quantum control
• The scope of Gödel's first incompleteness theorem
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Investigations on the approximability and computability of the Hilbert transform with applications
• The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
• Physical constraints on hypercomputation
• The case for hypercomputation
• Definability as hypercomputational effect
• Computational power of infinite quantum parallelism
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• A splitting theorem for n-REA degrees
• Mathematics, Metaphysics and the Multiverse
• Formalism and intuition in computability
• Mass problems and density
• Reactive Turing machines
• Multi-resolution cellular automata for real computation
• Hierarchies of number-theoretic predicates
• The possibility of analysis: convergence and proofs of convergence
• Fair play for machines
• A fortuitous year with Leon Henkin
• Approaching simple and powerful service-computing¹
• How We Think of Computing Today
• Computation as an unbounded process
• Intuitionism and the liar paradox
• Why Turing’s Thesis Is Not a Thesis
• Incomputability emergent, and higher type computation
• A personal account of Turing's imprint on the development of computer science
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Current research on Gödel's incompleteness theorems
• Fine-grained I/O complexity via reductions: new lower bounds, faster algorithms, and a time hierarchy
• Three topological reducibilities for discontinuous functions
• Turing-Taylor expansions for arithmetic theories
• The machine as data: a computational view of emergence and definability
• Feferman and the Truth
• AXIOMATIZATION OF PROVABLE n-PROVABILITY
• Reflection calculus and conservativity spectra
• Accelerating machines: a review
• The Church-Turing Thesis over Arbitrary Domains
• Recursive Predicates and Quantifiers
• Inductive logic programming
• Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive -rule
• An open formalism against incompleteness
• On some algebraic ways to calculate zeros of the Riemann zeta function
• Did Turing stand on Gödel's shoulders?
• Extending and interpreting Post's programme
• Complexity barriers as independence
• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• The Turing o-machine and the DIME network architecture: injecting the architectural resiliency into distributed computing
• Feferman's completeness theorem
• Hydrodynamic and symbolic models of computation with advice
• Automatic structures and the problem of natural well-orderings
• Constructive dimension and Turing degrees
• Ordinal arithmetic: Algorithms and mechanization
• Intervals containing exactly one c.e. degree
• Informal versus formal mathematics
• On mind \& Turing's machines
• Superefficiency from the vantage point of computability

This page was built for publication: Systems of Logic Based on Ordinals^†

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5773619)