Re: Existence of proof verifiers: A comedy

On May 3, 7:01 pm, herbzet <herb...@xxxxxxxxx> wrote:
Charlie-Boo wrote:
Jan Burse wrote:
2. If I take (1) and run it through some sort of software that ends up
saying that it has "verified" that as being a proof, could that per se
constitute a proof of some particular theorem?

Four-color theorem.

HA HA HA

Note that the question is asking if wffs with no natural language and
a program that just says "verified" constitute a proof. The
Mathematicians who are credited with proving that theorem used plenty
of natural language when they described a program that checked for
certain possible map structures.

C-B

--
hz

.

Relevant Pages

  • Re: Existence of proof verifiers: A comedy
    ... If I take and run it through some sort of software that ends up ... saying that it has "verified" that as being a proof, ... of natural language when they described a program that checked for ... the program outputs the word "verified" should I consider that a proof? ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... Charlie-Boo wrote: ... If I take and run it through some sort of software that ends up ... saying that it has "verified" that as being a proof, ... Note that the question is asking if wffs with no natural language and ...
    (sci.logic)
  • Re: The Dock through the years
    ... Launcher visible and that was very convenient and easy to do. ... means saying no means you were wrong. ... easier to move hand from mouse to keyboard than to uncover the Launcher ... more convenient for this sort of thing than the keyboard method you use. ...
    (uk.comp.sys.mac)
  • Re: o/t Why me :-(
    ... was not you and chances are it'll all sort itself out in the end. ... area - they'd got the registration down wrong and it came out as his car. ... > I have just had a letter from my insurers saying my car has been involved ... > The lady told me not to worry and said this happens a lot, ...
    (uk.rec.competitions)
  • Re: According to Obama
    ... bell curve seem to handle genuinely smart people okay, ... tendencies and elitism of the intellectual sort. ... There is a correlation between "wingnut conservative" and "saying ... / and you can have the liberty to starve''. ...
    (rec.sport.football.college)
Quantcast