Gregory Chaitin

A- and, and you can find th- that quantum logic is the logic of processes, the logic of humor, the logic of creativity, and there's something which you cannot ever, ever compute.

So Chaitin is one of... another one of my heroes.

Uh, algorithmic complexity, why you cannot know everything with one go, with one system, with one set of, of axioms.

And then the same thing goes to...

You look at, Turing says it for computers.

Tarski says it for language, and Chaitin says it for information.

Everything that I'm saying is backed up by physics and, and math.

So we are bounded systems, and we are bounded to a universe that was created by something, again, that didn't tell us a fucking thing.

The theorem posits that true statements cannot be proved within a system, and pure logic itself even has blind spots.

David Hilbert, one of history's great mathematicians, proposed in 1900 that all of mathematics could be in theory derived from a finite set of axioms essentially every true mathematical statement could eventually be proven and then came girdle who demolished this by constructing mathematical statement that is both true and unprovable within any system capable of its expression I suppose there are some limits to mathematics, and Gregory Chaitin stated that there will always be conclusions mathematics cannot reach.

Chaitin's constant omega was a scientific mathematical number that encodes the probability that a randomly constructed computer program will eventually halt.

Although Omega was real, it will never fully be known.

On this basis, will time ever disprove these sorts of things? Or are these things the very basis for time finding answers? Maybe there are truths that are true for no reason.