Alan N. Shapiro, Visiting Professor in Transdisciplinary Design, Folkwang University of the Arts, Essen, Germany

Blog and project archive about transdisciplinary design, media theory and creative coding

Gödel’s Incompleteness Theorem in Java Code

No Comments »

co-author: Alexis Clancy

An important coding project of the New Computer Science is to program a Universal Incompleteness Generator in Java.

The program will generate undecidable arithmetical statements from axioms.

A major first step towards achieving this has been taken by Stephen Lee of Tachyos.org.

Lee writes: “Given a set of axioms for arithmetic, Gödel tells us that there is an arithmetical statement which can neither be proved or disproved from those axioms. The purpose of this project is to write a computer program which will take the axioms and use them to generate a statement which is undecidable in that axiom system.”

Leave a Reply