A simple detailed proof for Goedel's incompleteness theorem.

Alexei L. Semenov

Published in: Kybernetika (1988)

Keyphrases

machine learning
case study
search algorithm
hidden markov models
neural network
real world
feature selection
metadata
objective function
cooperative
natural language
multiresolution
theorem proving
interactive theorem proving