[ExI] Why do the language model and the vision model align?
John Clark
johnkclark at gmail.com
Thu Feb 19 12:12:40 UTC 2026
On Mon, Feb 16, 2026 at 5:03 PM Jason Resch via extropy-chat <
extropy-chat at lists.extropy.org> wrote:
*> When Godel (through his theorems) realized that mathematical truths
> cannot be a human invention (since mathematical truth transcends any human
> created axiomatic system), he came to the conclusion that objects in
> mathematics must have some kind of objective or Platonic existence, as they
> could not be our own creations.*
*Godel discovered that truth is a bigger category than provability, but he
didn't think that meant some things were unknowable because he didn't
believe the human mind was trapped in just one single logical system, he
thought we could jump out of one system and climb onto an infinite ladder
of more comprehensive systems. The trouble is no logical system powerful
enough to perform arithmetic can prove its own consistency; so if we keep
climbing that infinite ladder as Godel suggested then there will come a
time when we "prove" something and thus be absolutely positively 100%
certain it is true, and still be dead wrong. And according to the
"principle of explosion" if a logical system contains just one single
contradiction then you can prove anything, you can prove that both X and
not X are true, and thus the entire system becomes useless. John K Clark*
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20260219/b2676c82/attachment.htm>
More information about the extropy-chat
mailing list