MathDL - The MAA Mathematical Sciences Digital Library
Skip to content
Search

Search Classroom Capsules and Notes:

Keyword

  Advanced Search
The Mathematical Association of America
The National Science Digital Library Project
The National Science Foundation
Register Sign In

Classroom Capsules and Notes

Finite Mimicry of Gödel's Incompleteness Theorem

by Paul Fjelstad

This article originally appeared in:
Mathematics Magazine
April, 2007

Subject classification(s): Logic and Foundations
Applicable Course(s): 4.6 Logic/Foundations

This paper seeks the minimal structure needed to mimic Gödel's formal system with regard to self-referring sentences, incompleteness, the futility of striving for completeness, and the inability to define the nature of truth



A pdf copy of the article can be viewed by clicking below. Since the copy is a faithful reproduction of the actual journal pages, the article may not begin at the top of the first page.

To open this file please click here.

These pdf files are furnished by JSTOR.



Capsule Course Topic(s):

To rate this capsule on a 1-5 scheme, click on the appropriate icosahedron:

12345 Current rating: 3number of votes: 77
12345

MathDL Homepage MathDL Homepage National Science Digital Library The Mathematical Association of America