Year: 2024
Type: article
Abstract: This paper defends – by detailed performances of theory-building – Platonism and logicism regarding pure finite sets (and thereby also regarding natural numbers), and it teaches how not to overestimate the consequences of Gödel’s incompleteness theorem for set-theoretical and arithmetical proof-certified knowledge.
Source: OPUS (Augsburg University)
Author: Meixner, Uwe
Language: English
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7023566733
FWCI:
Cites:
Cited by:
Related to: