# Talking about Gödel's incompleteness theorems…

I will give a talk about Gödel's incompleteness theorems to a group of people consisting of undergraduates of mathematics, graduates of informatics and etc (they are not really familiar with the subject in question). I am an undergraduate student of mathematics myself.

Because of this occasion I read Gödel's Proof and briefly looked at Gödel's Incompleteness. I don't have time to read more books.

As of now I am planning to give a few very simple examples, formulate an elementary logic system which is both consistent and complete, show Gödelian puzzle, formulate a more complex axiomatic system to exploit Richard's paradox which would lead to ideas about Gödel numbering and finally theorems themselves.

If you were me, what else would you mention?

-
Make a yourself a list of the absolutely indispensable items for the talk, then throw away two-thirds, at least. –  André Nicolas Mar 18 '13 at 19:34
@AndréNicolas Thanks for this interesting notion. I have two A3 format pages of notes, so I don't think I can afford throwing away at the moment. I am formally allowed to talk for 60 minutes, so at least 30 minutes is a must. –  Pranasas Mar 18 '13 at 19:44
Given the time constraints, even a sketch of a proof would consume too much time, and would not be understood. –  André Nicolas Mar 18 '13 at 19:51

Warning: The following is a "soft" answer. It may not actually be helpful.

I'd mention less, actually. This is a mistake I've made -- trying to fit in as many ideas and examples into a talk as possible. That's often a bad idea, especially when giving a talk to undergraduates. Pick a few ideas you want to develop, even if you won't be able to get to the incompleteness theorems themselves. It will suffice to develop the historical background of the subject, talk about consistency and completeness in logical systems, or go right for the gusto and talk about Godel's incompleteness theorems, but without lingering too much on the technicalities of the proof. That way the audience walks out having learned something concrete rather than getting a whirlwind tour through a subject you spent weeks learning about.

I recommend you make your talk interactive and engage the audience. If you want to introduce Richard's paradox, for example, ask people to propose their own explanations before delving into the distinction between mathematics and meta-mathematics. I think it is mistake (not necessarily your mistake) to think that the speaker needs to always be talking when giving a "talk". This is especially the case for "philosophical" subjects like the incompleteness theorems.

-