Re: Simple yet Profound Metatheorem

Daryl McCullough wrote:
> Charlie-Boo says...
> >
> >Torkel Franzen wrote:
>
> >> There are no truth tables for intuitionistic propositional logic.
> >
> >That has no relevance.
>
> If you are interested in intuitionistic propositional logic,
> then it is certainly relevant. If you are *not* interested
> in intuitionistic propositional logic, then what is the
> point of your claim that every wff that is provable
> in intuitionistic logic is also provable using truth tables?

Change "you are not interested in" to "there's nothing gained in the
final analysis", then the answer is: It shows that Frege is wasting his
time since nobody has ever come up with a wff that he produces that
case analysis does not.

Case closed.

Coming Soon: "Metamathematically True or False?"

C-B

> --
> Daryl McCullough
> Ithaca, NY

.

Relevant Pages