Clearing Archive Roboposter
roboposter at lightlink.com
Mon Jul 22 06:06:02 EDT 2019
THE MACHINE CERTAINTY THEOREM
Part 2, Logical Form
MCT - 6
Christmas Eve, 1993
Copyright (C) 1993 Homer Wilson Smith
Redistribution rights granted for non commercial purposes
At first they said it wasn't true.
Then they said it wasn't important.
Then they said they knew it all along.
Mother and Child
Listen now closely my Child,
For there is a SIGN that MY story is true.
One WORD is the PROOF,
And the word is PRIDE,
I ADORE you for ever, for free.
There is peace in the thought
One day all men will attain the awakened state.
All endings are happy endings.
You WOULD not, COULD not, have chosen it any other way.
It is payment for the long strange trip it's been.
Responsibility is a big thing.
Certainly bigger than our parents told us.
RESPONSIBILITY for RESPONSE ABILITY.
Do not DOUBT you CHOSE it and then LOOK to SEE for EVIDENCE.
What PROOF did you leave behind you now?
There is only one PROOF.
Learn it. Love it. Teach it. Master it.
However for some people, by their own choice,
It will be a long time between now and then.
You can't move your house around town, if
You have locked yourself inside it.
In Excelsis Deo.
From ADORE, A Divine Operating Religion of Excellence
Copyright (C) 1973 Homer Wilson Smith
Redistribution rights granted for non commerical purposes.
Definitions: a. = means 'is equivalent to by definition'
b. ~ = NOT
c. (A -> B ; -> C) = (A -> B) and (B -> C)
d. LC = L and C
e. LNC = L and ~C
Theorem: ~D (To be proved)
Assumptions: 1. L <--> LC or LNC Logical
2. (D and L) -> LBLE Intuitional
3. LBLE -> ~LC Definitional
4. LC Observational
Specific (2,3)[A] 5. (D and L) -> ~LC
Logics: (5)[B];[C] 6. LC -> ~(D and L) ; -> (~D or ~L)
(1)[D] 7. LC -> L
(6,7)[E];[F] 8. LC -> (~D or ~L) and L ; -> ~D
(4,8)[G] 9. ~D (Conclusion)
General (T.O.I.) A. ((A -> B) and (B -> C)) -> (A -> C)
Logics: (M.T.) B. (A -> B) -> (~B -> ~A)
(D.N.O.A.) C. ~(A and B) -> (~A or ~B)
D. (A <--> (B or C)) -> (B -> A)
(ADD) E. ((A -> B) and (A -> C)) -> (A -> (B and C))
F. ((A or B) and ~B) -> A
(M.P.) G. (A and (A -> B)) -> B
Names of T.O.I. means Transitivity Of Implication
General M.T. means Modus Tolens
Logics: D.N.O.A. means Distribution of Not Over And
ADD means Addition
M.P. means Modus Ponens
Homer Wilson Smith
================ http://www.clearing.org ====================
Mon Jul 22 06:06:02 EDT 2019
BLOG://adoretheproof.blogspot.comSend mail to archive at lightlink.com saying help
================== http://www.lightlink.com/theproof ===================
Learning implies Learning with Certainty or Learning without Certainty.
Learning across a Distance implies Learning by Being an Effect.
Learning by Being an Effect implies Learning without Certainty.
Therefore, Learning with Certainty implies Learning, but
not by Being an Effect, and not across a Distance.
More information about the Clear-L