Results

**1 - 6**of**6**### 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