Re: What is a proof, exactly?

From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 11/29/04 

Date: 29 Nov 2004 11:25:43 -0800

George Greene says...
>
>daryl@atc-nycorp.com (Daryl McCullough) wrote

>> I disagree. Calling Mike Oliver a liar is intellectually
>> and morally inappropriate.
>
>In what context?

In the context of sci.logic discussions. I don't know him
in any other context. 

--
Daryl McCullough
Ithaca, NY

Relevant Pages

  • Re: Well Ordering the Reals
    ... >>>raw strings. ... >> Daryl McCullough ... > I wouldn't say it is "subjective", but dependent on context. ... identically equal sets in every context. ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... >> Daryl McCullough said: ... >> And this was in the context of a well ordering as a list? ... >> ordering could ever be performed on an uncountable set, then, could it? ... > If one accepts the axiom of choice as being true, then, at least ...
    (sci.math)
  • Re: Is FLT in the language of PA?
    ... Daryl McCullough wrote: ... where t and s are terms involving 0, plus, times, successor ... How do you go about eliminating the inner quantifier? ... In the context of this discussion, ...
    (sci.logic)
  • Re: Skolems Paradox
    ... Aatu Koskensilta says... ... >> if you are dealing with set theory, ... >depends on context, ... Daryl McCullough ...
    (sci.logic)
  • Re: ZFC means?
    ... >I'm not commenting on the particular context of this thread, ... >that if set theory is the formal metatheory, ... Daryl McCullough ...
    (sci.logic)