Skip to content

Instantly share code, notes, and snippets.

@Mec-iS
Last active August 23, 2022 18:58
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save Mec-iS/4404ceb91ac27f4acf0bb065a81180a6 to your computer and use it in GitHub Desktop.
Save Mec-iS/4404ceb91ac27f4acf0bb065a81180a6 to your computer and use it in GitHub Desktop.
Truth as Eigenform

Definition of Truth

Jason the Goodman <jasonthegoodman@....com>:

How about defining "truth" with "stability" of the coupling loop between "the object" and the cognitive system coupling with the "object"? If the process stabilizes and an eigenvalue of the loop emerges, we say "a truth" is found. This would refocus our attention from the "object" itself to the nature of the cognitive system, which may include animals and robots in addition to humans. My tentative way to upgrade from first-order thinking to the second-order thinking. Then, instead of searching for "truth", we search for the "Lyapunov potential function" for the situation if we could find one...

Louis H Kauffman <kauffman@....edu>

Eigenform is important way to formalize a kind of stability. Truth is a special kind of eigenform, not just any eigenform. Truth means the truth of a PROPOSITION about something. So we need to have a language involved and the notion that the propositions are talking about some domain where it is possible to check whether the proposition’s statement is correct.

Jason the Goodman <jasonthegoodman@....com>:

would you define your "special kind" here - how specific it has to be? And, what kind of eigenform is not "a truth" for a dog/cat or for a robot? Could you please show me.

Louis H Kauffman <kauffman@....edu>:

Given a mapping F:D —> D where D is any mathematical domain (e.g. an arbitrary set), an eigenform is a fixed point of F, possibly in some larger domain D, extending D. In this way, every F has a corresponding eigenform E with F(E) = E.

The way this is proved is to construct E = F(F(F(F…))), the infinite concatenation of F upon itself. Sometimes this formal eigenform is related to the original domain D and sometimes it absconds (or transcends) well beyond that domain. There are many examples. I will give a few for reference.

  1. D = R, the real numbers. F(x) = 1 + 1/x. Here E = 1 + 1 /(1 + 1/(1+ 1/ …)) is the formal eigenform, but there is a real number x such that x = 1 + 1/x and we can take x = (1 + sqrt(5))/2. Furthermore, the finite iterations 1, F(1), F(F(!)), … are:
  • 1, 1+ 1/1 = 2/1, 1 + 1/(1 + 1/1) = 3/2,
  • 1 + 1/(1 + 1/(1 + 1/1)) = 5/3, …
  • and these have (1 + sqrt(5))/2 as their limit.

So in this case the formal eigenform can be identified with an element of the original domain D.

  1. D = R, the real numbers. F(x) = -1/x. Now there is no real number x such that x= -1/x. And the formal eigenform E = -1/-1/-1/-1/-1/-1/… does not correspond to any element of R, but it can be matched up with the complex number i (in the domain of complex number that extend R) with i^2 = -1. In this way the complex number i can be interpreted in terms of an “oscillating” formal number that is an eigenform.

  2. Let F(x) = <x> where this means “put brackets around x”. Then E = <<<<<…>>>>>. This is a quintessential formal eigenform.

  3. Let F(x) = “I am the one who says x.”. Here F(x) is a sentence and for example F(red) = “I am the one who says red.” This may be true or false about me. But F(I) = “I am the one who says I.”. That is true and could be regarded as a definition of “I”. So in this sense "F(I) = I.” This example has to do with truth.

  4. Let F(x) = This sentence has x words. Then F(5) is true and we regard F(5) not as equal to 5 but as correctly referring to itself and so true.

  5. More generally, I shall say that a statement P is a “propositional eigenform” if it refers to itself, true or not. For example. This statement is false. This statement is fifty words long. This statement is your cerebral cortex. This statement is the last thing you will read before enlightenment. This statement is written in Russian on a spaceship headed to interstellar space. This statement is Gogol’s nose. This statement is self-referential.

  6. Of the propositional eigenforms in 6. only the last one is true by my reckoning. But now lets see. Let P be any statement about some state of affairs that could be either true of false. Consider the following statement: S(P) = This statement is true if and only if P is true. Then S(P) is a propositional eigenform and S(P) is true exactly when statement P is true! We have shown that propositional truth can be matched with the existence of a true propositional eigenform.

@Mec-iS
Copy link
Author

Mec-iS commented Aug 17, 2021

more by Kauffman about eigenforms in physics

If you are sending it as related to eigenform and cybernetics in that way, note that eigenstates in the sense of quantum observation are at the foundation of quantum mechanics.
We have been interested in eigenforms as a generalization of eigenstates in physics for a long time. One can speculate that cybernetics seen rightly will contribute to the understanding of the wider meaning of quantum physics.
For an eigenstate there is a linear operator H and a vector v such that Hv = lambda v where lamba is a number, the eigenvalue. This makes v a fixed point of the operator T = H/lambda so that
Tv = v.
In this sense v is an eigenform for T. H and T are operators that represent physical observations and so are called “observables” by the physicists.
For the cybernetics we take an operation S and a fixed point E with SE = E as an eigenform E and an eigenoperator S.
This allows a very wide generalization and many examples that are “far from” quantum mechanics. How far away are they?
The notion of a very general fixed point goes back in logic to Church and Curry with their invention of “lambda calculus” (no pun intended) and reflexive domains where every object is also a transformation of the domain of all objects ( I should say “beings” rather then objects). Then one can define for any being F a new being G so that Gx = F(xx). Whence GG = F(GG) and so GG is a being that is an eigenform for any given
being F. Here we are fully in the cybernetic domain and I (for one being) am interested in subsuming quantum physics in cybernetics along these lines. There is more in quantum physics than just eigenstates. So there is much to contemplate.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment