Publication:4381408
From MaRDI portal
zbMath0907.03019MaRDI QIDQ4381408
Publication date: 10 February 1999
undecidability; automorphisms; definability; information content; uncomputability; material universe
03A05: Philosophical and critical aspects of logic and foundations
03D35: Undecidability and degrees of sets of sentences
03D80: Applications of computability and recursion theory
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
03D10: Turing machines and related notions
Related Items