Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
VAuroch comments on
The Cartoon Guide to Löb’s Theorem
VAuroch
27 Nov 2013 9:14 UTC
0
points
Peano Arthimetic is a first-order logic, so I’m reasonably certain the deduction theorem applies.
Back to top
Peano Arthimetic is a first-order logic, so I’m reasonably certain the deduction theorem applies.