The Truth of Proof: A Hegelian Perspective on Constructivism

DOI10.1007/978-3-030-21313-8_7zbMath1469.03019OpenAlexW2980876888MaRDI QIDQ3305649

Vojtěch Kolman

Publication date: 10 August 2020

Published in: Constructive Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21313-8_7

zbMATH Keywords

truthHilbertdiagonalizationBrouwerproofconstructivismintuitionLorenzenGödel theoremsHegelself-consciousness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Logicism as making arithmetic explicit
• Continuum, name and paradox
• Intuitionism. An introduction
• Patterns of change. Linguistic innovations in the development of classical mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Truth of Proof: A Hegelian Perspective on Constructivism