On the Motives for Proof Theory
type: Item
instance of: scholarly article
title: On the Motives for Proof Theory
zbMATH Open document ID: 1429.03002
DOI: 10.1007/978-3-319-11041-7_5
published in: Dag Prawitz on Proofs and Meaning
publication date: 2020-02-04T00:00:00Z
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 7162483
zbMATH Keywords: Hilbert
zbMATH Keywords: Frege
zbMATH Keywords: Bernays
zbMATH Keywords: proof theory
zbMATH Keywords: consistency
zbMATH Keywords: model construction
zbMATH Keywords: direct approach to consistency
zbMATH Keywords: finitary viewpoint
zbMATH Keywords: conceptual freedom
zbMATH Keywords: abstract axiomatic method
zbMATH Keywords: formal axiomatization
zbMATH Keywords: contentual axiomatization
zbMATH Keywords: Frege's futility argument
zbMATH Keywords: rigor
author: Michael Detlefsen
MaRDI profile type: Publication
full work available at URL: 978-3-319-11041-7 5
OpenAlex ID: W190904960
cites work: Q4036272
cites work: Q4674788
cites work: Q4893763
cites work: Q4040321
cites work: Q4108283
cites work: Q3967509
cites work: Q5573940
cites work: Grundlagen der Mathematik I
cites work: Q4388951
description: scientific article; zbMATH DE number 7162483