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 |