scientific article; zbMATH DE number 1103298
Church's Thesiscomputabilitydescriptive completenessdifferent interpretation of Gödel's incompleteness theoremfoundations and philosophy of logic and mathematicsgame-theoretical characterization of truthincomplete informationindependence-friendly first-order logicparallel processingsemantic gamesemantic incompleteness
Philosophy of mathematics (00A30) Collections of articles of general interest (00B10) Collections of reprinted articles (00B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)
- Hypercomputation: Philosophical issues
- Is Hintikka's logic first-order?
- On TAE machines and their computational power
- To Peirce Hintikka's thoughts
- How to Lewis a Kripke-Hintikka
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts
- Hintikka's ``The principles of mathematics revisited
- On Ramsey's `silly delusion' regarding Tractatus 5.53
- Short overview of the development of Hintikka's work in logic
- What is the true algebra of first-order logic?
- Computation as an unbounded process
- scientific article; zbMATH DE number 1078592 (Why is no real title available?)
- scientific article; zbMATH DE number 1082912 (Why is no real title available?)
- Hyperclassical Logic (A.K.A. IF Logic) and Its Implications for Logical Theory
- Logic, Language, and Mathematics
- Gödel, Tarski and the lure of natural language. Logical entanglement, formalism freeness
- IF logic and linguistic theory
- Truth, negation and other basic notions of logic
- Post-Tarskian truth
- Independence-friendly logic and axiomatic set theory
- What are extremal axioms?
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 Q4369834)
