Formalism and Hilbert's understanding of consistency problems
type: Item
instance of: scholarly article
title: Formalism and Hilbert's understanding of consistency problems
zbMATH Open document ID: 1469.00011
published in: Archive for Mathematical Logic
publication date: 2021-07-21T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7373421
zbMATH Keywords: axiomatic method
zbMATH Keywords: Bernays
zbMATH Keywords: conceptions of consistency
zbMATH Keywords: model-construction approach to consistency
zbMATH Keywords: direct approach to consistency
zbMATH Keywords: formal reasoning
zbMATH Keywords: formalism
zbMATH Keywords: Brouwer
zbMATH Keywords: Dedekind
zbMATH Keywords: Frege
zbMATH Keywords: Heine
zbMATH Keywords: Hilbert
zbMATH Keywords: observational orientation towards consistency problems
zbMATH Keywords: proof
zbMATH Keywords: proof theory
zbMATH Keywords: rigor
zbMATH Keywords: Thomae
zbMATH Keywords: Weyl
author: Michael Detlefsen
MaRDI profile type: Publication
full work available at URL: s00153-021-00782-7
OpenAlex ID: W3173105602
cites work: Q3156943
cites work: Q3005437
cites work: Q5573028
cites work: Gentzen’s Anti-Formalist Views
cites work: Q5645388
cites work: Grundlagen der Mathematik I
cites work: Q4388951
cites work: Q3966102
cites work: Q4539488
cites work: Q5573940
cites work: David Hilbert and his mathematical work
DOI: 10.1007/S00153-021-00782-7
description: scientific article; zbMATH DE number 7373421