• Log In

The Partially Examined Life Philosophy Podcast

A Philosophy Podcast and Philosophy Blog

Subscribe on Android Spotify Google Podcasts audible patreon
  • Home
  • Podcast
    • PEL Network Episodes
    • Publicly Available PEL Episodes
    • Paywalled and Ad-Free Episodes
    • PEL Episodes by Topic
    • Nightcap
    • Philosophy vs. Improv
    • Pretty Much Pop
    • Nakedly Examined Music
    • (sub)Text
    • Phi Fic Podcast
    • Combat & Classics
    • Constellary Tales
  • Blog
  • About
    • PEL FAQ
    • Meet PEL
    • About Pretty Much Pop
    • Philosophy vs. Improv
    • Nakedly Examined Music
    • Meet Phi Fic
    • Listener Feedback
    • Links
  • Join
    • Become a Citizen
    • Join Our Mailing List
    • Log In
  • Donate
  • Store
    • Episodes
    • Swag
    • Everything Else
    • Cart
    • Checkout
    • My Account
  • Contact
  • Mailing List

Topic for #95: Godel on Math

June 7, 2014 by Mark Linsenmayer 7 Comments

Listen to guest Adi Habbu lay out Gödel's incompleteness theorems and introduce the readings.

Kurt Gödel is of course best known as a mathematician, and some of the mechanics involved with the proof of his first incompleteness theorem had a direct influence on Alan Turing's development of modern computing. But what does this have to do with philosophy?

Well, most directly, Gödel's work contributed to an ongoing philosophical dialogue about the foundations of mathematics, which you can learn about from our episodes on Bertrand Russell at (though in this latter case math was less of our focus than logic and language) Gottlob Frege. These folks wanted to ground mathematics as certain knowledge by creating formal systems that could use a few simple, intuitively obvious axioms to ground all mathematical truths. Gödel showed that this wasn't really possible: that you could certainly construct such systems and try to find proofs for any given mathematically interesting statement in the language (e.g. one tricky one is Goldbach's conjecture, i.e. the claim that every even integer greater than 2 is the sum of two primes), you can't actually come up with an overall proof for a given formal system that every true statement in the system will be provable.

To get a little more formal here, here are Gödel's two incompleteness theorems (as presented by the Stanford Encyclopedia of Philosophy):

1. Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F.

2. For any consistent system F within which a certain amount of elementary arithmetic can be carried out, the consistency of F cannot be proved in F itself.

Now, these theorems do not apply to all formal systems: the system of first-order logic is provably complete, i.e. you can construct a proof in first-order logic for the completeness of the system, i.e. you can show that every true statement in first-order logic can be generated from application of some sequence of transformation rules from the basic axioms of the system.

More importantly for philosophers trying to derive something more generally applicable from the theorems, they only apply to formal, axiomatic systems. Not to "science" as a whole, not to "religion," not to any list of psychological or social principles, not to the precepts of your favorite philosopher. None of those are axiomatic systems, so you can't use Gödel to ground a general philosophical claim that "there are some things that Man can never prove" or "there are some things that we just know to be true that we can never prove." In fact, even in math, if you find a claim in an axiomatic system that you know to be true but which you don't have the resources in that system to prove, then you can always change the list of axioms: hell, just add that very claim as a new axiom (so it follows trivially in a one-step proof from the axioms of the new system), or in practice, this involves moving to a higher level of mathematics, e.g. by introducing things like set theory or Cantor's infinities.

So what are the philosophical implications of Gödel's work, according to Gödel, who was very familiar not only with his immediate predecessors in the philosophy of mathematics, but with folks like Kant and Husserl?

In the 1951 "Gibbs Lecture," developed as an essay (unpublished) called "Some Basic Theorems on the Foundations of Mathematics and their Implications" (which you can read here along with a lengthy, helpful introduction by George Boolos), Gödel first describes what the implications of his findings are for the axiomatization project:

It makes it impossible that someone should set up a certain well-defined system of axioms and rules and consistently make the following assertion about it: "All of these axiomas and rules I perceive (with mathematical certitude) to be correct, and moreover I believe that they contain all of mathematics." If someone makes such a statement he contradicts himself. For if he perceives the axioms under consisideration to be correct, eh also perceives (with the same certainty) that they are consistent. Hence he has a mathematical insight not derivable form his axioms.

He distinguishes between "objective mathematics," i.e. mathematical statements that are true, and "subjective mathematics," i.e. statements that you can construct a proof for (and so can be proven to our subjective minds):

Evidently no well-defined system of correct axioms can comprise all of objective mathematics, since the proposition which states the consistency of the system is true, but not demonstrable in the system.

This is a statement of the second incompleteness theorem: If a system is consistent, there is no proof available in that system of its consistency. (Note that if a system isn't consistent, i.e. if some of its axioms contradict, then you can construct a proof of the consistency of the system, or of anything else, including that grass is blue and ice cream is God, because logically, anything follows from a contradiction.)

So if we know a system is consistent, then we know it without a proof. According to Turing, the mind is a machine that generates its knowledge through something going on under the surface that is much like the process of mathematical proof, so on this conception, we just couldn't know anything that we couldn't get through this kind of proof. The ultimate conclusion of Gödel's paper is a disjunction:

Either mathematics is incompletable..., that its evident axioms can never be comprised in a finite rule, that is to say, the human mind (even within the realm of pure mathematics) inifinitely surpasses the powers of any finite machine, or there exist absolutely unsolvable [mathematical problems].

He spends the rest of the paper discussing these two possibilities. Folks like Roger Penrose run with the first option here: we are not Turing machines, our minds are not computers in any sense.

Gödel's position in the paper is less than clear. Though he seems to disagree with Turing, most of the rest of the paper makes it sound like he affirms the latter option: mathematics is objective; it exceeds our grasp, as evidenced by the fact that there are mathematical truths that exceed our capacity to prove them (i.e. that "are not subjective," according to his weird definition of this term described above). This means that Gödel is a mathematical realist, math is not something we invented, but more or less something we discovered. Even though of course the symbols we use are our invention, once you lay out the system, you find it has all sorts of implications that you couldn't predict (i.e. that you can't prove in the system). The rest of the essay presents arguments against nominalism (the view that mathematical entities are just fictions in some sense).

We also read a less developed, more philosophical unpublished essay from 1961 called "The Modern Development of the Foundations of Mathematics in Light of Philosophy" (read it here with an introduction with helpful background from Dagfinn Føllesdal) that more directly takes on the mathematical realism vs. nominalism debate: there are "rightward" strains in philosophy like rationalism (in the sense of Plato, Descartes, and Leibniz) and theology, and "leftward" strains like empiricism. Despite the historical precedence of the leftward with the rise of science, he describes projects (like Mill's) that try to derive mathematical truths from experience to have been largely unpersuasive. Gödel sees the best option as a middle way between the two directions, and ends up recommending Husserl's phenomenology as a good option for exploring what this kind of intuition consists in, though he doesn't give us much detail in the paper about what advantages he thinks this will bring us.

You can buy Gödel's Collected Works, Vol. 3: Unpublished Essays and Lectures or read the two essays (with their introductions) online here and here.

For some additional information about what the incompleteness theorems do and don't imply, tryGödel's Theorem: An Incomplete Guide to Its Use and Abuse.

Facebooktwitterredditpinterestlinkedinmailby feather

Filed Under: General Announcements Tagged With: Kurt Gödel, mathematical realism, philosophy of mathematics, philosophy podcast

Comments

  1. K says

    June 7, 2014 at 2:02 pm

    Torkel Franzens book from what i remember is truly excellent and it’s a shame i can’t quote from it directly since i don’t own it, but i think i remember him hammering away at arguments using the incompletness theorems trying to prove that the human mind exceeds a turing machine and whatnot.

    Fortunatly Solomon Feferman (http://math.stanford.edu/~feferman/papers/penrose.pdf) have published some of his papers on the web so I can quote from them instead, here’s Feferman quoting Boolos from the very text you link to in your text:

    “Penrose reports in sec. 3.1 on what Gödel took the significance of his
    incompleteness theorems to be, via a quotation which had circulated some
    time back from Gödel’s unpublished Gibbs lecture of 1951. That piece is now
    available in full as *1951 in Gödel (1995), with an illuminating introductory
    note by George Boolos. More cautious than Penrose, Gödel there comes
    to the conclusion that “either…the human mind (even within the realm of
    pure mathematics) infinitely surpasses the powers of any finite machine, or
    else there exist absolutely unsolvable diophantine problems.” (op.cit., p. 310).
    Boolos’ discussion of this is tonic: “There is a gap between the proposition
    that no finite machine meeting certain weak conditions can print a certain
    formal sentence (which will depend on the machine) and the statement that
    if the human mind is a finite machine, there exist truths that cannot be
    established by any proof the human mind can conceive. …it is certainly not
    obvious what it means to say that the human mind, or even the mind of
    some one human being is a finite machine, e.g. a Turing machine. And to
    say that the mind (at least in its theorem-proving aspect), or a mind, may
    be represented by a Turing machine is to leave entirely open just how it is
    so represented.” (Boolos (1995) p. 293). The same applies mutatis mutandis
    to Penrose’s Gödelian argument, and with that, enough said for now.”

    Reply
  2. phil says

    June 9, 2014 at 9:01 am

    Thanks for the good summary Mark; really looking forward to this podcast, should be very intriguing.

    Reply
  3. Shane Hillyer says

    May 1, 2017 at 4:17 pm

    isn’t the clear point that any language that is rich enough have a method for self reference will always be incomplete or inconsistent.

    so what does it mean for a language to be incomplete or inconsistent? maybe nothing other than the language is not exact enough to be able to handle disambiguation between orders of statements.

    Reply

Trackbacks

  1. Precognition of Ep. 95: Gödel on Math | The Partially Examined Life Philosophy Podcast | A Philosophy Podcast and Blog says:
    June 7, 2014 at 10:44 am

    […] Read about the topic. […]

    Reply
  2. PEL Ep 95: Godel on Math | The Partially Examined Life Philosophy Podcast | A Philosophy Podcast and Blog says:
    June 16, 2014 at 12:52 am

    […] Listen to Adi’s introduction, read more about the topic, and get the essays. […]

    Reply
  3. Good Guy Gödel | i have no teeth says:
    October 23, 2014 at 2:54 am

    […] Here’s a cool podcast about him, and here’s a post about his theorems. […]

    Reply
  4. Precognition of Ep. 95: Gödel | The Partially Examined Life Philosophy Podcast | A Philosophy Podcast and Blog says:
    May 1, 2017 at 11:16 am

    […] Read about the topic. Listen to the full episode. […]

    Reply

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

PEL Live Show 2023

Brothers K Live Show

Citizenship has its Benefits

Become a PEL Citizen
Become a PEL Citizen, and get access to all paywalled episodes, early and ad-free, including exclusive Part 2's for episodes starting September 2020; our after-show Nightcap, where the guys respond to listener email and chat more causally; a community of fellow learners, and more.

Rate and Review

Nightcap

Listen to Nightcap
On Nightcap, listen to the guys respond to listener email and chat more casually about their lives, the making of the show, current events and politics, and anything else that happens to come up.

Subscribe to Email Updates

Select list(s):

Check your inbox or spam folder to confirm your subscription.

Support PEL

Buy stuff through Amazon and send a few shekels our way at no extra cost to you.

Tweets by PartiallyExLife

Recent Comments

  • Larry Young on Ep. 310: Wittgenstein On World-Pictures (Part One)
  • Wes Alwan on PEL Nightcap April 2022
  • Wes Alwan on Ep. 305: Cormac McCarthy’s “Blood Meridian” (Part Three for Supporters)
  • Wes Alwan on Ep. 305: Cormac McCarthy’s “Blood Meridian” (Part Three for Supporters)
  • Wes Alwan on Ep. 306: Dworkin and the Dobbs Decision (Part Three for Supporters)

About The Partially Examined Life

The Partially Examined Life is a philosophy podcast by some guys who were at one point set on doing philosophy for a living but then thought better of it. Each episode, we pick a text and chat about it with some balance between insight and flippancy. You don’t have to know any philosophy, or even to have read the text we’re talking about to (mostly) follow and (hopefully) enjoy the discussion

Become a PEL Citizen!

As a PEL Citizen, you’ll have access to a private social community of philosophers, thinkers, and other partial examiners where you can join or initiate discussion groups dedicated to particular readings, participate in lively forums, arrange online meet-ups for impromptu seminars, and more. PEL Citizens also have free access to podcast transcripts, guided readings, episode guides, PEL music, and other citizen-exclusive material. Click here to join.

Blog Post Categories

  • (sub)Text
  • Aftershow
  • Announcements
  • Audiobook
  • Book Excerpts
  • Citizen Content
  • Citizen Document
  • Citizen News
  • Close Reading
  • Combat and Classics
  • Constellary Tales
  • Exclude from Newsletter
  • Featured Ad-Free
  • Featured Article
  • General Announcements
  • Interview
  • Letter to the Editor
  • Misc. Philosophical Musings
  • Nakedly Examined Music Podcast
  • Nakedly Self-Examined Music
  • NEM Bonus
  • Not School Recording
  • Not School Report
  • Other (i.e. Lesser) Podcasts
  • PEL Music
  • PEL Nightcap
  • PEL's Notes
  • Personal Philosophies
  • Phi Fic Podcast
  • Philosophy vs. Improv
  • Podcast Episode (Citizen)
  • Podcast Episodes
  • Pretty Much Pop
  • Reviewage
  • Song Self-Exam
  • Supporter Exclusive
  • Things to Watch
  • Vintage Episode (Citizen)
  • Web Detritus

Follow:

Twitter | Facebook | Google+ | Apple Podcasts

Copyright © 2009 - 2023 · The Partially Examined Life, LLC. All rights reserved. Privacy Policy · Terms of Use · Copyright Policy

Copyright © 2023 · Magazine Pro Theme on Genesis Framework · WordPress · Log in