What does logic have to tell us about mathematical proofs?
type: Item
instance of: scholarly article
title: What does logic have to tell us about mathematical proofs?
zbMATH Open document ID: 0426.03011
DOI: 10.1007/BF03024381
author: Solomon Feferman
published in: The Mathematical Intelligencer
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3663079
zbMATH Keywords: Hilbert's program
zbMATH Keywords: expository paper
zbMATH Keywords: formal system
zbMATH Keywords: proof theory
describes a project that uses: Automath
MaRDI profile type: Publication
cites work: Diophantine Problems Over Local Fields I
cites work: An introduction to recursively saturated and resplendent models
cites work: Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
cites work: Q5573965
cites work: Decision procedures for real and p‐adic fields
cites work: Q5610115
cites work: Q4128540
cites work: Set theoretic foundations for constructive analysis
cites work: Mathematical significance of consistency proofs
cites work: Q4160889
cites work: Constructive set theory
cites work: Q5559220
cites work: Q5632554
cites work: Theory of Formal Systems. (AM-47)
cites work: Colouring problems
full work available at URL: https://doi.org/10.1007/bf03024381
OpenAlex ID: W2329026857
description: scientific article; zbMATH DE number 3663079