Posts

Lyapunov Stability in Dynamical Systems

Image
There are control theory people who talk about a revolution in thermodynamics: see  The Port-Hamiltonian Formulation of Thermodynamics—A New Perspective  by Janusz Badur and Piotr Józef Ziółkowski.  The idea is that you can describe certain non-conservative thermodynamic systems as control systems and these have dynamical properties that can be characterised quite precisely.  See also  Port-Hamiltonian Modeling of Ideal Fluid Flow: Part I. Foundations and Kinetic Energy by Ramy Rashad, Federico Califano, Frederic P. Schuller and Stefano Stramigioli.  Subscribe to Richard Pates .  The roboticists have categorical models of hybrid continuous/discrete time systems. These are systems which undergo instantaneous discontinuities in the evolution.  Subscribe to  Topos Institute .  Frederic Schuller has developed a formulation of Quantum Mechanics based on the Port-Hamiltonian formalism. This thumbnail is just clickbait; they haven't published ...

Alanis Morissette - Butterfly with a Machete

Image
I'm a sucker for good commercials. See  https://alanis.com/events . Subscribe to Alanis Morissette .

About Logic - Is Mathematics a Story?

Image
They're threatening to do this weekly, ... My comment :  Looking forward to the Dana Scott interview! Maybe there's not time to do this before then, but I would like to hear a discussion about the different views people have about models. I sometimes think that Computer scientists look for models in the zoo of mathematical theories, because they feel like this the only possible source of their legitimacy: they say something like "Well, this type system is sound because if it wasn't then ZFC would be inconsistent and you would have much bigger things to worry about than the soundness of my little type system!" But then serious mathematicians who have Fields medals come along and say "Well actually, I have these proofs that I've done in Higher Homotopy theory and I seriously doubt anyone has checked them as carefully as I did, and I am not sure that I haven't made a mistake somewhere, ..." and then they find a type system that a computer scientist ...

David Spivak on The Category of Polynomial Functors in One Variable

Image
Category theorists, it seems, can't help but go up , making more concrete stuff that they have to find names for. They should learn about abstraction.  See  Why is Physics So Difficult?  and  David Jaz Maiers - Compositionality via 2-algebra .  See also  Richard Southwell and Norman Wildberger on the Future of Mathematics . Norman's box numbers are a multisubset of the set 1={∅} which, according to nlab is an isomorphism class in the over category Set/1, I think. See the three examples in the comma category on nlab  and  fundamental theorem of topos theory .  Richard Garner, Polynomial comonads and comodules Subscribe to  HoTTEST .  David Spivak's talk "Categories = polynomial comonads", a simple demonstration. This is great. It should give Norman Wildberger a whole lot of new ideas for stuff he can do with polynumbers! It was given in September 2020. Tom Leinster on a general notion of magnitude: I learned something interesting a...

Why is Physics So Difficult?

Image
Subscribe to  Max Stirner . Benji Metha on Jaynes and Probability as Logical Inference So if there's another scientist in his audience, he is going to have to consider the probability of the results of the successive coin flips as being dependent on some hypotheses. For example, the scientist flipping the coins may not be using a fair coin, he may be basing the results on a distribution he observes from the predictions of the audience, or he may be using some mixture of these based on another random process he has invented, say by using one method if he throws four, five or six on a die, and the fair coin if he throws a one, a two or a three. Or he may be adjusting those mixtures according to how many heads or tails he has thrown so far, or, ... the possibilities are endless. So the Bayesian has to make some assumptions. The difference between the Bayesian and the frequentist is that the Bayesian will always have some idea of what their priors are conditioned on. In this case, the ...

Toby on The Great Automatic Grammatizator

Image
It's a story by Roald Dahl , written in 1954, but which, 70 years later, is starting to look somewhat prophetic, ... Pre-order Toby and Len's robot story at  https://tibees.com/ . Subscribe to Tibees . 

Richard Southwell and Norman Wildberger on the Future of Mathematics

Image
My comments : I think the thing with set theory is it makes mathematics into a jungle where the predators have big teeth and long claws you can't survive without some crazy skill at something. In the end it's better to just live somewhere else. Subscribe to Richard Southwell . Subscribe to Insights into Mathematics . See  Joel Hamkins interviewed on About Logic .

David Jaz Maiers - Compositionality via 2-algebra

Image
If I do a Google search for 2-Algebra then it says "Algebra 2 is the second math course typically taken in high school, building directly on the foundations of Algebra 1. It expands on linear equations, quadratics, and graphing, while introducing more advanced concepts like polynomial, exponential, logarithmic, and trigonometric functions." See (infinity,n)-module in nlab.  From the video description: Abstract: A complex system may be designed modularly by putting together interacting component subsystems. Since analyses of complex systems can often scale very poorly with their size, it pays to use the modular structure of such systems to divide the task of analysis across the component subsystems. Many analyses of systems may be encoded as homomorphism search problems between systems of the same sort. This suggests attending to categories of systems and their homomorphisms. In this talk, we'll consider the modular structure of a class of systems as a 2-algebra — an alge...

Andrei Rodin's letter in Support of Svetlana Mesyats

See Open letter in Support of Svetlana Mesyats where there is an address to send your support of a petition. Svetlana Mesyats is an internationally renowned Classicist specialising in Neoplatonism and the Aristotelian tradition in Late Antiquity. Since 1999 she has held the position of Senior Researcher at the Institute of Philosophy of the Russian Academy of Sciences in Moscow. On Tuesday, May 19, 2026, Svetlana was arrested on charges related to the alleged mismanagement of public funds allocated for the preparation of new Russian translations of Aristotle’s works. After spending two days in custody, she was placed under house arrest. The investigation into Svetlana’s case is ongoing and, given the charges, she could face up to 10 years in prison. Svetlana’s arrest occurred in the context of a long-standing struggle for control over the Institute. Svetlana, who has never held a senior administrative position in the Academy or elsewhere, became a victim of this continuing struggle, d...