Formalization, Mechanization and Automation of Gödel's Proof of God's Existence.

Christoph Benzmüller Bruno Woltzenlogel Paleo

Published in: CoRR (2013)

Keyphrases

machine intelligence
theorem proving
formal model
digital world
neural network
linear logic
social bookmarking
artificial neural networks
search algorithm
artificial intelligence
information retrieval
theorem prover
multi agent systems
formal analysis
logical framework
operational semantics
data sets