...ore generally for distributive lattices [16]. These are topics to come out of logic, not geometry and physics. In 1854 George Boole published his work entitled An Investigation of the Laws of Thought =-=[2]-=- in which he argued that logic is part of mathematics rather than philosophy, and that in fact, the laws of thought yield a kind of algebraic system much like the arithmetic of numbers. His set-up is ...

...closely related to nature and to mathematics, namely the appearance of the golden mean, a fundamental constant associated with growth phenomena, in works of artists. In his book, ‘The Curves of Life’ =-=[3]-=-, the Oxford scholar, art critic, and writer Theodore Andrea Cook tries to explain why and how this mathematical constant ends up appearing in the works of artists: ‘I have described the artist as a m...

...ty theory in the fast developing foundations of computer science is to realise connections between otherwise separately evolving subfields. Samson Abramsky’s celebrated work ‘Domains in logical form’ =-=[1]-=- is possibly the most spectacular example of this kind. Quoting from the introduction to Abramsky’s paper: The mathematical framework of Stone duality is used to synthesize a number of hitherto separa...

...ng semigroup invariants. Interestingly, in this situation, the semigroups - which one would think were algebras - are actually the spaces! (Recent work of mine with Jean-Eric Pin and Serge Grigorieff =-=[5]-=- identified this theory as a case of extended Stone duality). Another role of duality theory in the fast developing foundations of computer science is to realise connections between otherwise separate...