A term of length 4 523 659 424 929
From MaRDI portal
Publication:1868160
DOI10.1023/A:1020827725055zbMath1016.03005MaRDI QIDQ1868160
Publication date: 27 April 2003
Published in: Synthese (Search for Journal in Brave)
00A30: Philosophy of mathematics
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Computational logic: its origins and applications, A formalised theorem in the partition calculus, The role of syntactic representations in set theory, Radical anti-realism, Wittgenstein and the length of proofs, Mathias and set theory