View Proposal #146
If this proposal belongs to you, you are authorized to update it. Use the menu on the right.
ID | 146 |
---|---|
First Name | Jeremy |
Last Name | Alm |
Institution | Iowa State University |
Speaker Category | graduate student |
Title of Talk | Godel Disrobes: a naked approach to incompleteness |
Abstract | I propose an alternate approach to the incompleteness theorems via the conceptually simpler \emph{abstract provability systems}, due to Raymond Smullyan. These systems have incompleteness theorems that are easy to prove, and whose hypotheses point to the important features of formal arithmetic. |
Subject area(s) | mathematical logic, pedagogy |
Suitable for undergraduates? | Yes |
Day Preference | |
Computer Needed? | |
Bringing a laptop? | Y |
Overhead Needed? | N |
Software requests | |
Special Needs | |
Date Submitted | 3/20/2006 |
Year | 2006 |