I intend to complement here the activity from https://chorasimilarity.wordpress.com
Contact: https://t.me/xorasimilarity
Contact: https://t.me/xorasimilarity
chorasimilarity
computing with space | open notebook
Gradually when I put stuff on telegra.ph, I'll share it here. Subjects are #molecular #computing #lambdacalculus #ai #alife #openscience #openaccess #vision #mathematics #philosophy
#chemlambda #whatif #chemicalsneakernet #story uses a #Proust passage https://telegra.ph/Home-remodeling-04-28
Telegraph
Home remodeling
Once, when Eve was a France resident in Combray, she stumbled upon a Home Remodeling site. She learned that she could hire a pro to find all the essential remodeling information she'll need to know. Eve used the same fast legacy digital internet to order…
#asemantic #computing for #decentralized computing draft https://telegra.ph/Asemantic-computing-03-02
Telegraph
Asemantic computing
True distributed computing which also has a global meaning (semantic) is not possible. People still stubbornly try to do it in stupid ways. They are fond of semantics. However Nature is a true distributed computation which does not have the kind of meaning…
I just want to bring to your attention where pure see is going, if you were intrigued by the Substitution is objective (lI) post.
In case you wonder why "substitution is objective" this is in the sense used for "objective" in my posts.
But as concerns pure see I said that it is a formalism interesting enough, like linear logic, however it is just a shadow of a larger, noncommutative one.
It is then natural to structure it in such a way that it holds as much as possible in the general case.
So where is it going? It has emergent algebra as a model, but there are two other different models. The "commutativity" name comes from an emergent algebra characterization in the presence of the algebraic version of SHUFFLE, the only rewrite schema of pure see.
In the more general case all fits into a map making formalism, which has algebraic and topological parts, with the topological part usually left aside until the whole range of the algebraic side is clear.
Or it turns out that the more profound mathematically is to start from the topological side, which will make clear why the algebraic side is like it is.
And so new algebraic structure appears, like the dual side of map making hinted in the linked chorasimilarity post.
On a personal note the complete math was done on paper while I was more than worried about the bout of Bell's palsy which hit me in jan. So is good to stay more on paper, I was so happy that it worked that I had to make the sibylline https://chorasimilarity.wordpress.com/2021/02/12/maps-are-intrinsic-charts-are-model-theoretic/
In case you wonder why "substitution is objective" this is in the sense used for "objective" in my posts.
But as concerns pure see I said that it is a formalism interesting enough, like linear logic, however it is just a shadow of a larger, noncommutative one.
It is then natural to structure it in such a way that it holds as much as possible in the general case.
So where is it going? It has emergent algebra as a model, but there are two other different models. The "commutativity" name comes from an emergent algebra characterization in the presence of the algebraic version of SHUFFLE, the only rewrite schema of pure see.
In the more general case all fits into a map making formalism, which has algebraic and topological parts, with the topological part usually left aside until the whole range of the algebraic side is clear.
Or it turns out that the more profound mathematically is to start from the topological side, which will make clear why the algebraic side is like it is.
And so new algebraic structure appears, like the dual side of map making hinted in the linked chorasimilarity post.
On a personal note the complete math was done on paper while I was more than worried about the bout of Bell's palsy which hit me in jan. So is good to stay more on paper, I was so happy that it worked that I had to make the sibylline https://chorasimilarity.wordpress.com/2021/02/12/maps-are-intrinsic-charts-are-model-theoretic/
chorasimilarity
Maps are intrinsic, charts are model theoretic
Even in the commutative world of Pure See, and using that language, maps are intrinsic and charts are model theoretic. With only the 6 instructions available, like from a see b as c; we can build m…
Almost half a year ago I asked about an example of an unknown structure described here https://mbuliga.github.io/colin/colin.pdf and today I got an answer involving artificial intelligence in the text https://mathoverflow.net/q/391530 Is the kind of answer I really have to think about. Update: is not clear though if the example given responds to the question. Update 2: I proved that there are no such examples for emergent algebras, see https://chorasimilarity.wordpress.com/2021/06/02/colin-implies-lin/ That is surprising and unexpected.
The #asemantic #computing idea is not nihilism. It is a needed ingredient in the search of reality https://chorasimilarity.wordpress.com/2021/05/07/asemantic-is-search-of-chora-not-nihilism/
chorasimilarity
Asemantic is search of chora, not nihilism
Many people think that my rejection of semantics is a kind of nihilism. On the contrary, see my views that asemantic computing is the right frame for distributed computing! When I say that global s…
Back to Plato' Timaeus, invoked at the beginning of the "computing with space" project, the reason I started this blog: https://chorasimilarity.wordpress.com/2021/05/12/shuffle-mol-chora-and-timaeus/
chorasimilarity
Shuffle, mol, chora and Timaeus
In Substitution is objective (II), I proposed the following form of the SHUFFLE schema of rewrites, in combination with the “chora” shuffle ( in c chora ( from origin see d as u; from o…
#molecular #computers pitch talk, general audience https://telegra.ph/Molecular-computers-pitch-talk-05-14
Telegraph
Molecular computers pitch talk
We can program a computer to do anything. What if we had the same power over the molecules of our bodies? Define a molecular computer as one molecule which transforms, by random chemical reactions mediated by a collection of enzymes, into a predictable other…
Unitary view of a series of 9 notes on #vision , #theater and what might be "computing with space" https://telegra.ph/Gnomons-and-homunculi-in-the-space-theater-05-24
Telegraph
Gnomons and homunculi in the space theater
1. The Cartesian Theater: philosophy of mind versus aerography source: https://chorasimilarity.wordpress.com/2011/06/06/the-cartesian-theater-philosophy-of-mind-versus-aerography/ Looks to me there is something wrong with the Cartesian Theater term. Short…
Chorasimilarity
Almost half a year ago I asked about an example of an unknown structure described here https://mbuliga.github.io/colin/colin.pdf and today I got an answer involving artificial intelligence in the text https://mathoverflow.net/q/391530 Is the kind of answer…
This is unexpected and probably very important. I don't have the space here. It turns out that there are no such examples. If you read carefully the proof then you see 1/(1-z) things like in pure see. Here is the proof (uses latex so no instant view) https://chorasimilarity.wordpress.com/2021/06/02/colin-implies-lin/
chorasimilarity
COLIN implies LIN
Introduction. See the last post On the missing examples of (COLIN) condition, again and the links therein, in particular this pdf and this mathoverflow question. Theorem. For an emergent algebra wi…