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, On the complex behavior of simple tag systems -- an experimental approach, Asymptotic granularity reduction and its application, Computer supported mathematics with \(\Omega\)MEGA, The diagonalization method in quantum recursion theory, 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