Distilling the Requirements of Gödel's Incompleteness Theorems with a Proof Assistant.

Andrei Popescu Dmitriy Traytel

Published in: J. Autom. Reason. (2021)

Keyphrases

test bed
incomplete information
theorem prover
application specific
proof search
case study
real world
social networks
decision making
multiscale
digital libraries
expert systems
first order logic
theorem proving
requirements engineering
social bookmarking