The mathematical significance of proof theory
type: Item
instance of: scholarly article
title: The mathematical significance of proof theory
zbMATH Open document ID: 1152.03307
published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
publication date: 2009-01-20T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 00A35
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 5494551
zbMATH Keywords: proof
zbMATH Keywords: provability
zbMATH Keywords: mere truth
zbMATH Keywords: unwinding
zbMATH Keywords: fully formalized proof
author: Angus Macintyre
MaRDI profile type: MaRDI publication profile
full work available at URL: rsta.2005.1656
OpenAlex ID: W2162770039
Wikidata QID: Q51963616
cites work: Q4215639
cites work: Highly complex proofs and implications of such proofs
cites work: Diophantine Problems Over Local Fields I
cites work: Q4397069
cites work: Q4215630
cites work: Skolem and pessimism about proof in mathematics
cites work: La conjecture de Weil. II
cites work: Q4385479
cites work: Q3856819
cites work: Q4531986
cites work: Q4681899
cites work: On the Interpretation of Non-Finitist Proofs--Part I
cites work: On the interpretation of non-finitist proofs–Part II
cites work: Q4397035
cites work: Q5817994
cites work: Primitive Recursive Bounds for Van Der Waerden Numbers
cites work: Q5341750
cites work: A model of set-theory in which every set of reals is Lebesgue measurable
DOI: 10.1098/RSTA.2005.1656
description: scientific article; zbMATH DE number 5494551