Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.

Saeed Salehi Payam Seraji

Published in: J. Log. Comput. (2017)

Keyphrases

incomplete information
real time
theoretical framework
first order logic
answer sets
action theories
search engine
social networks
decision trees
data model
desirable properties
von neumann