Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Gödel's theorem without tears -- essential incompleteness in synthetic computability - MaRDI portal

Gödel's theorem without tears -- essential incompleteness in synthetic computability

From MaRDI portal

Publication:6610633

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2023.30MaRDI QIDQ6610633

Benjamin Peters, Dominik Kirst

Publication date: 25 September 2024

zbMATH Keywords

undecidability incompleteness synthetic computability theory

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

An analysis of Tennenbaum's theorem in constructive type theory

This page was built for publication: Gödel's theorem without tears -- essential incompleteness in synthetic computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610633)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6610633&oldid=40164310"