Archive for the ‘Mathematics’ Category

Four Forms Make a Universe, Part 2

March 17, 2019

This is a continuation of my last entry. Above is a different representation of the LICO alphabet, with the letters turned 45 degrees counter-clockwise, and rearranged into a symmetric pattern. The letters seem to arise more naturally in this orientation, but then Schmeikal rotates them into his normal schema.

And to the right is a diagram of the logical expressions that correspond to the letters above.

After making these new diagrams, I became inspired and made a few other figures to share with you.

These two versions, with triangles instead of line segments, and also with borders between adjacent triangles removed:






And these two versions, with quarter circles, and also with edges between adjacent quarter circles removed:







Further Reading:

[* 11.50, *11.58]





Four Forms Make a Universe

March 12, 2019

How could I not love a paper with this title? I’ve struggled with it for a bit, and I’ve only managed a couple of diagrams relating the author’s LICO (Linear Iconic) alphabet made up of 16 letters. However, I see that there are a few other papers by Schmeikal available on ResearchGate that look easier to understand. But also however, the first one says to read the “Four Forms” paper first!

At any rate, I present a sixteen-fold of the LICO alphabet, and another of the binary Boolean operators that are in a one-to-one mapping with LICO. There is much to understand from these papers, including much syncretism between various mathematical sixteen-folds, so please forgive me if I don’t explain it all with immediate ease. However, I believe it is well worth the effort to understand.

(Please note that the characters of the LICO alphabet are oriented so that the bottoms of the letters are downward, but the Boolean operators are oriented so that the bottoms of the equations are towards the right angles of the triangles.)

The title comes from the result that four elements of LICO can reproduce the other twelve via linear combinations. These four forms are the Boolean True (A or ~A), A, B, and A=B. These are within the interior right-hand triangles in the LICO diagram. Of course, it is well known from Computer Science that the NAND operator (~A or ~B) can also generate all other fifteen operators, but this is by multiple nested operations instead of simple Boolean arithmetic. There are several other “universal” binary gates that can do this as well.

Two other representations that have four elements that can generate the other twelve via linear combinations come from CL(3,1), the Minkowski algebra. These representations are called “Idempotents” and  “Colorspace vectors”. Because of this algebra’s association with space and time in relativity, Schmeikal claims that LICO has ramifications in many far-ranging conceptualizations.

Further Reading:

Bernd Schmeikal / Four Forms Make a Universe, in Advances in Applied Clifford Algebras (2015), Springer Basel (DOI 10.1007/s00006-015-0551-z)


Bernd Schmeikal / Free Linear Iconic Calculus – AlgLog Part 1: Adjunction, Disconfirmation and Multiplication Tables

Bernd Schmeikal / LICO a Reflexive Domain in Space-time (AlgLog Part 3)





February 25, 2019

Octonions are the fourth, the last, and the greatest of the so-called normed division algebras based on the Real numbers. When I first learned about the Octonions way back when, I didn’t like them because they weren’t associative like the Quaternions, the Complex numbers, and the Reals. But now I’m fine with that, and they may be important for new theories of physics!

Octonions have the general form:

a0e0 + a1e1 + a2e2 + a3e3 + a4e4 + a5e5 + a6e6 + a7e7

Where the coefficients ai are Real and the bases ei have (something like) the following relations:

e0 = 1 (and -1 = e12 = e22 = …)

e1 = I = e2e3 = e7e6 = e4e5

e2 = J = e5e7 = e3e1 = e4e6

e3 = IJ = e1e2 = e6e5 = e4e7

e4 = K = e5e1 = e6e2 = e7e3

e5 = IK = e7e2 = e1e4 = e3e6

e6 = JK =e5e3 = e1e7 = e2e4

e7 = IJK = e6e1 = e3e4 = e2e5

In addition, if any of the products like e2e3 = e1 are reversed you get the negative, so e3e2 = -e1.

Non-associativity is demonstrated by going through the list of triples:

(e1e2)e3 = e32 = -1

e1(e2e3) = e12 = -1

(e1e2)e4 = e3e4 = e7

e1(e2e4) = e1e6 = -e7

(e1e2)e5 = e3e5 = -e6

e1(e2e5) = e1e7 = e6

so it is hit or miss I guess. Also note that e7 = (IJ)K = -I(JK). And for all (eiej)ek and ei(ejek), if they are not equal, is one equal to the negative of the other? And do I have to multiply them all out to find out?

Further Reading:




February 22, 2019

The Quaternions are a number system that enlarges the Complex numbers, just as the Complex numbers enlarge the Real numbers. In fact, Quaternions can be thought as special pairs of Complex numbers, just as Complex numbers can be thought as special pairs of Real numbers.

Quaternions can be used for all sorts of wonderful things, such as rotations in 3D space, instead of using matrices. Above is a pitiful diagram (although better than my last one) of the Quaternion units 1, i, j, and k used in the typical representation a + b i + c j + d k. Please read about them in the links below and be amazed!

Further Reading:





The Free Energy Principle

November 27, 2018

Below is a link to a fascinating article about Karl Friston, whose research on the “free energy principle” (also known as active inference) tries to explain how biological (or even artificial) systems maintain or even increase their organization. Without much explanation, here are some details. The model is a system with four main variables:

  • Sense (s)
  • Action (a)
  • Internal States (r or μ)
  • Hidden States (ψ)

Sense and action divide the internal states of the system from the hidden states external to it. This division is called a “Markov Blanket”. I’ve tried to show the equations between the variables correctly but I’m not too sure if I have them right. They seem to change from paper to paper. F is an expression of the free energy, but I’m not sure what f is at the moment, except for being some sort of “flow”.

Further Reading:






Viete’s Method of Constructing Pythagorean Triples

October 24, 2018

Number is the ruler of forms and ideas, and the cause of gods and daemons.

— Pythagoras, as attributed by Iamblichus

This diagram shows (but not to scale ;-)) a clever method of constructing two Pythagorean triples given any two other Pythagorean triples due to Francois Viete.

Given (a, b, c, d, e, f are integers):

a^2 + b^2 = c^2
d^2 + e^2 = f^2

two other triples are found by synaeresis:

A = ae + bd
B = be – ad

and diaeresis:

D = ae – bd
E = be + ad

(I guess a, b, d, and e can always be picked so that B > 0 and D > 0, that is, be > ad and ae > bd?)

so that:

A^2 + B^2 = (cf)^2
D^2 + E^2 = (cf)^2


Further Reading:

Special thanks to Pat’s Blog for this little gem:

Additionally, these relationships are also used in Fermat’s Theorem on sums of 2 squares

[*9.138, *10.186, *10.187]


Science, Technology, Engineering, and Mathematics

June 14, 2018

STEM: Science, Technology, Engineering, and Mathematics. We often hear that these areas of education and expertise are critical for the development of our modern society. To attract students to these fields, banners and logos are full of bright colors and crisp graphics. In comparison, above is my rather dull diagram. Not very enticing, is it?

Some are now adding Arts to the four, giving STEAM. I think the Arts are important of course, but fives don’t go with my oeuvre.

In addition, I give you a diagram with Chinese substituted for English (科學 技術 工程 數學).

Further Reading:,_technology,_engineering,_and_mathematics



Fourier Analysis, V2

December 8, 2017

Here is another example of a fourfold, in the mathematics of Fourier Analysis. Here the four elements of our investigation resolve into Discrete Time, Continuous Time, the Fourier Series, and the Fourier Transform.

From the three dualities of Time – Frequency, Periodic – Aperiodic, and Discrete – Continuous, we obtain the four combinations Discrete Time/Periodic Frequency, Continuous Time/Aperiodic Frequency, the Fourier Series (Periodic Time/Discrete Frequency), and the Fourier Transform (Aperiodic Time/Continuous Frequency).

In the table below, T stands for Time and f for Frequency. The subscripts denote the attributes of each: D for Discrete, C for Continuous, P for Periodic, and A for Aperiodic. So T subscript C, f subscript A means that when Time is Continuous, Frequency is Aperiodic, etc. Please see Steve Tjoa’s web site for the equations for the Fourier Series and the Fourier Transform in Continuous and Discrete Time.References:

[*7.74, *7.108]


A Rosetta Stone

December 6, 2017

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:

[*9.168, *10.50]


The Duality of Time and Information, V3

October 1, 2017


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

Vaughan Pratt / Time and Information in Sequential and Concurrent Computation

Vaughan Pratt / Rational Mechanics and Natural Mathematics




Every Fourth Thing


Derek Wise's blog: Mathematics, Physics, Computing and other fun stuff.


integrating 4 binary opposites in life, learning, art, science and architecture


integrating 4 binary opposites in life, learning, art, science and architecture

Playful Bookbinding and Paper Works

Chasing the Paper Rabbit

Antinomia Imediata

experiments in a reaction from the left

Digital Minds

A blog about computers, evolution, complexity, cells, intelligence, brains, and minds.

Social Systems Theory

A blog inspired by Niklas Luhmann and other social theorists


A collective of creatives bound by a single motto: There's nothing in the rulebook that says a giraffe can't play football!

you're always being judged

games and stories and things by Malcolm Sheppard

philosophy maps

mind maps, infographics, and expositions

Photon Stimulus

A Card Study of Sorts

hyde and rugg

neat ideas from unusual places

John Kutensky

The way you think it is may not be the way it is at all.

Visions of Four Notions

Introduction to a Quadralectic Epistomology

The Science Geek

Astronomy, space and space travel for the non scientist


Every Fourth Thing

The Immortal Jukebox

A Blog about Music and Popular Culture

at any streetcorner

Melanie Dorn. Boston.

Ideas Without End

A Serious Look at Trivial Things

Quadralectic Architecture

A Survey of Tetradic Testimonials in Architecture

Minds and Brains

Musings from a Naturalist

Lorna Phone

Visual essays for a digital world


Four-fold thinking4you

Multisense Realism

Craig Weinberg's Cosmology of Sense

RABUJOI - An Anime Blog

Purveyors of Fine Anime Reviews and Ratings Since 2010

Maxwell's Demon

Vain attempts to construct order


Between Subject and Object

The Woodring Monitor

Every Fourth Thing


Every Fourth Thing


Every Fourth Thing

The n-Category Café

Every Fourth Thing


Every Fourth Thing

Every Fourth Thing


Sometimes those Sticking their Heads in the Sand are Looking for Something Deep


Online Home of Christopher Vitale, Associate Professor of Media Studies, The Graduate Program in Media Studies, Pratt Institute, Brooklyn, NY.


Researching the Demands of Thought

Aberrant Monism

Spinozism and Life in the Chaosmos

Object-Oriented Philosophy

"The centaur of classical metaphysics shall be mated with the cheetah of actor-network theory."

Objects & Things

objects & things, design, art & technology

%d bloggers like this: