First Page | Document Content | |
---|---|---|
Date: 2009-10-11 16:26:20 | SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at lAdd to Reading ListSource URL: www.math.uchicago.eduDownload Document from Source WebsiteFile Size: 225,35 KBShare Document on Facebook |