A formal metatheory in which Goedel's first but not his second incompleteness theorem can be proved
Gespeichert in:
| Titel: | A formal metatheory in which Goedel's first but not his second incompleteness theorem can be proved |
|---|---|
| Autoren: | Bunder, M. W. |
| Schlagwörter: | Decidability of theories and sets of sentences, metatheory, formal systems, Automata and formal grammars in connection with logical questions, Abstract and axiomatic computability and recursion theory, Goedels incompleteness theorems |
| Publikationsart: | Article |
| Dateibeschreibung: | application/xml |
| Zugangs-URL: | https://zbmath.org/3801507 |
| Dokumentencode: | edsair.c2b0b933574d..4fe9e77ee59eb8cff90bb98a53a5662d |
| Datenbank: | OpenAIRE |
Nájsť tento článok vo Web of Science | Keine Beschreibung verfügbar. |