On incompleteness in mathematics and the Paris-Harrington principle

MaRDI QIDQ6151283zbMATH OpenFDO

Authors Joel Torres del Valle, Maria Ofelia Vasquez-Avila

Publication date 9 February 2024

Full work available at URL https://revistas.unal.edu.co/index.php/bolma/article/view/89902/75934

zbMATH Keywords

finite Ramsey theoremParis-Harrington principleGödel incompleteness theoremsHilbert's formalist program

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40) Enumerative combinatorics (05Axx)

Recommendations

• scientific article; zbMATH DE number 3928990
• scientific article; zbMATH DE number 4059394
• On Gödel incompleteness and finite combinatorics
• scientific article; zbMATH DE number 3946114
• Brief introduction to unprovability

Cited in

(1)

• Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History

This page was built for publication: On incompleteness in mathematics and the Paris-Harrington principle

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