The justification of set theory: between metaphysics and formal axiomatics
type: Item
instance of: scholarly article
zbMATH Open document ID: 1280.01006
author: José Ferreirós
publication date: 2013-09-16T00:00:00Z
Mathematics Subject Classification ID: 01A55
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03-03
zbMATH DE Number: 6208359
zbMATH Keywords: set theory
zbMATH Keywords: axiomatics
zbMATH Keywords: formal theories
zbMATH Keywords: Gödel's incompleteness theorem
MaRDI profile type: Publication
title: The justification of set theory: between metaphysics and formal axiomatics
review text: Justification means the act of showing a thing to be just, i.e. based on reasonable grounds, or right. The paper under review is a detailed presentation of the author's philosophical and historical understanding of processes that happened in set theory from its very origin. As for justifications, they are classified in metaphysical (Cantor), logical (Dedekind), metamathematical and formal (Hilbert), and axiomatical (Zermelo). Kurt Gödel's incompleteness theorem completes this classical period.NEWLINENEWLINEFor the entire collection see [Zbl 1236.03004].
reviewed by: V. N. Saliĭ
description: scientific article; zbMATH DE number 6208359