On the Development of Logics Between the Two World Wars
From MaRDI portal
Publication:3927207
DOI10.2307/2321754zbMath0473.03004MaRDI QIDQ3927207
Publication date: 1981
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2321754
recursion; logicism; computability; formalism; intuitionism; Polish logic; first-order and finitary logics
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
Related Items
On the Warsaw interactions of logic and mathematics in the years 1919--1939, Sixty years after Gödel, The emancipation of mathematical research publishing in the United States from German dominance (1878-1945), Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem, Discussion on the foundation of mathematics