Systems of Logic Based on Ordinals †

1939/01/01 by A. M. Turing, Alan Turing · 7 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic

paper · doi:10.1112/plms/s2-45.1.161

Cited by

• The influence of domain interpretations on computational models
• Artificial Intelligence and Inherent Mathematical Difficulty
• Practical Intractability: A Critique of the Hypercomputation Movement
• Notions of computability at higher types I
• Provability Logic
• Alan Turing [wikipedia]
• Mathematical logic [wikipedia]