Frege and Hilbert on the Nature of Metatheoretical Proofs

동서철학연구(Dong Seo Cheol Hak Yeon Gu; Studies in Philosophy East-West) 86:377-404 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.15841/kspew..86.201712.377

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Frege's new science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
Frege and Hilbert on the foundations of geometry (1994 talk).Susan G. Sterrett - unknown
Frege, hilbert, and the conceptual structure of model theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
Einstein Equations and Hilbert Action: What is missing on page 8 of the proofs for Hilbert's First Communication on the Foundations of Physics?Tilman Sauer - 2005 - Archive for History of Exact Sciences 59 (6):577-590.
Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Teaching & learning guide for: Frege on definitions.Sanford Shieh - 2009 - Philosophy Compass 4 (5):885-888.
Hilbertian Structuralism and the Frege-Hilbert Controversy†.Fiona T. Doherty - 2019 - Philosophia Mathematica 27 (3):335-361.
Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
Matrix identities and the pigeonhole principle.Michael Soltys & Alasdair Urquhart - 2004 - Archive for Mathematical Logic 43 (3):351-357.

Analytics

Added to PP
2023-01-17

Downloads
6 (#1,463,186)

6 months
6 (#524,433)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Junyong Park
Chungnam National University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references