The varieties of arboreal experience
From MaRDI portal
Publication:1055407
DOI10.1007/BF03023553zbMath0521.03041OpenAlexW3021845913WikidataQ64386244 ScholiaQ64386244MaRDI QIDQ1055407
Publication date: 1982
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03023553
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)
Related Items (12)
A constructive consistency proof of a fragment of set theory ⋮ Proving open properties by induction ⋮ Inductive full satisfaction classes ⋮ Computer programs and mathematical proofs ⋮ Modal functions for concise definition of state machines and products ⋮ Too naturalist and not naturalist enough: Reply to Horsten ⋮ The scope of Gödel's first incompleteness theorem ⋮ Long finite sequences ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Unnamed Item ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems ⋮ On the desirability of mechanizing calculational proofs
Cites Work
This page was built for publication: The varieties of arboreal experience