Results 231 to 240 of about 1,007,644 (283)

Evolution of Mathematical Proof

Foundations of Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mrozek, Marian, Urbaniec, Jacek
openaire   +1 more source

Randomness and Mathematical Proof

Scientific American, 1975
Abstract The first is obviously constructed according to a simple rule; it consists of the number 01 repeated 10 times. If one were asked to speculate on how the series might continue, one could predict with considerable confidence that the next two digits would be O and 1.
openaire   +1 more source

THE PHENOMENOLOGY OF MATHEMATICAL PROOF

Synthese, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Mathematical Proof and Experimental Proof

Philosophy of Science, 1966
In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained.
openaire   +1 more source

Structuring Mathematical Proofs

The American Mathematical Monthly, 1983
(1983). Structuring Mathematical Proofs. The American Mathematical Monthly: Vol. 90, No. 3, pp. 174-185.
openaire   +1 more source

Mathematical Proofs

2020
Daniel Ashlock, Colin Lee
openaire   +2 more sources

Mathematical Logic: Proof Theory, Constructive Mathematics

2008
Workshop ...
openaire   +1 more source

Granularity Analysis for Mathematical Proofs

Topics in Cognitive Science, 2013
AbstractMathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context.
openaire   +2 more sources

Informal Proofs and Mathematical Rigour

Studia Logica, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Consistency Proofs for Applied Mathematics

Synthese, 1977
In 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