scientific article; zbMATH DE number 481375
zbMATH Open0796.03003MaRDI QIDQ4274292FDOQ4274292
Authors: Raymond M. Smullyan 
Publication date: 14 December 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 664031
- scientific article; zbMATH DE number 4006256
- scientific article; zbMATH DE number 49449
- scientific article; zbMATH DE number 12906
- Gödel's incompleteness theorems
- An Introduction to Gödel's Theorems
- Proofs and computations
- A direct proof of Gödel's incompleteness theorems
- scientific article; zbMATH DE number 53543
productivityreducibilityrecursion theoryindexingrecursion theoremsrecursivityrecursive enumerabilityrecursive inseparabilityeffective inseparabilityuniversal systemscreative systemsdouble generativitygenerative setsmetamathematics of incompleteness and undecidabilityPutnam-Smullyan TheoremShepherdson Theoremuniform Gödelization
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Undecidability and degrees of sets of sentences (03D35) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)
Cited In (12)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
- Secretive interaction. Players and strategies
- Roots and (re)sources of value (in)definiteness \textit{versus} contextuality
- Title not available (Why is that?)
- On fuzzification of Tarski's fixed point theorem without transitivity
- Immune Systems in Computer Virology
- Pour-El's landscape
- There are no minimal effectively inseparable theories
- Higher recursion theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4274292)
