This is the user sandbox of Math site tester by nick. A user sandbox is a subpage of the user's user page. It serves as a testing spot and page development space for the user and is not an encyclopedia article. Create or edit your own sandbox here.

Other sandboxes: Main sandbox | Template sandbox

Finished writing a draft article? Are you ready to request review of it by an experienced editor for possible inclusion in Wikipedia? Submit your draft for review!

Gödel's incompleteness theorems

Gödel's incompleteness theorems are two theorems in mathematical logic.

The quick version

Laconic

TODO: add laconic.

Analogy

TODO: add analogy

Visuals

TODO: find better GIFs and videos

Examples

TODO: add one or more examples/story problems

Longer Explanation

TODO: add plain English explanation

Technical Definition

Technical

TODO: describe in technical language

Proof

TODO: add links to Godel's and others' proofs.

Metamath

TODO: add Metamath link(s) if available, or link a task to create it (if possible).

Flashcards

TODO: create Anki deck once page is semi-complete.

Practice Problems

TODO: create practice problems once page is semi-complete.