Results 241 to 250 of about 998,736 (272)
Some of the next articles are maybe not open access.
Informal Proofs and Mathematical Rigour
Studia Logica, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Consistency Proofs for Applied Mathematics
Synthese, 1977In 1948, Hans Reichenbach distributed a mimeographed set of notes, entitled Theory of Series and Godel’s Theorems’, to members of his advanced logic class at UCLA. A part of this material has been published for the first time (Reichenbach, 1948). This portion contains Reichenbach’s highly interesting and provocative discussion of the importance of ...
openaire +1 more source
Intentional Gaps In Mathematical Proofs
Synthese, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2006
In this short paper it is shown that in mathematics since to believe something must equal to prove something, it is quite impossible to believe something, and yet to have no proof.
openaire +1 more source
In this short paper it is shown that in mathematics since to believe something must equal to prove something, it is quite impossible to believe something, and yet to have no proof.
openaire +1 more source

