Gödel's Program Revisited, Part I: The Turn to Phenomenology.

Published in: Bull. Symb. Log. (2006)

Keyphrases

programming environment
program execution
artificial intelligence
decision making
lecture notes
color vision
image processing
case study
database systems
evolutionary algorithm
test cases
automatic programming
program understanding