Results 341 to 350 of about 3,412,246 (356)
Some of the next articles are maybe not open access.

Gödel's Proof

, 2020
E. Nagel, J. R. Newman
semanticscholar   +1 more source

Wittgenstein on Mathematical Proof

2004
Il saggio intende proporre una presentazione della concezione wittgensteiniana del ruolo e dello statuto delle dimostrazioni matematiche, chiarendo la relazione tra senso di un enunciato matematico e dimostrazione.
openaire   +1 more source

Verefication of Mathematical Proofs

2007
In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a successful utilization of such programs. In Chapter 3 we examine how to store and reuse important pieces of mathematical knowledge in
openaire   +2 more sources

Home - About - Disclaimer - Privacy