[FOM] Clean tautologies
L.B.Kruijswijk at inter.nl.net
Thu Apr 22 19:44:32 EDT 2010
Thanks for the answers. Now I know, that I am not
re-inventing the wheel.
I am further interested in the restriction of interleaving
for a clean tautology.
If you write the clean tautology as expression tree
(and I mean, really as graph).
Consider the sub-trees that are constructed by connecting
the appearances of a propositional variable.
I get the impression that two sub-trees created from
two different propositional variables will not have an
edge in common. I am not sure if it holds exactly like
this, but there are some restrictions for interleaving.
BTW. If PA turns out to be inconsistent, I won't be surprised
if we can prove the existence of God. I don't think Karl
Popper would approve.
More information about the FOM