An Automatic Proof of Gödel's Incompleteness Theorem.

Published in: Artif. Intell. (1997)

Keyphrases

interactive theorem proving
data driven
fully automatic
clustering algorithm
semi automatic
incomplete information
neural network
machine learning
social networks
image processing
reinforcement learning
missing values