Re: What do you think of this argument
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxx>
- Date: Mon, 01 Jun 2009 01:09:18 +0300
Ludovicus <luiroto@xxxxxxxxx> writes:
Dennis Sciama as cited in Gardner's "New Mathematical Diversions"
arguments:
...consequently if the assertion is undemonstrable it must be true.
The same is valid for any assertion whose falsity can be verified by a
counterexample.
Marcus de Sautoy in his book :"The Music of the Primes" arguments:
If someone succeeded on demonstrating that the hypothesis is
undecidable from the Mathematicsl axioms then the hypothesis results
demonstrated as true.
I think it is by now a rather well-known observation, that a Pi-1
statement undecidable in a Sigma-1 complete theory is necessarily true.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)
"Wovon mann nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: What do you think of this argument
- From: Ludovicus
- Re: What do you think of this argument
- References:
- What do you think of this argument
- From: Ludovicus
- What do you think of this argument
- Prev by Date: Re: Some questions about centroid of a polytope
- Next by Date: Re: Some questions about centroid of a polytope
- Previous by thread: Re: What do you think of this argument
- Next by thread: Re: What do you think of this argument
- Index(es):
Relevant Pages
|
Loading
