Re: What do you think of this argument



In article
<81f17c3c-c2ad-42ec-845b-ecd253c16af3@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Ludovicus <luiroto@xxxxxxxxx> wrote:

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.
Ludovicus


The important part: "any assertion whose falsity can be verified by a
counterexample"

So, for example, Goldbach's Conjecture is in this category.

--
G. A. Edgar http://www.math.ohio-state.edu/~edgar/
.



Relevant Pages

  • Re: What do you think of this argument
    ... ...consequently if the assertion is undemonstrable it must be true. ... The same is valid for any assertion whose falsity can be verified by a ... because arithmetic is strong enough to verify any counterexample. ... Sigma-1 formulas. ...
    (sci.math)
  • Re: What do you think of this argument
    ... Ludovicus writes: ... ...consequently if the assertion is undemonstrable it must be true. ... The same is valid for any assertion whose falsity can be verified by a ... statement undecidable in a Sigma-1 complete theory is necessarily true. ...
    (sci.math)
  • Re: What do you think of this argument
    ... Ludovicus a écrit: ... ...consequently if the assertion is undemonstrable it must be true. ... The same is valid for any assertion whose falsity can be verified by a ... As you are a troll, I understand that this distinction might let you confused... ...
    (sci.math)
  • Re: "people" is not the plural of "person"
    ... But I'd say 'That assertion has the same truth value as ... > Mr. Cunningham is right, in his fashion, but I disagree with him. ... > counterexample in English usage to the statement that everyone knows that ...
    (alt.usage.english)
  • Re: Brittish and US SF
    ... that I realized his argument was limited to denying any logic or counterexample and restating his assertion. ...
    (rec.arts.sf.written)