scientific article; zbMATH DE number 1254478

MaRDI QIDQ4227546zbMATH OpenFDO

Authors Paul Benacerraf

Publication date 18 October 1999

zbMATH Keywords

Gödel's incompleteness theoremsLöwenheim-Skolem theoremsmetamathematical results and philosophyphilosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• On philosophical meaning of metamathematical limitation theorems
• After Godel: Mechanism, Reason, and Realism in the Philosophy of Mathematics
• Use and Misuse of G^|^ouml;del's Theorem
• Gödel's incompleteness theorems and computer science

Cited in

(7)

• The philosophical significance of Cox's theorem
• On philosophical meaning of metamathematical limitation theorems
• Digraph parameters and finite set arithmetic
• Are mathematical theories reducible to non-analytic foundations?
• What the Applicability of Mathematics Says About Its Philosophy
• The Story About Propositions
• What numbers really cannot be and what they plausibly are

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227546)