# mct6.memo

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

Preamble

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,

Endings

There is peace in the thought
that
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.
YOU CHOSE.
What PROOF did you leave behind you now?

There is only one PROOF.
Learn it.  Love it.  Teach it.  Master it.
All can.
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

THE PROOF

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)

Q.E.D.

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
M.P. means Modus Ponens

12/14/1978

Homer Wilson Smith

================ http://www.clearing.org ====================
Mon Jul 22 06:06:02 EDT 2019