On constructivity and the Rosser property: a closer look at some Gödelean proofs.

Saeed Salehi Payam Seraji

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

theorem proving
theorem prover
formal proofs
computer vision
desirable properties
data sets
artificial intelligence
search engine
e learning
three dimensional
high level
multiscale
cooperative
data streams
monotonicity property