Remarks on two papers of Paul Bernays

DOI10.1515/9783110657883-017zbMATH Open1465.03033OpenAlexW4253923162MaRDI QIDQ5115867FDOQ5115867

Authors: Charles Parsons 

Publication date: 21 August 2020

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

Full work available at URL: https://doi.org/10.1515/9783110657883-017

Recommendations

• Philosophy of mathematics in the twentieth century. Selected essays.
• Paul Bernays' later philosophy of mathematics
• Gödel's unpublished papers on foundations of mathematics
• scientific article; zbMATH DE number 3873291
• Methodological frames: Paul Bernays, mathematical structuralism, and proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Cited In (6)

• Paul Bernays. A key figure in logic and foundations of mathematics
• Paul Bernays' later philosophy of mathematics
• Philosophy of mathematics in the twentieth century. Selected essays.
• Paul Bernays and the eve of non-standard models in logic
• Title not available (Why is that?)
• Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays' ``Grundlagen der Mathematik

This page was built for publication: Remarks on two papers of Paul Bernays

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