Quote image editor
“Gödel’s scheme has nothing to do with mathematics in and of itself. It concerns false approaches (i.e. non-ontological approaches) to the definition of what math is. The incompleteness theorems proved that such approaches are doomed to failure. Gödel didn’t prove a single thing about what math is. What he proved is what’s it’s not. He proved that it definitely isn’t manmade.” — Mike Hockney
Gödel’s scheme has nothing to do with mathematics in and of itself. It concerns false approaches (i.e. non-ontological approaches) to the definition of what math is. The incompleteness theorems proved that such approaches are doomed to failure. Gödel didn’t prove a single thing about what math is. What he proved is what’s it’s not. He proved that it definitely isn’t manmade.