Results 1 
7 of
7
Brief introduction to unprovability
"... Abstract The article starts with a brief survey of Unprovability Theory as of autumn 2006. Then, as an illustration of the subject's modeltheoretic methods, we reprove exact versions of unprovability results for the ParisHarrington Principle and the KanamoriMcAloon Principle using indiscernibles. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract The article starts with a brief survey of Unprovability Theory as of autumn 2006. Then, as an illustration of the subject's modeltheoretic methods, we reprove exact versions of unprovability results for the ParisHarrington Principle and the KanamoriMcAloon Principle using indiscernibles. In addition, we obtain a short accessible proof of unprovability of the ParisHarrington Principle. The proof employs old ideas but uses only one colouring and directly extracts the set of indiscernibles from its homogeneous set. We also present modified, abridged statements whose unprovability proofs are especially simple. These proofs were tailored for teaching purposes. The article is intended to be accessible to the widest possible audience of mathematicians, philosophers and computer scientists as a brief survey of the subject, a guide through the literature in the field, an introduction to its modeltheoretic techniques and, finally, a modeltheoretic proof of a modern theorem in the subject. However, some understanding of logic is assumed on the part of the readers. The intended audience of this paper consists of logicians, logicaware mathematicians andthinkers of other backgrounds who are interested in unprovable mathematical statements.
My Fourty Years on His Shoulders
, 2008
"... Gödel's legacy is still very much in evidence. His legacy is overwhelmingly decisive, particularly in the arena of general mathematical and philosophical inquiry. The extent of Gödel's impact in the more restricted domain of mathematical practice is more open to question. In fact, there is an in de ..."
Abstract
 Add to MetaCart
Gödel's legacy is still very much in evidence. His legacy is overwhelmingly decisive, particularly in the arena of general mathematical and philosophical inquiry. The extent of Gödel's impact in the more restricted domain of mathematical practice is more open to question. In fact, there is an in depth assessment of this impact in Macintyre 2009. But even in this comparatively specialized domain, Gödel's impact is seen to be substantial. As indicated here, particularly in section 12, we believe that the potential impact of Gödel's work 2 on mathematical practice is also overwhelming. However, the full realization of this potential impact will have to wait for some new breakthroughs. We have every confidence that these breakthroughs will materialize. Generally speaking, current mathematical practice has now become very far removed from general mathematical and philosophical inquiry, where Gödel's legacy is most decisively overwhelming. However, there are some signs that some of our most distinguished mathematicians recognize the need for some sort of reconciliation. Here is a quote from Atiyah M. 2008b: "Mathematicians took the role of philosophers, but I want to bring the philosophers back in. I hope someday we will be able to explain mathematics in a philosophical way using philosophical methods". We will not attempt to properly discuss the full impact of Gödel's work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many points of view, including, for example, (Wang 1987, 1996), (Dawson 2005), and the historically comprehensive five volume set (Gödel
1. General Remarks. 2. The Completeness Theorem. 3. The First Incompleteness Theorem. 4. The Second Incompleteness Theorem.
, 2006
"... several historical points. 1. GENERAL REMARKS Gödel's legacy is still very much in evidence. His legacy is overwhelmingly decisive, particularly in the arena of general mathematical and2 philosophical inquiry. The extent of Gödel's impact in the more restricted domain of mathematical practice is mor ..."
Abstract
 Add to MetaCart
several historical points. 1. GENERAL REMARKS Gödel's legacy is still very much in evidence. His legacy is overwhelmingly decisive, particularly in the arena of general mathematical and2 philosophical inquiry. The extent of Gödel's impact in the more restricted domain of mathematical practice is more open to question. In fact, there is an in depth assessment of this impact in Macintyre 2009. But even in this comparatively specialized domain, Gödel's impact is seen to be substantial. As indicated here, particularly in section 12, we believe that the potential impact of Gödel's work on mathematical practice is also overwhelming. However, the full realization of this potential impact will have to wait for some new breakthroughs. We have every confidence that these breakthroughs will materialize. Generally speaking, current mathematical practice has now become very far removed from general mathematical and philosophical inquiry, where Gödel's legacy is most decisively overwhelming. However, there are some signs that some of our most distinguished mathematicians recognize the need for some sort of reconciliation. Here is a quote from Atiyah M. 2008b: "Mathematicians took the role of philosophers, but I want to bring the philosophers back in. I hope someday we will be able to explain mathematics in a philosophical way using philosophical methods".3 We will not attempt to properly discuss the full impact of Gödel's work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many points of view, including, for example, (Wang 1987, 1996), (Dawson 2005), and the historically comprehensive five volume set (Gödel
4. The Second Incompleteness Theorem. 5. Lengths of Proofs.
, 2007
"... Gödel's legacy is still very much in evidence. We will not attempt to properly discuss the full impact of his work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many p ..."
Abstract
 Add to MetaCart
Gödel's legacy is still very much in evidence. We will not attempt to properly discuss the full impact of his work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many points of view, including, for example, [Wa87], [Wa96], [Da05], and the historically comprehensive five volume set [Go,8603]. In sections 27 we briefly discuss some research projects that are suggested by some of his most famous contributions. In sections 811 we discuss some highlights of a main recurrent theme in our own research, which amounts to an expansion of the Gödel incompleteness phenomenon in a critical direction.