From Newsgroup: comp.theory
On 6/8/2026 4:26 PM, Dude wrote:
On 6/7/2026 9:27 PM, olcott wrote:
On 6/7/2026 11:04 PM, Dude wrote:
On 6/6/2026 2:37 PM, Moebius wrote:
Am 06.06.2026 um 23:30 schrieb Chris M. Thomasson:
On 6/6/2026 2:08 PM, Moebius wrote:
Am 06.06.2026 um 23:04 schrieb Chris M. Thomasson:
On 6/5/2026 7:34 PM, dart200 wrote:
don't both buddah and jesus kinda agree on this?
Wonder if they ate the same strain of shrooms?
Sacrilege!
Yeah. Sorry, GOD. I forgot he only ate peyote? Na. This is running
its course. Funny though. ;^)
C'mon man, I'm quite sure that none of them ate shrooms (just like me). >>>>
grrr
It's pretty obvious John of Patmos was on something.
Yes he said he had the visions on;y after he ate a small book
After eating he had visions.
Whatever he ate, it was some powerful substance. Probably mushrooms
chased with hemp. Apparently they both grow wild on Patmos.
Then I took the little book out of the angel’s hand and
ate it, and it was as sweet as honey in my mouth. But
when I had eaten it, my stomach became bitter.
https://www.biblegateway.com/passage/?search=Revelation%2010%3A8-11&version=NKJV
I took this to mean blotter acid.
LSD on a tiny piece of paper.
--
Copyright 2026 Olcott
My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.
The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.
My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.
(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).
--- Synchronet 3.22a-Linux NewsLink 1.2