scientific article; zbMATH DE number 1103298

zbMath0894.03001MaRDI QIDQ4369834

Jaakko Hintikka

Publication date: 13 January 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallel processingincomplete informationcomputabilityChurch's Thesissemantic gameindependence-friendly first-order logicsemantic incompletenessdescriptive completenessdifferent interpretation of Gödel's incompleteness theoremfoundations and philosophy of logic and mathematicsgame-theoretical characterization of truth

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collections of articles of general interest (00B10) Collections of reprinted articles (00B60)

Related Items (6)

Independence-friendly logic and axiomatic set theory ⋮ Computation as an unbounded process ⋮ Hypercomputation: Philosophical issues ⋮ Short Overview of the Development of Hintikka’s Work in Logic ⋮ On TAE machines and their computational power ⋮ To Peirce Hintikka's thoughts

This page was built for publication: