From the Knowability Paradox to the existence of proofs.

Walter Dean Hidenori Kurokawa

Published in: Synth. (2010)

Keyphrases

three dimensional
theorem prover
real time
data sets
special case
theorem proving
formal proofs
equational theories
computer vision
multimedia
probability distribution
fixed point
complementarity problems
formal proof
mathematical proofs