Login / Signup
An Example of a Theorem that has Contradictory Relativization and Diagonalization Proof.
Richard Chang
Published in:
Bull. EATCS (1990)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
von neumann
intuitionistic logic
theorem prover
complete axiomatization
real time
neural network
computer vision
multiresolution