Results 281 to 290 of about 1,005,997 (319)

MATHEMATICAL RIGOR AND PROOF

The Review of Symbolic Logic, 2019
AbstractMathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowledge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous?
openaire   +3 more sources

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