scientific article
From MaRDI portal
Publication:3977628
zbMath0749.03002MaRDI QIDQ3977628
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmic information theoryGödel's incompleteness theoremsproof lengthprovability interpretation of modal logic
History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Gödel numberings and issues of incompleteness (03F40)
This page was built for publication:
