David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
odel’s Theorems (CUP, heavily corrected fourth printing 2009: henceforth IGT ). Surely that’s more than enough to be going on with? Ah, but there’s the snag. It is more than enough. In the writing, as is the way with these things, the book grew far beyond the scope of the lecture notes from which it started. And while I hope the result is still pretty accessible to someone prepared to put in the time and effort, there is – to be frank – a lot more in the book than is really needed by philosophers meeting the incompleteness theorems for the first time, or indeed by mathematicians wanting a brisk introduction. You might reasonably want to get your heads around only those technical basics which are actually necessary for understanding how the theorems are proved and for appreciating philosophical discussions about incompleteness. So you need a cut-down version of the book – an introduction to the Introduction! Well, isn’t that what lectures are for? Indeed. But there’s another snag. I haven’t got many lectures to play with. So either (A) I crack on at a very fast pace (hard-core mathmo style), cover those basics, but perhaps leave too many people puzzled and alarmed. Or (B) I do relaxed talk’n’chalk, highlighting the really Big Ideas, making sure everyone is grasping them as we go along, but inevitably omit important stuff and leave quite a gap between what happens in the lectures and what happens in the book. What to do? I’m going for plan (B). But then I ought to do something to fill that gap between lectures and book. Hence these notes. The idea, then, is to give relaxed lectures, highlighting Big Ideas, not worrying too much about depth or fine-detail (nor even about getting through all of the day’s intended menu of topics). These notes then expand things just enough, and give pointers to relevant chunks of IGT. Though I hope these notes will be to a fair extent be stand-alone, and tell a brief but coherent story read by themselves: so occasionally I’ll copy a paragraph or two from the book, rather than just refer to them..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Friedrich Wilhelm Nietzsche (1989). Friedrich Nietzsche on Rhetoric and Language. Oxford University Press.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Ludwig Boltzmann (1999). Boltzmann's Philosophy Notes for Three Lectures (Fall 1903). Synthese 119 (1-2):191-202.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Added to index2010-06-06
Total downloads59 ( #40,635 of 1,700,300 )
Recent downloads (6 months)4 ( #161,079 of 1,700,300 )
How can I increase my downloads?