As long as True(L,x) remains uncomputable humanity may soon perish

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: As long as True(L,x) remains uncomputable humanity may soon perish

Post by PeteOlcott »

Eodnhoj7 wrote: Fri Jun 02, 2023 8:47 pm
PeteOlcott wrote: Sat May 27, 2023 2:56 am
Eodnhoj7 wrote: Fri May 26, 2023 9:27 pm

And you would require a potential computer program beyond that one, and beyond that one....so on to infinity. This never ending potential always requires the program as being dependent on something which is not a program until the new program emerges.
There is only a finite set of general abstract knowledge of the world.
LLM's can self-populate in a feasible amount of time.
The CYC project spent 700 man-years just to populate human common sense.

If there is only a finite set of general abstract knowledge of the world then the simple axiom of the line cannot be said to be infinite nor composed of infinite lines/points. If there is one infinite axiom then we cannot say that there is "a finite set of general abstract knowledge of the world".
You used algorithmic compression to accurately describe infinite things.
Eodnhoj7
Posts: 8595
Joined: Mon Mar 13, 2017 3:18 am

Re: As long as True(L,x) remains uncomputable humanity may soon perish

Post by Eodnhoj7 »

PeteOlcott wrote: Fri Jun 02, 2023 9:09 pm
Eodnhoj7 wrote: Fri Jun 02, 2023 8:47 pm
PeteOlcott wrote: Sat May 27, 2023 2:56 am

There is only a finite set of general abstract knowledge of the world.
LLM's can self-populate in a feasible amount of time.
The CYC project spent 700 man-years just to populate human common sense.

If there is only a finite set of general abstract knowledge of the world then the simple axiom of the line cannot be said to be infinite nor composed of infinite lines/points. If there is one infinite axiom then we cannot say that there is "a finite set of general abstract knowledge of the world".
You used algorithmic compression to accurately describe infinite things.
And this compression must go on infinitely thus an ever changing finite state occurs. If this ever changing finite state must occur, and it must considering we are compressing infinity infinitely, then we are left with an infinite potentiality and finiteness just results in ever changing values where nothing is fixed leaving computability as being fundamentally empty and meaningless.

In other terms; in making everything finite we are always resulting in an absence of foundations due to continual change as 'change' and 'finiteness' are not inseparable.
Skepdick
Posts: 14347
Joined: Fri Jun 14, 2019 11:16 am

Re: As long as True(L,x) remains uncomputable humanity may soon perish

Post by Skepdick »

PeteOlcott wrote: Fri Jun 02, 2023 9:09 pm You used algorithmic compression to accurately describe infinite things.
Say "thank you, Solomonoff".

https://en.wikipedia.org/wiki/Solomonof ... _inference
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: As long as True(L,x) remains uncomputable humanity may soon perish

Post by PeteOlcott »

Every element of human knowledge is provable on the
basis of established facts. We don't need to prove
the Goldbach conjecture to prove that:

(a) There is no evidence that voting fraud changed
the outcome of the 2020 election.

(b) Climate change directly caused by humans is very
severe and must be addressed.

(c) Putin's attack on Ukraine is nothing more than
an attempted land grab.

The end of life on Earth will probably be directly
caused by one of more humans annihilating the others
to support their own personal concept of nationalism.
Post Reply