MCT6 (fwd)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1







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,
I ADORE you for ever, for free.


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


12/14/1978

Homer Wilson Smith

================ http://www.clearing.org ====================
Sun Oct 29 12:00:03 EDT 2017
WEB: http://www.clearing.org
BLOG: http://adoretheproof.blogspot.org
FTP: ftp://ftp.lightlink.com/pub/archive/homer/mct6.memo
Send mail to archive@lightlink.com saying help in body
=========== 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.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD8DBQFZ9fsDURT1lqxE3HERAj0nAKCgQ3mv97pGACdIIJe+hGn7Rly0UwCfXK9W
P9q7XWrfGWcLxg5i65NSH78=
=UA1e
-----END PGP SIGNATURE-----
_______________________________________________
HomerWSmith-L mailing list
HomerWSmith-L@mailman.lightlink.com
http://mailman.lightlink.com/mailman/listinfo/homerwsmith-l