Alan N. Shapiro, Technologist and Futurist

Blog and text archive about media theory, science fiction theory, future design, social choreography, Computer Science 2.0, new media art, robots and androids, Star Trek, The Prisoner, Jean Baudrillard, Albert Camus, Michel Foucault, and Marshall McLuhan

Read Article

Gödel’s Incompleteness Theorem in Java Code

May 26th, 2010 in Category: Alexis Clancy, Georg Cantor, Humanities Informatics, Kurt Gödel, Mathematics, Time Travel

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.