Publication:4830809
From MaRDI portal
zbMath1099.03002MaRDI QIDQ4830809
No author found.
Publication date: 16 December 2004
03D35: Undecidability and degrees of sets of sentences
03-03: History of mathematical logic and foundations
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03D20: Recursive functions and relations, subrecursive hierarchies
03D10: Turing machines and related notions
Related Items
Introduction to Type Theory, Computer supported mathematics with \(\Omega\)MEGA, Turing oracle machines, online computing, and three displacements in computability theory, What is a universal computing machine?, Operating system verification---an overview, History and basic features of the critical-pair/completion procedure, Incompleteness theorems for random reals, On arithmetical first-order theories allowing encoding and decoding of lists, Tag systems and Collatz-like functions, Closing the Circle: An Analysis of Emil Post's Early Work, The theory of recursive functions, approaching its centennial