Re: What is a proof, exactly?

From: Josh Purinton (joshpurinton_at_gmail.com)
Date: 12/03/04 

Date: 2 Dec 2004 20:01:42 -0800

Jasper Stein <J.J.Stein.Stein@cs.cs.ru.ru.nl.nl> wrote in message news:<cone3k$pko$1@odysseus.uci.kun.nl>...
> This is somewhat strange - does this mean that one (formal) proof can prove
> several things?

Correct. Consider a Hilbert-style proof system, in which a proof
is a sequence of statements, each of which is either an (instance of)
an axiom, a premise, or follows from one or more previous statements
in the sequence by a truth-preserving rule of inference. Thus, the
proof can be considered to prove every sentence in the sequence.

> (It seems that I'm missing some of the posts to the newsgroup - I haven't
> seen George Greene's original post)

Try Google Groups.

Relevant Pages

  • Re: What is a proof, exactly?
    ... Consider a Hilbert-style proof system, ... in the sequence by a truth-preserving rule of inference. ... > seen George Greene's original post) ... Try Google Groups. ...
    (sci.logic)
  • Re: printf output
    ... You have no business being surprised, because you had no right to ... You have modified the (type unknown, but assume int) object 'i' more ... Search this group on Google groups for the phrase "sequence point" to ...
    (comp.lang.c)
  • SUMMARY: forcing a network card to 100 full duplex
    ... setting last in the sequence like this: ... Original POST: ... I have an Ultra-10 running Solaris 8. ... /etc/system file to force it to always connect at 100mps full duplex. ...
    (SunManagers)
  • Re: Rearrange numbers from a column in a different order in a second c
    ... The OP's original post clearly showed a consecutive integer sequence, ... INDEX, MATCH, OFFSET or LOOKUP, etc) to the percentages. ...
    (microsoft.public.excel.misc)
  • Re: Copy Down A formula advice......
    ... check out my response to your original post for info that might answer these ... What formula could be used to generate the sequence from any day in a ... Can any one explain what I am overlooking? ...
    (microsoft.public.excel.misc)