Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem

DOI10.1080/01445348408837063zbMATH Open0556.03002OpenAlexW2086235322WikidataQ58439308 ScholiaQ58439308MaRDI QIDQ3220546FDOQ3220546

Authors: Ivor Grattan-Guinness 

Publication date: 1984

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348408837063

Recommendations

• Gödel, Leibniz and ``Russell's mathematical logic
• scientific article; zbMATH DE number 799318
• scientific article; zbMATH DE number 5545384
• Gödel logics -- a survey
• On the history of discussions about intuitionist logic
• On Gödel's modal interpretation of the intuitionistic logic
• On the philosophy and mathematics of the logics of formal inconsistency
• On logic embeddings and Gödel's God
• Frege, Dedekind, and the origins of logicism

zbMATH Keywords

theory of typeshistory of the logicist program

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• On the Development of Logics Between the Two World Wars
• In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
• The Russell Archives: Some new light on Russell's logicism
• Discussion on the foundation of mathematics
• The Royal Society’s financial support of the publication of Whitehead and Russell’s Principia Mathematica
• A. N. Whitehead on his mathematical goals: a letter of 1912

Cited In (7)

• On Ramsey's reason to amend \textit{Principia mathematica}'s logicism and Wittgenstein's reaction
• Title not available (Why is that?)
• Leon Chwistek, The principles of the pure type theory (1922), translated by Adam Trybus with an introductory note by Bernard Linsky
• From Dedekind to Zermelo versus Peano to Gödel
• Title not available (Why is that?)
• Traditional logic and the early history of sets, 1854-1908
• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer

This page was built for publication: Notes on the fate of logicism fromprincipia mathematicato gödel's incompletability theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3220546)