Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic

DOI10.4288/JAFPOS.16.1-2_1zbMath1159.03005OpenAlexW1918671223MaRDI QIDQ3542785

Publication date: 1 December 2008

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.16.1-2_1

zbMATH Keywords

intuitionistic logic Gödel intuitionism finitism Gentzen Heyting

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

This page was built for publication: Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic