Category Archives: Computation

Combogenesis and Alphakits

Let us calculate!

— Gottfried Leibnitz

I admit it, I’m rather a Utopian.

Perhaps I’ve been thinking all this time that it should be possible to find a reduced set of words, symbols, or even concepts that could serve as a basic core of human expression and being, some kind of fundamental proto-language that might cut across all cultures and yet connect all individuals. Something to undo the “Tower of Babel” and be able to heal all misunderstandings, resolve all disagreements, and find everyone’s common ground. I see now I have fallen down the “perfect language” rabbit-hole.

Of course, along with our imperfect languages we also have to deal with our imperfect thoughts and our imperfect feelings. Not only do we want to hide what we’re really thinking and feeling from others, we want to hide it from ourselves. Is it because we don’t want others to know the weakness and darkness within us, or we don’t want to face those parts of our own identities? Perhaps that is the main problem with language, the ease with which we can lie to both ourselves and others, and our eagerness to accept these lies.

Psychology is supposed to help us understand ourselves better. But before that, there were the Tarot decks, Ouija boards, and the I Chings that were supposed to illuminate our thoughts and actions, and help us perceive, however dimly, a little clearer into the past and future. I’m sure I’m not alone in thinking that such devices merely bring concepts to the forefront of the conscious mind and allow one to engage in creative and playful thinking. Maybe they tie into the “unconscious”, whatever that really means, and if not, then what is the source of their utility?

In the same vein, there are other instruments purported to aid in the effort to know thyself, such as Astrology and Myers-Briggs. Astrology has also been used for divination and that is its popular and sad ubiquity, that is “your daily horoscope”. Myers-Briggs is popular in the business world to help the managers manage and to resolve conflicts, and takes itself more seriously. In my foolishness, even though I didn’t believe that there was a perfect language lost in antiquity, perhaps I thought I could invent one anew like Ramon Llull or Gottfried Leibnitz!

Does language reveal reality or does it mask it? Can it blend and synthesize different realities or can it shape and create the very reality we inhabit? I’ve been mulling over the idea of what the next combogenetic alphakit might be, after chemical-molecular, biological-genetic, and symbolic-linguistic. Could it be something hyper-linguistic or hyper-cognitive, to serve as a perfect language, melding syntax, semantics, pragmatics? Or could it be something completely different, a blending of mathematics and philosophy?

Or even a new type of computer science? Such studies are still in their infacy, so one hopes for future breakthroughs and grand theories of logical systems and (e)valuations. Could a machine that creates reality from mere thought be the perfect language we seek, one that performatively produces no ambiguity by changing the abstract into the concrete, the inner into the outer? The Krell machine in the movie Forbidden Planet was one such hypothetical device, and showed the folly of a scheme that granted god-like powers to mere mortals.

Possibly better is a system that starts from grounding axioms that are so simple and fundamental that all must agree with their basis, utilizes logics that are so straightforward and rational that all must agree with their validity, demonstrates proofs that are so rigorous that all must agree with their worth, all enabled by overarching schemas that allow the truth of all things to vigorously and irrefutably shine. Even then, humankind might be too weak to suffer the onslaught against its fragile and flawed cogitations.

But O, what a wonderful world it might be.

Further Reading:

Umberto Eco / The Search for the Perfect Language

https://equivalentexchange.blog/2019/07/07/the-arcane-arts-of-ramon-llull-the-dignities/

https://equivalentexchange.blog/2019/05/22/combogenesis-a-constructive-emergent-cosmos/

https://equivalentexchange.blog/2018/09/07/the-myer-briggs-type-indicator/

https://equivalentexchange.blog/2019/11/07/the-twelve-houses-of-the-zodiac/

https://equivalentexchange.blog/2013/12/06/the-tempest-and-forbidden-planet/

https://equivalentexchange.blog/2011/08/04/the-64-hexagrams-of-the-i-ching/

https://en.wikipedia.org/wiki/Hedgehog%27s_dilemma

[*11.132]

<>

The Arcane Arts of Ramon Llull : the Dignities

Oh, Ramon Llull, where have you been all my life? I’m sure he’s been there all along, death now over seven hundred years in the past, just like always. His legacy seems at first glance to be quite the essence of medieval religion and scholastic philosophy, but still significantly and obscurely different to be enticing to this one. And on further examination, much more.

My schema above has little to do with his grand elaborate figures, except for listing the sixteen attributes he called “dignities”. Llull’s diagrams are full of clock-like wheels within wheels, complicated tableau, and combinatorial patterns. He wished to create a universal model to understand reality, and who wouldn’t want to discover the same? It is said that his methods are akin to an early computer science, and I’m just now starting to understand why.

The magister based the substance of his methods on his Christian faith, although he converted in midlife from Islam. Living in Barcelona, it was probably a good place to make such a change, but felt his calling was to convert others as well, so traveling he went. The methods he developed to convince others of their errors in belief were quite remarkable, as were the volume of his writing.

Like Gottfried Wilhelm Leibniz, who lived four hundred years later and was influenced by him, Llull wished to automate reasoning. But instead of building mechanical devices, Llull built computers from paper and ink, rulers and drawing compasses, scissors and glue. And instead of numbers as the smallest tokens of his computer, he used abstractions (i.e. words) that he felt would be understood by everyone in exactly the same way.

For example, he enumerated these sixteen dignities or aspects of his Christian diety, although sometimes he used the first nine. His constructions allowed one to pose questions and then obtain answers mechanistically that would be convincing to all observers of the correctness of the result. Too bad he was ultimately stoned to death while on his missionary work, although he lived to be eighty two.

Llull’s devices remind me of some of my pitiful charts and diagrams, and make me wonder if I may either adapt some of his techniques to my own use, or be inspired to develop others. I suspect I have locked myself into limitations by my approach, or are these constraints to my advantage? It might be hard to have spinning elements, but I can envision sliding elements like Napier’s Bones, origami-style folding and pleating, and even physical constructions like linkages and abacuses.

Now a martyr within the Franciscan Order, Llull’s feast day is June 30, which I’ve now missed. I hope to remember him to repost or improve on this by next year.

Further Reading:

https://en.wikipedia.org/wiki/Ramon_Llull

https://plato.stanford.edu/entries/llull/

http://trepanatus.blogspot.com/2007/06/ramon-llull.html

https://history-computer.com/Dreamers/Llull.html

http://www.ramonllull.net/sw_studies/studies_original/compsale.html

https://publicdomainreview.org/2016/11/10/let-us-calculate-leibniz-llull-and-computational-imagination/

http://www.ncregister.com/blog/astagnaro/bl.-raymond-lull-and-the-worlds-first-computer

https://dangerousminds.net/comments/the_13th_century_thinking_machine_of_ramon_llull

The memory wheel

https://www.google.com/search?q=ars+magna+llull&tbm=isch

[*11.118]

<>

A Rosetta Stone

Abstract of Physics, Topology, Logic and Computation: A Rosetta Stone by John Baez and Michael Stay:

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a “cobordism”. Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of “closed symmetric monoidal category”. We assume no prior knowledge of category theory, proof theory or computer science.

  • Physics
  • Logic
  • Topology
  • Computation

Perhaps Category Theory is a “Fifth Essence”?

Further Reading:

http://math.ucr.edu/home/baez/rosetta/rose3.pdf

https://arxiv.org/abs/0903.0340

[*9.168, *10.50]

<>

Speak, Listen, Write, and Read

Here’s another simple fourfold and maybe sixfold.

Speaking, Listening, Writing, and Reading are commonly presented together in elementary education as interrelated language skills. One is speaking for a listener and one is writing for a reader. One is listening to a speaker and one is reading a writer.

In the computer age another pair needs to be mentioned, that of programming for computers and the execution or running of that code by the computer. In a way, this new pair doesn’t fit, since one is writing code for computers, not people. And the execution of the program is not performed by a person, but by a computer.

(That’s not entirely true. Programs are also written for other human programmers in mind so that they can debug or maintain or modify the code if the original programmer isn’t available. Structured programming is one method to simplify the logical organization of the program so that others can comprehend it more readily. Object oriented programming is another method to allow multiple programmers to work independently without conflict.)

  • Speak – Listen
  • Write – Read
  • Program – Execute

But perhaps there is a different way to understand these duals. A speaker understands that a listener is following their speech by their response. A writer understands that a reader is comprehending their writing by their response. A programmer understands that a computer is ‘understanding’ the code by its response or output when the program is run.

Also, one can consider speech and writing to be encodings of thoughts into physical representations, and listening and reading to be decoding of the representations back into thoughts. Running or executing a program is not really decoding, or is it? But it is something like processing the speech or writing, like a computer is processing the program.

One might say that listening and reading are like processing the speech and text as programs on the computer of our brains. They are normally thought to be processed as data, as in Natural Language Processing, but it is an interesting twist if one considers them as programs. (Actually, I just recalled that the 1992 science-fiction novel “Snow Crash” by Neal Stephenson used this notion.)

To program effectively the programmer must execute their code in their mind, at least piecemeal and partially, just as a speaker or a writer must listen as they speak and read over what they have written. They can’t understand the full effect of the program’s execution, especially once the program becomes larger than a few statements, just as the full effect of speech or writing that is being processed by another person cannot be completely understood.

Not considered are computers themselves writing programs for other computers to “read” or execute. As the science of artificial intelligence becomes mature, computers writing and reading among themselves may become a common thing. Wasn’t there a news article about that recently? They pulled the plug on that pretty fast.

As digital assistants become more ubiquitous, they are fully participating in our language games of speaking, listening, writing, and reading. Will these so-called virtual assistants program for us next, as in Automatic Programming? That day may already be here.

Further Reading:

https://www.englishclub.com/learn-english/language-skills.htm

https://en.wikipedia.org/wiki/Natural_language_processing

https://www.theatlantic.com/technology/archive/2017/06/artificial-intelligence-develops-its-own-non-human-language/530436/

https://en.wikipedia.org/wiki/Automatic_programming

N. Katherine Hayles / My Mother was a Computer: digital subjects and literary texts

Neal Stephenson / Snow Crash

https://en.wikipedia.org/wiki/Virtual_assistant_(artificial_intelligence)

Images:

https://www.google.com/search?q=speak+listen+write+read&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwi14LrrsarXAhUG6CYKHaugBH4QsAQIVQ

[*9.50, *10.36, *10.46]

<>

The Duality of Time and Information, V3

 

The states of a computing system bear information and change time, while its events bear time and change information.

from The Duality of Time and Information by Vaughn Pratt

The most promising transformational logic seems to us to be Girard’s linear logic.

— from Rational Mechanics and Natural Mathematics by Vaughn Pratt

 

Here we have three duals:

  • Information – Time
  • States – Events
  • Bear – Change

Further Reading:

Vaughan Pratt / The Duality of Time and Information http://boole.stanford.edu/pub/dti.pdf

Vaughan Pratt / Time and Information in Sequential and Concurrent Computation http://boole.stanford.edu/pub/tppp.pdf

Vaughan Pratt / Rational Mechanics and Natural Mathematics http://chu.stanford.edu/guide.html#ratmech

[*5.170]

<>

A Digital Universe, V2

A digital universe – whether 5 kilobytes or the entire Internet – consists of two species of bits: differences in space, and differences in time. Digital computers translate between these two forms of information – structure and sequence – according to definite rules. Bits that are embodied as structure (varying in space, invariant across time) we perceive as memory, and bits that are embodied as sequence (varying in time, invariant across space) we perceive as code. Gates are the intersections where bits span both worlds at the moments of transition from one instant to the next.

— George Dyson, from Turing’s Cathedral

Further Reading:

George Dyson / Turing’s Cathedral: the origins of the digital universe

Notes:

Embodied as Structure, Perceived as Memory

Invariant across Time: ¬ΔT
Varying in Space: ΔS

Embodied as Sequence, Perceived as Code

Varying in Time: ΔT
Invariant across Space: ¬ΔS

https://equivalentexchange.wordpress.com/2012/04/12/a-digital-universe/

[*7.82, *7.83, *7.153, *10.14]

<>

Propositions as Types

sq_propositions_as_types3For almost 100 years, there have been linkages forged between certain notions of logic and of computation. As more associations have been discovered, the bonds between the two have grown stronger and richer.

  • Propositions in logic can be considered equivalent to types in programming languages.
  • Proofs of propositions in logic can be considered equivalent to programs of given type in computation.
  • The simplification of proofs of propositions in logic can be considered equivalent to the evaluation of programs of types in computation.

The separate work of various logicians and computer scientists (and their precursors) can be paired:

  • Gerhard Gertzen’s work on proofs in intuitionistic natural deduction and Alonzo Church’s work on the simply typed lambda calculus.
  • J. Roger Hindley and Robin Milner’s work on type systems for combinatory logic and programming languages, respectively.
  • J. Y. Girard and John Reynold’s work on the second order lambda calculus and parametric polymorphic programs, respectively.
  • Haskell Curry’s and W. A. Howard’s work on the overall correspondence between these notions of proofs as programs or positions as types.

Logic and computation are the sequential chains of efficient causation and actions. Propositions and types are the abstract grids of formal causation and structures. Proofs and programs are the normative cycles of final causation and functions. Simplification and evaluation are the reductive solids of material causation and parts.

References:

Philip Wadler / Propositions as Types, in Communications of the ACM, Vol. 58 No. 12 (Dec 2015) Pages 75-85.

http://cacm.acm.org/magazines/2015/12/194626-propositions-as-types/fulltext

Preprint at

http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf

Also see:

http://www.drdobbs.com/old-ideas-form-the-basis-of-advancements/184404384

https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

https://en.wikipedia.org/wiki/System_F

https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

[*9.92-9.94]

<>