Results 251 to 260 of about 4,198,145 (291)
Some of the next articles are maybe not open access.
Journal of Philosophical Logic, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2009
This note exposes few basic points of proof complexity in a way accessible to any ...
openaire +2 more sources
This note exposes few basic points of proof complexity in a way accessible to any ...
openaire +2 more sources
Combinatorial proofs and algebraic proofs — II
Resonance, 2013In Part I of this article we considered some binomial identities and also some identities involving the Fibonacci numbers, and proved them using methods which we described as ‘largely’ combinatorial. Now we shift our focus to number theory and to prime numbers in particular, and showcase some proofs having a strong combinatorial element.
openaire +1 more source
1998
To prove that the top-down algorithm in Figure 3.27 terminates, we argue that there is only a finite number of revisables and subsequently only a finite number of possible nodes. With a node being marked in each step of loop (2) the algorithm terminates. The second part of the theorem that H(n) is a hitting-set iff n is a leaf marked ✓ is true since we
openaire +1 more source
To prove that the top-down algorithm in Figure 3.27 terminates, we argue that there is only a finite number of revisables and subsequently only a finite number of possible nodes. With a node being marked in each step of loop (2) the algorithm terminates. The second part of the theorem that H(n) is a hitting-set iff n is a leaf marked ✓ is true since we
openaire +1 more source
International Journal for Philosophy of Religion, 1977
Two claims have been explored, the first, that fool-proof proofs of the sort that there could be if there were a God like the God of Abraham, Isaac and Jacob are not to be expected, on good religious grounds (a claim I found wanting); and second, that there cannot be philosophical proofs of God which work beyond reasonable doubt.
openaire +1 more source
Two claims have been explored, the first, that fool-proof proofs of the sort that there could be if there were a God like the God of Abraham, Isaac and Jacob are not to be expected, on good religious grounds (a claim I found wanting); and second, that there cannot be philosophical proofs of God which work beyond reasonable doubt.
openaire +1 more source
Mathematical Proof and Experimental Proof
Philosophy of Science, 1966In 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