Your turn to fix the worldÂ đź™‚ Any ideas?

Your turn to fix the worldÂ đź™‚ Any ideas?

If you google

Plato Orwell Stalin “her exploratory cries”

this uniquely identifies an article I wrote back in in 2010, the year when I discoveredÂ that I have to go in a new direction (for me).

[**UPDATE:** no longer true, GoogleÂ adaptedÂ and now it pointsÂ to a number of my pages where there is none of the words searched…]

There areÂ two different ideas in that article:

- the hypothesis that (Nature/ brains) use the same mechanism for (building/understanding) space. In today words: space (is/can be understood as)Â a semantic (i.e. a decoration by local rules ) of a graph rewrite automaton. Nature runs the automaton probably by sampling from hamiltonian evolution (which does not compute) perturbed by dissipation (and the computer is in the information of the gap from hamiltonian evolution). Brains and more basically living cells run by chemistry, a toy model of the computation model is chemlambda. Those mechanisms are the same, the computer is in the information gap.
- the second idea is that as concerns brains, biological vision definitely is the creation of a geometry engine, as Koenderink write, but more specifically becauseÂ there should be some universal form ofÂ computation which comes from the (formalization of) exploration of space via multiple drafts or maps. There’s where emergent algebras come into play, but this part is not yet completely clear,Â because until now I am not sure in all details that I succeded to prove that emergent algebras are universal, either in sense of Turing or Lafont.

That and the collapsing of the wave function is an orwellian theory and the minimal action principle is stalinesque, if we apply to physics the classification of DennettÂ of theories of biological vision.

Somewhere in the text you’ll find as well “her exploratory cries”. And a mutant army of bats đź™‚

… or the unreasonable effectiveness of category theory in blockchain investments.

A year ago I wrote the post Blockchain categoricitis and now I see my prediction happening.

**Categoricitis** is the name of a disease which infects the predisposed fans of category theory, those which are not armed with powerfull mathematical antibodies. Show them some diagrams from the height of your academic tower, tell them you have answers for real problems and they will believe.

Case in point: RChain. See Boom, bust and blockchain: RChain Cooperativeâ€™s cryptocurrency dreams dissolve into controversy.

Yes, just another cryptocurrency story… Wait a moment, this one is different, because it is backed by strong mathematical authority! You’ll practically see all the actors from the GeekWire story mentioned in the posts linked further.

Look:

Guestpost at John Baez blog: RChain (archived)

“Programmers, ventureÂ capitalists, blockchain enthusiasts, experts in software, finance, and mathematics: myriad perspectives from around the globe came to join in the dawn of a new internet. Letâ€™s just say, itâ€™s a lot to take in. This project is the real dealÂ â€“ the idea is revolutionary […]”

RChain is light years ahead of the industry. Why? It is upholding the principle of correct by constructionÂ with the depth and rigor of mathematics.â€ť

__________

Another one, in the same place: Pyrofex (archived). This is not a bombastic guestpost, it’s authored by Baez.

“Mike Stay is applying category theory to computation at a new startup called Pyrofex. And this startup has now entered a deal with RChain.”

Incidentally (but which fan reads everything?) in the same post Baez is candid about computation and category theory.

“When I first started, I thought the basic story would be obvious: people must be making up categories where the morphisms describe *processes of computation*.

But I soon learned I was wrong: […] the morphisms were *equivalence classes* of things going between data typesâ€”and this equivalence relation completely washed out the difference, between, say, a program that actually computes 237 Ă— 419 and a program that just prints out 99303, which happens to be the answer to that problem.

**In other words, the actual process of computation was not visible in the category-theoretic framework.**” [boldfaced by me]

(then he goes on to say that 2-categories are needed in fact, etc.)

In Applied Category Theory at NIST (archived) we read:

“The workshop aims to bring together two distinct groups. First, category theorists interested in pursuing applications outside of the usual mathematical fields. Second, domain experts and research managers from industry, government, science and engineering who have in mind potential domain applications for categorical methods.”

and we see an animation from the postÂ “Correct-by-construction Casper | A Visualization for the Future of Blockchain Consensus“.

________________________

I never trusted these ideas. I had interactions with some of the actors in this storyÂ Â (example) (another example), basically around distributed GLC . Between 2013-2015, instead of writing programs the fans of GLCÂ practically killed the distributed Â GLC projectÂ because it was all the time presented in misleading terms of agents and processes, despite my dislike. Which made me write chemlambda, so eventually that was good.

[hype] GLC and chemlambda are sort of ideal Lisp machines which you can cut in half and they still work. But you have to renounce at semantics for that, which makes this description very different from the actual Lisp machines.Â [/hype]

How perennial is this blog? I took the top 20 directly accessed posts in each year, for 2017, 2018 and 2019 up to Feb 10.

Conclusion:from the 665 posts from this blog (666 with this one)

- in each year only 20% of the top 20 posts are from the same year. So this blog is not read as a news source, it ages well.
- Â 73% of all posts available ever were accessed directly in 2017, 62% in 2018 and already 20% in the first month and 1/2 of 2019. Because 2019 just started, it follows that at least 60% of all posts since 2011 are read every year.

Also, 2015 and 2016 are not well represented in top 20, probably because of the chemlambda collection. Sad, because there are many other things here than chemlambda, for example posts about OA and OS.

Here is the data. Mind that the data probably represents only post read by people who don’t use blockers, as seen via the stats page of the blog. Helas, I would like to know what is the real situation, while in the same time I advice everybody to use blockers, as I do. As an author, I do need a bit a love though, indulge me.

2019 (up to Feb 10):

- 134 posts accessed,Â Â i.e. 20%Â of all postsÂ up to 2019
- 20% from same year, 30% of posts from same year in the top 20
- 2011 (1), 2012 (4), 2013 (5), 2014 (2), 2015 (0), 2016 (1), 2017 (0), 2018 (3), 2019 (4)

- (2013) Graphic lambda calculus
- (2012) Conversion of lambda calculus terms into graphs
- (2011) The Cartesian Theater: philosophy of mind versus aerography
- (2012) Introduction to graphic lambda calculus
- (2019) Graphic lambda calculus and chemlambda (I)
- (2012) Right angles everywhere (I)
- (2014) Chemlambda
- (2019) Universality of interaction combinators and chemical reactions
- (2018) Diagrammatic execution models (Lambda World Cadiz 2018) compared with chemlambda
- (2012) Right angles everywhere (II), about the gnomon
- (2019) Graphic lambda calculus and chemlambda (II)
- (2014) The price of publishing with arXiv
- (2016) SciHub and patent wars
- (2013) Teaser: B-type neural networks in graphic lambda calculus (I)
- (2013) The Y combinator in graphic lambda calculus and in the chemical concrete machine
- (2019) Kaleidoscope
- (2013) A machine for computing the Ackermann function in graphic lambda calculus
- (2013) Dictionary from emergent algebra to graphic lambda calculus (II)
- (2018) I deleted Facebook, Twitter and entered the Invisible College
- (2018) Projects for 2019 and a challenge

2018:

- 407 posts accessed, i.e. 62% of all posts up to 2018
- 20% from same year, 15% of posts from same year in the top 20
- 2011 (3), 2012 (3), 2013 (5), 2014 (3), 2015 (0), 2016 (1), 2017 (1), 2018 (4)

- (2013) Graphic lambda calculus
- (2012) Conversion of lambda calculus terms into graphs
- (2011) The Cartesian Theater: philosophy of mind versus aerography
- (2014) Chemlambda
- (2018) Diagrammatic execution models (Lambda World Cadiz 2018) compared with chemlambda
- (2011) Gromov’s Ergobrain
- (2013) Cartesian method, scientific method and counting problems
- (2013) A machine for computing the Ackermann function in graphic lambda calculus
- (2012) Right angles everywhere (II), about the gnomon
- (2012) Introduction to graphic lambda calculus
- (2014) The price of publishing with arXiv
- (2013) Teaser: B-type neural networks in graphic lambda calculus (I)
- (2014) Distributed GLC
- (2018) John Baez’ Applied Category Theory 2019 post uses my animation without attribution [updated]
- (2018) What about arXiv/figshare/zenodo and the EU copyright reform?
- (2011) How not to get bored, by reading Gromov and Tao
- (2017) Chemical Sneakernet
- (2018) I deleted Facebook, Twitter and entered the Invisible College
- (2016) Open peer review is something others should do, Open science is something you could do
- (2013) Example: decorations of S,K,I combinators in simply typed graphic lambda calculus

2017:

- 454 posts accessed, i.e.Â 73% of all posts up to 2017
- 20% from same year, 23% of posts from same year in the top 20
- 2011 (3), 2012 (3), 2013 (5), 2014 (5), 2015 (0), 2016 (0), 2017 (4)

- (2013) Graphic lambda calculus
- (2017) The price of publishing with GitHub, Figshare, G+, etc
- (2011) The Cartesian Theater: philosophy of mind versus aerography
- (2012) Conversion of lambda calculus terms into graphs
- (2014) Chemlambda
- (2014) Distributed GLC
- (2013) Cartesian method, scientific method and counting problems
- (2017) Chemlambda for the people (with context)
- (2014) The price of publishing with arXiv
- (2012) Introduction to graphic lambda calculus
- (2012) Right angles everywhere (II), about the gnomon
- (2011) Gromov’s Ergobrain
- (2014) How to use chemlambda for understanding DNA manipulations
- (2013) A machine for computing the Ackermann function in graphic lambda calculus
- (2013) Unlimited detail is a sorting algorithm
- (2011) How not to get bored, by reading Gromov and Tao
- (2013) Hewitt Actor Model, lambda calculus and graphic lambda calculus
- (2014) Zipper logic
- (2017) More experiments with Open Science
- (2017) Back to the drawing board: all strings

Category theory does not make predictions.

This is a black and white formulation, so there certainly are exceptions. Feel free to contradict.

___________________________________________

**UPDATE:** As I’m watching Gromov on probability, symmetry, linearity, the first part:

I can’t stop noticing several things:

- he repeatedly say “we don’t compute”, “we don’t make computations”
- he rightly say that the classical mathematical notation hides the real thing behind, like for example by using numbers, sets, enumerations (of states for ex.)
- and he clearly thinks that category theory is a more evolved language than the classical.

Yes, my opinion is that indeed the category theory language is more evolved than classical. But there is an even more evolved stage: computation theory made geometrical (or more symmetric, without the need for states, enumerations, etc).

Category theory is some kind of trap for those mathematicians who want to say somethingÂ is computable or something is, or should be an algorithm, but they don’t know how to say it correctly. Corectly means without the burden of external, unnatural bagagge, like enumeration, naming, evaluations, etc. So they resort to category theory language, because it allows them to abstract over sets, enumerations, etc.

There is no, yet, a fully geometrical version of computation theory.

What Gromov wants is to express himself in that ideal computation theory, but instead he only has category theory language to use.

Gromov computes and then he says this is not a computation.

Grothendieck, when he soaks the nut in the water, he lets the water compute. He just build a computer and let it run.Â He reports the results, that’s what classical mathematical language permits.

That’s the problem with category theory, it does not compute, properly, just reports the results of it.

___________________________________________

As concerns the real way humans use category theory…

Mathematicians use category theory as a tool, or as a notation, or as a thought discipline, or as an explanation style. Definitely useful for the informed researcher! Or a life purpose for a few minds.

All hype for the fans of mathematics, computer science or other sciences. To them, category theory gives the false impression of understanding. Deep inside, the fan of science (who does not want/have time/understands anything of the subject) feels that all creative insights are based on a small repertoire of simple (apparently) tricks. Something that the fan can do, something which looks science-y, without the effort.

Then, there are the programmers, wonderful clever people who practice a new science and long for recognition from the classics đź™‚ Category theory seems modular enough for them. A tool for abstraction, too, something they are trained in.Â And — why don’t you recognize? — with that eternal polish of mathematics, but without the effort.

This is exploited cynically by goodÂ public communicators with a creativity problem.Â The recipe is: explain. Take an older, difficult creation, wash it with category theory and present it as new.

Unexpectedly and somehow contrary to my fresh posting about my plans for 2019, during the week of Jan 7-12, 2019 a new project appeared, which is temporary named Kaleidoscope. [Other names, until now: kaleidos, morphoo. Other suggestions?]

This post marks the appearance of the project in my log. I lost some time for a temporary graphical label of it:

I have the opinion that new, very promising projects need a name and a label, as much as an action movie superhero needs a punchline and a mask.

So what is the kaleidoscope? It is as much about mechanical computers (or physically embedded computation) as it is about graph rewrite systems and about space in the sense of emergent algebras and about probabilities. It is a physics theory, a computation model and a geometry in the same time.

What can I wish more, research wise?

Yes, so it deserves to be tried and verified in all details and this takes some time. I do hope that it will survive to my bugs hunt so that I can show it and submit it to your validation efforts.

9 months ago I deleted my Twitter account, see this post.Â Just now I looked to see if there are traces left. To my surprise I get the message:

“This account has been suspended. Learn more about why Twitter suspends accounts or return to your timeline.”

See for yourself: link.

This is a lie. I feel furious about the fact that this company shows a misleading information about me, long after I deleted my account.

%d bloggers like this: