Re: Simple yet Profound Metatheorem

G. Frege says...

>stevendaryl3016@xxxxxxxxx (Daryl McCullough) wrote:

>> There are formulas that are provable [not really --F.] using truth
>> tables but are not provable intuitionistically.

I don't understand your "not really" here.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: infinity
    ... Tony Orlow says... ... Daryl McCullough ... Ithaca, NY ... Prev by Date: ...
    (sci.math)
  • Re: Bile awski the Janitor.
    ... Androcles says... ... Daryl McCullough ... Ithaca, NY ... Prev by Date: ...
    (sci.physics.relativity)
  • Re: Godel Contradiction
    ... let's pretend that there is only one Daryl McCullough ... "If a person satisfies predicate P, then that person lives in Ithaca". ...
    (sci.logic)
  • Humorous Song About Math
    ... (From my old Alma Mater) ... Daryl McCullough ... Ithaca, NY ... Prev by Date: ...
    (sci.math)
  • Re: infinity
    ... Tony Orlow says... ... Daryl McCullough ... Ithaca, NY ... Prev by Date: ...
    (sci.math)