Gödel Incompleteness and Proof-Assistants Extended Abstract.

Cristian S. Calude

Published in: SYNASC (2021)

Keyphrases

extended abstract
incomplete information
theorem prover
real time
information systems
image processing
theorem proving
natural deduction
data sets
metadata
three dimensional
objective function
intelligent agents
social bookmarking
linear logic
interactive theorem proving