Completeness and the ends of axiomatization

zbMATH Open1358.03012MaRDI QIDQ3464646FDOQ3464646

Authors: Michael Detlefsen 

Publication date: 27 January 2016

Recommendations

• Completeness and categoricity: Frege, gödel and model theory
• Gödel
• Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
• Gödel, Leibniz and ``Russell's mathematical logic
• Interpreting Gödel. Critical essays

zbMATH Keywords

axiomatization\textit{Principia} projectcompleteness of the functional calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)

Cited In (7)

• Axiomatizing complete positivity
• Title not available (Why is that?)
• Einstein completeness as categoricity
• Nonessential extensions of complete theories
• The Discovery of My Completeness Proofs
• Conway's question: the chase for completeness
• Fast computation of vanilla prices in time-changed models and implied volatilities using rational approximations

This page was built for publication: Completeness and the ends of axiomatization

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