22 March 2007
1) Any theorem that is disproved by contradiction must be thrown out.
2) ...except for Bivalence
even though Russel & Gödel kicked
out of them three generations ago. It's just too scary.
3) Probability, that fluffy blue blankie
we use where bivalence breaks down, is axiomatic even though it produces no significant results.
4) A logical tautology cannot also be a factual truth.
5) ...but the Principle of Induction
always holds, except when it doesn't, and when it doesn't it means there is something new to learn. Why? Because that's the way it has always happened in the past.