Archive for the ‘Category Theory’ Category

What Are Numbers? Math is most abstracted physics!

June 27, 2019

German mathematician Richard Dedekind (1831–1916) published in 1888 a paper entitled Was sind und was sollen die Zahlen? What are numbers and what should they be? 

Here is my answer: forget what you know. 

Numbers are neural networks. Small numbers have small networks, big ones, big networks; so the nature of numbers, change, as they get bigger…(According to me, listening, delighted, to the indignant screams of distant mathematicians ).

Diagram Chasing all of them: not a coincidence. Instead of having “It from Bit”, one has it from action (arrow in Cat theory, action potential with neurons, fundamental process in physics…)

A few immediate applications of this master idea:

  1. Numbers are learned, because neural networks are learned.
  2. Advanced animals, having advanced neural networks, should be capable of having those neural networks we call numbers.
  3. Big numbers are different from small numbers, because big neural networks are different from small ones. Here again is the idea that energy should matter in mathematics (the conventional thinking being just the opposite: energy doesn’t matter).

***

Kronecker’s also quipped: “God made the natural numbers. Everything else is the work of man.

Kronecker proceeded to define numbers from Set Theory, invented for the purpose. Later Bertrand Russell found a problem with Set Theory, the set of sets which are not elements of themselves brought a contradiction. Russell tried to get out of that with a hyper complicated theory. In modern times, mathematicians prefer to use Category Theory. [1]

I go beast on how to construct numbers. Beasts have brains, and brains have neural networks.

Kronecker thought mathematics is the work of man. But, actually all advanced animals move in a way proving they are capable of differential calculus. Far from being the work of god, differential calculus is the “work” of dog. Without differential calculus, that dog can’t hunt. OK, dog is not conscious of god, or of the calculus it’s using. So what?   

Now for a few easy bits:

*** 

Let’s notice that numbers are definitely the work of the genus Homo: 

Consider the integer 152. 152 is the work of man. Just like “Yes” is the work of the Englishman. 

152 means: 100 + 5×10 + 2. But that’s only in base ten. In base 60, that would be: 60 x 60 + 5 x 60 + 2… Which converts to 3,902  back in base ten. 

So “152” is not an absolute notion. For that integer to make sense, the basis in which it lives has to be expressed (and what the notation means, such as 2 = 1+1…). The Babylonians invented base 60 to handle big numbers in astronomy. We still use base 60 to this day, for angles and time. So “152” is a cultural construction. In several ways. 

***

So how come Platonists claim that numbers live out there, in a special realm of their own, if there is so much human explanation and convention to provide, with just basic numbers? Most mathematicians also believe their are exploring that realm of Plato. But actually all they are exploring is the possible connections which can be built within the neural networks inside their brains. So they are exploring physics, a bit like a child on a beach explores which sand castle she can get away with. A difference with building sand castles is that the possibilities are few and are carefully recorded, becoming the body of that culture and language called “mathematics”. 

An example is the Archimedean axiom. The Greeks knew about it well: it’s in Euclid, and it says that, given two magnitudes, A and B, there is always an integer n so that: nA > B.

If one denies that axiom, one gets infinitesimals… That was made rigorous through Model Theory, in the 1950s, three centuries after Leibnitz first introduced infinitesimals, starting a fight with Newton.

No Plato universe of “forms”… or rather, they exist, but live as geometries inside brains…

Even more dramatic are hyperbolic and elliptic geometries: they were discovered at least a century before Euclid. Then they were forgotten, and a stupid debate occurred for 21 centuries about whether the parallel axiom (one parallel to a line, one only, through a point off the line) was independent of the others. Mathematicians, even the brightest, had forgotten that their ancestors had found geometries with many, or no, parallels…)

***

Let’s recapitulate: culture is composed of (vague, but good enough) descriptions of neural networks, which can be transmitted. Once contracted, those neural network templates modify brains in similar ways. Those similarly modified brains behave all similarly, mimicking innate characteristics.  

Language enables a transmission of neural geometries, topologies, logics, and categories. Language is primitive in most advanced animals, consisting in grunts, cooing, gestures, etc. But in Homo language became an advanced mental cultural duplication system (and some of the mentality passed is mathematical, but not only). 

True, advanced animals have a sort of pseudo-innate capability to evolve neurobiological mathematical structures: through trial and errors mimicking their relatives, or experimentation with what works, young animals brains learn to optimize trajectories: the brains of many predators in pursuit make subsets of themselves into differential calculus machines. 

So if Plato’s “forms” are real forms in (generalized) geometry and topology… what are the latter made of? Good question! Therein come our old friend, the Quantum Wave… 

Clearly, math is the most abstracted physics.

Patrice Ayme

MATH AS NEUROLOGY, NEUROLOGY AS PHYSICS

April 22, 2015

 

After demolishing erroneous ideas some 25 centuries old, some brand new, I explain why Mathematics Can Be Made To Correspond To A Subset Of Neurology. And Why Probably Neurology Is A Consequence Of Not-Yet Imagined Physics.

Distribution of Prime Numbers Reworked Through Fourier Analysis: It Nearly Looks Like Brain Tissue

Distribution of Prime Numbers Reworked Through Fourier Analysis: It Nearly Looks Like Brain Tissue

SOCRATISM, PLATONISM ARE WRONG:

Einstein famously declared that: “How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality?”

Well, either it is an unfathomable miracle, or something in the premises has to give. Einstein was not at all original here, he was behaving rather like a very old parrot.

That the brain is independent of experience is a very old idea. It is Socrates’ style “knowledge”, a “knowledge” given a priori. From there, naturally enough aroses what one should call the “Platonist Delusion”, the belief that mathematics can only be independent of experience.

Einstein had no proof whatsoever that”thought is independent of experience”. All what a brain does is to experience and deduct. It starts in the womb. It happens even in an isolated brain. Even a mini brain growing in a vat, experiences (some) aspects of the world (gravity, vibrations). Even a network of three neurons experiences a sort of inner world unpredictable to an observer: https://patriceayme.wordpress.com/2015/03/15/three-neurons-free-will/

Latest Silliness: Smolin’s Triumph of the Will:

The physicist Lee Smolin has ideas about the nature of mathematics:

Smolin:

“the main effectiveness of mathematics in physics consists of these kinds of correspondences between records of past observations or, more precisely, patterns inherent in such records, and properties of mathematical objects that are constructed as representations of models of the evolution of such systems … Both the records and the mathematical objects are human constructions which are brought into existence by exercises of human will; neither has any transcendental existence. Both are static, not in the sense of existing outside of time, but in the weak sense that, once they come to exist, they don’t change”

Patrice Ayme: Smolin implies that “records and mathematical objects are human constructions which are brought into existence by exercises of HUMAN WILL; neither has any transcendental existence”. That’s trivially true: anything human has to do with human will.

However, the real question of “Platonism” is: why are mathematical theorems true?

Or am I underestimating Smolin, and Smolin is saying that right and wrong in mathematics is just a matter of WILL? (That’s reminiscent of Nietzsche, and Hitler’s subsequent obsession with the “will”.)

As I have known Smolin, let me not laugh out loud. (“Triumph of the Will” was a famous Nazi flick.)

I have a completely different perspective. “Human will” cannot possibly determine mathematical right and wrong, as many students who are poor at mathematics find out, to their dismay!

So what determines right and wrong in mathematics? How come enormously complex and subtle mathematical objects, which are very far from arbitrary, exist out there?

I sketched an answer in “Why Mathematics Is Natural”. It does not have to do with transcendence of the will.

***

AXONAL LOGIC IS MATHEMATICAL LOGIC, NEUROLOGY IS MORE:

Neurology, the logic of neurons, contains what one ought to call axonal logic, a sub-category.

Axonal logic is made of the simplest causal units: neuron (or another subset of the brain) A acts on neuron (or brain subset) B, through an axon. This axonal category, a sub-category, corresponds through a functor, from neurology to mathematical logic. To A, and B are associated a and b, which are propositions in mathematical logic, and to the axon, corresponds a logical implication.

Thus one sees that mathematics corresponds to a part of neurology (it’s a subcategory).

Yet, neurology is vastly more complicated than mathematical logic. We know this in many ways. The very latest research proposes experimental evidence that memories are stored in neurons (rather than synapses). Thus a neuron A is not a simple proposition.

Neurons also respond to at least 50 hormones, neurohormones, dendrites, glial cells. Thus neurons need to be described, they live, into a “phase space” (Quantum concept) a universe with a vast number of dimensions, the calculus of which we cannot even guess. As some of this logic is topological (the logic of place), it is well beyond the logic used in mathematics (because the latter is relatively simplistic, being digital, a logic written in numbers).

The conclusion, an informed guess, is that axons, thus the implications of mathematical logic, are not disposed haphazardly, but according to the laws of a physics which we cannot imagine, let alone describe.

And out of that axonal calculus springs human mathematics.

***

HOW TO PROVE THAT MATHEMATICS IS NEURONAL PHYSICS?

If my hypothesis is true, mathematics reduces to physics, albeit a neuronal physics we cannot even imagine. Could we test the hypothesis?

It is natural to search for guidance in the way the discovery, and invention, of Celestial Mechanics proceeded.

The Ancient Greeks had made a gigantic scientific mistake, by preferring Plato’s geocentric hypothesis, to the more natural hypothesis of heliocentrism proposed later by Aristarchus of Samos.

The discovery of impetus and the heliocentric system by Buridan and his followers provides guidance. Buridan admitted that, experimentally heliocentrism and “scripture” could not be distinguished.

However, Buridan pointed out that the heliocentric theory was simpler, and more natural (the “tiny” Earth rotated around the huge Sun).

So the reason to choose heliocentrism was theoretical: heliocentrism’s axiomatic was leaner, meaner, natural.

In the end, the enormous mathematical arsenal to embody the impetus theory provided Kepler with enough mathematics to compute the orbit of Mars, which three century later, definitively proved heliocentrism (and buried epicycles).

Here we have a similar situation: it is simpler to consider that mathematics arises from physics we cannot yet guess, rather than the Platonic alternative of supposing that mathematics belong to its own universe out there.

My axiomatic system is simpler: there is just physics out there. Much of it we call by another name, mathematics, because we are so ignorant about the ways our mind thinks.

Another proof? One can make a little experiment. It requires a willing dog, a beach, and a stick. First tell the dog to sit. Then grab the stick, and throw it in the water, at 40 degree angle relative to the beach. Then tell the dog to go fetch the stick. Dogs who have practiced this activity a bit will not throw themselves in the water immediately. Instead they will run on the beach a bit, and then go into the water at an angle that is less than 90 degrees.

A computer analysis reveals that dogs follow exactly the curve of least time given by calculus. Dogs know calculus, but they did not study it culturally! Dogs arrived at correct calculus solutions by something their neurology did. They did not consult with Plato, they did not create calculus with their will as Smolin does.

It’s neurology which invents, constructs the mathematics. It is not in a world out there life forms consult with.

Patrice Ayme’

Causality Explained

March 29, 2015

WHAT CAUSES CAUSE?

What Is Causality? What is an Explanation?

Pondering the nature of the concept of explanation is the first step in thinking. So you may say that there is nothing more important, nothing more human.

I have a solution. It is simplicity itself. I go for the obvious model:

Mathematics, logic, physics, and the rest of science give a strict definition of what causality, and an explanation is.

How?

Through systems of axioms and theorems.

Some of the sub-systems therein have to do with logic (“Predicate Calculus”). They are found all over science and common sense (although they will not be necessarily present in systems of thought such as, say, poetry, or rhetoric).

WHEN A IMPLIES B, IN A LOGOS, ONE OUGHT TO SAY THAT A “CAUSES” B.

A and B are propositions. They do not have to be very precise.

Precision Is Not Necessarily The Smartest. Semantic Web Necessary.

Precision Is Not Necessarily The Smartest. Semantic Web Necessary.

As it turns out, except in Classical Computer Science as it exists today (Classical CS by opposition to Quantum CS, a subject developing in the last 20 years), propositions are never precise (so a degree of poetry is everywhere, even in mathematics!) Propositions, in practice, depend upon a semantic web.

A could be: “Plate Tectonic” and B could be “Continental Drift”. That A causes B is one of axioms of present day geophysics.

Thus I define causality as logical implication.

To use David Hume’s example: flame F brings heat H, always, and so is supposed to cause it: F implies H. Hume deduced causality from observation of the link (if…then).

More detailed modern physics shows that the heat of flame F is agitation that can be transmitted (both a theorem about, and a definition of, heat). Now we have a full, detailed logos about F and what H means, and how F implies H, down to electronic orbitals.

Mathematicians are used to make elaborate demonstrations, and then, to their horror, discover somewhere something that cannot be causally justified. Then they have to reconsider from scratch.

Mathematics is all about causality.

“Causes” in mathematics are also called axioms. In practice, well known theorems are used as axioms to implement further mathematical causality. A mathematician using a theorem from a distant field may not be aware of all the subtleties that allow to prove it: he would use distant theorems he does no know the proof of, as axioms. Some mathematician’s, or logician’s axiom is another’s theorem.

(Hence some hostility between mathematicians and logicians, as much of what the former use the latter proved, but the former have no idea how!)

Causality, by the way, reflects the axonal geometry of the brain.

The full logic of the brain is much more complicated than mathematics, let alone Classical Computer Science, have it. Indeed, brain logic involves much more than axons, such as dendrites, neurotransmitters, glial cells, etc. And of these, only axonal geometry is simple enough to be approximated by classical logic… In first order.

Mathematics is causation. And the ultimate explanation. Mathematics makes causation as limpid we can have it.

This theory met with the approval of Philip Thrift (March 27, 2015): “I agree exactly with the words Patrice Ayme wrote — but with “mathematics”→”programming”, “mathematical”→”programmatical”, etc.”

I pointed out later to Philip that Classical Programming was insufficient to embrace full human (and quantum!) logic. He agreed.

However the preceding somehow made Massimo P , a professional philosopher, uneasy. He quoted me:

“Patrice: “To claim that mathematics is not causal is beyond belief. Mathematics is all about causality.”

Massimo: It most obviously isn’t. What’s causal about Fermat’s Last Theorem? Causality implies physicality, and most of pure math has absolutely nothing whatsoever to do with physicality.

Patrice: “Causes” in mathematics are also called axioms.”

Massimo: “You either don’t understand what causality means or what axioms are. Or both.”

Well, once he had released his emotional steam, Massimo, a self-declared specialist of “physicality” [sic] did not offer one iota of logic in support of his wished-for demolition of my… logic. I must admit my simple thesis is not (yet) in textbooks…

Insults are fundamentally poetic, illogical, or pre-logical. Massimo is saying that been totally confused about causality and explanations is a sacred cow of a whole class of philosophers (to whom he had decided he belongs). Being confused about causality started way back.

“All philosophers, “said Bertrand Russell,” imagine that causation is one of the fundamental axioms of science, yet oddly enough, in advanced sciences, the word ’cause’ never occurs … The law of causality, I believe, is a relic of bygone age, surviving, like the monarchy, only because it is erroneously supposed to do no harm …”

Russell was as wrong as wrong could be (not about the monarchy, but about “causation”). He wrote the preceding in 1913, when Relativity was well implanted, and he, like many others, was no doubt unnerved by it.

Poincare’ noticed, while founding officially “Relativity” in 1904, that apparent succession of events was not absolute (but depended upon relative motions).

Indeed.

But, temporal succession is only an indication of possible causality. In truth causality exists, if, and only if, a logical system establishes it (moreover, said logic has to be “true”; that, assigning a truth value, is, by itself is a separate question that great logicians have studied without clear conclusions).

When an explanation can be fully mathematized, it is finished. Far from being “abstract”, it has become trivial, or so suppose those with minds for whom mathematics is obvious.

Mathematics is just like 2 + 2 = 4, written very large.

Fermat’s Last Theorem is not different in nature, from 2 + 2 = 4… (But for something very subtle: semantic drift, and a forest of theorems used as axioms to go from side of Fermat’s theorem to the other.)

To brandish mathematics as unfathomable “abstract” sorcery, as was done in Scientia Salon, is a strange, but not new, streak.

There in “Abstract Explanations In Science” Massimo and another employed philosopher pondered “whether, and in what sense, mathematical explanations are different from causal / empirical ones.”

My answer is that mathematical, and, more generally logical, explanations are the model of all explanations. We speak (logos) and thus we communicate our thoughts. Even to ourselves.

The difference between mathematics and logic? Mathematics is more poetical. For example, Category Theory is not anchored in logic, nor anywhere else. It is hanging out there, beautiful and useful, a castle in the sky, just like all and any poem.

Such ought to be the set-up on the nature of what causality could be, to figure out what causality is in the physical world. Considering that Quantum Entanglement is all over nature, this is not going to be easy (and it may contain a hidden clock).

Patrice Ayme’

CATEGORIZING the MIND

October 27, 2014

What is the mind made of? We have progressed enormously as far as the brain objects are concerned: neurons, axons, dendrites, glial cells, neurohormones, various organs and substructures in the brain, etc.

But is there a broad mathematical framework to envision how this is all organized? There is! Category Theory! It turns out it’s a good first order approximation of mind organization. At least, so I claim.

Category Theory is about diagrams. Category Theory has been increasingly replacing advantageously Set Theory. It’s not only because Category Theory does not have to ponder the nature of objects, elements, sets.

Category Theory was long derided as “abstract nonsense” and “diagram chasing”. But it gives very deep, powerful theorems.

http://en.wikipedia.org/wiki/Category_(mathematics)

I claim the powerful theorems of Category Theory should translate directly into… neurology.

Amusingly, although I accused Aristotle to have demolished democracy and fostered plutocracy through his beloved pets, the mass murdering criminal plutocratic psychopaths, Alexander and Antipater, I recognize humbly that it’s the same Aristotle who invented categories (thus making him a great thinker, and justifying an Aristotle cult among those who need to have cults to feel good about themselves)…

Aristotle’s meta-idea about categories was just to talk about the most fundamental notions:

http://en.wikipedia.org/wiki/Categories_(Aristotle)

The present essay was suggested, and is an extension of what the honorable Bill Skaggs seems to have wanted to say, in Scientia Salon, in his “Identity A Neurobiological Perspective”. (As far as I can comprehend.)

However, forget Theseus’ ship and Hollywood’s Star Trek “Transporter”. As I said in “Quantum Identity Is Strong”, Quantum Identity is not erasable, and makes those time honored examples impossibly disconnected with reality. The notion of identity has thus to be found elsewhere (as we intuitively know that there is such a notion).

According to modern Quantum Field Theory, we are made, at the most fundamental level, of fluctuating fields. They come and go, out of nowhere. So, that way, we are continually been deconstructed and rebuilt. The question naturally arises: what is preserved of me, as a set of Quantum Fields? Well, the most fundamental mathematical structure is preserved.

The same seems to hold, to a great extent, in neurobiology, as neuro circuitry, to some extent, seems to come, go, and come back.

Thus we are all like old wooden Greek ships, perpetually falling apart, and rebuilt.

To some extent, this is what happens to species, through reproduction: cells split, and reproduce themselves, thanks to DNA.

A species has identity. Yet that identity is made of DISCONTINUOUS elements: the individuals who incarnate the species, who are born, and then die. And others appear, just the same, sort of. How is that possible?

A species’ identity is its structure. Just as a neurology, or an elementary particle identity is its structure. Not just a geometric structure, not just a topological structure, but its structure, as the most fundamental notion, as a category.

So what is preserved? Shape. And how to morph said shapes… Naturally (there is a notion of natural transformation, in Category Theory).

Historically, analyzing shape was systematized by the Greeks: Euclidean geometry, cones, etc. Then, at the end of the Nineteenth Century, it was found that geometry studied shapes mostly by studying distance, and yet, even if distance was denied consideration, there was a more fundamental notion of shape, topology. That was the structure of shapes as defined by neighborhoods.

Two generations later, Category Theory arrived. Category Theory is about morphisms, and the structures which can be built with them. Please listen to the semantics: structures, morphing… This is all about shapes reduced to their most basic, simplest symbolic expression. It’s no wonder that it would come in handy to visualize neurological structures.

A morphism is a pair of “objects” (CT leaves unspecified what the “objects” are). To model that neurologically, we can just identify ‘objects’ to neurons (or other neurological structures), and morphisms to axons (although dendrites, and more, could be included, in a second stage, when the categoretical modelling become more precise).

The better model is category theory. When are two diagrams equivalent? When are they IDENTICAL? Cantor defined as of the same cardinal two sets in a bijection (a bijection is a 1 to 1, onto map).

Category Theory defines as identical the same diagram (a drawing reduced to its simplest essence). Say: A>B>C>D>A is the same as E>F>G>H>E.

Thus, when are two diagrams identical in category theory? When they are modelled by the same neuronal network. (Or, more exactly, axonal network: make each arrow “>” above, into an axon.) And reciprocally!

Discussing the mind will involve discussing the most fundamental structures constituting it. What better place to start, than the most basic of maths? Especially if it looks readily convertible in neural networks.

Category Theory is the most fundamental theoretical structure we know of. It is the essence of identity, and identification. In conclusion, two objects are identical, neurologically, and in fundamental physics, if they are so, in category theory.

Time to learn something categorically new!

Patrice Ayme’

***

Note: No True Isolated Rocks: In other news, and to address a point of Bill Skaggs, whether a rock can be truly isolated is an open problem, experimentally speaking.

According to the theory of gravitation of Einstein and company, a rock cannot be isolated. Why? Because the rock is immersed in spacetime. Spacetime is animated by gravitational waves: this is what the Einstein Field Equation implies. Now, according to an unproven, but hoped-for principle of fundamental physics, to each force field is associated a particle. In the case of gravity, that hoped-for particle is called the graviton. “Particle” means a “particular” effect. Thus, an isolated rock, according to established theory, and hoped-for theory, ought to be adorned occasionally with a new particle, a new graviton, thus ought not to be isolated.

In my own theory, Objective Quantum Physics, on top of the preceding standard effect, resolving Quantum Entanglements, ought to create even more particles in “isolated” rocks.