Entering the DM2 age
There are 1.2 million Dutch men and women with DM1 or DM2, and worldwide 460 million, mostly in China, India and USA, mostly men and mostly (90%) DM2, Diabetes Mellitus type 2, The numbers have doubled in the last few…
Read more
What one sees
Just finished reading the latest novel of Ian McEwan, Lessons (2022), I’m a fan of McEwan, since reading ten years ago Saturday and Atonement and some other of his novels. I also discovered rather late that I’m also a fan of David Mitchell, after reading…
The Cube Equation
The Cube Equation holds in lambda calculus, with the natural notion of residuals that is present there. It also holds in categories with pushouts, as Barendregt expressed as an Exercise in his 1984 book, and which was around that time…
Sal Bomela
The first decade of my life I grew up in Zaltbommel, originally probably a settlement of the army of the Roman Empire in their network of military settlements and fortifications, along the Limes, the Boundary with northern and eastern parts of…
We are here!
How did the subjects featuring in this site originate in the flow of science history? The road map here gives a small bird’s eye view. Originally, we are in the Foundations of Logic and Mathematics. After the monumental Theory of Types…
A summer episode
The year was 1950, I was 5 years old, my sister Hannie only 2, and my mother was still young, 27. The summer was hot and the three of us went to the tiny strip of beach near one of…
Luctor et Emergo (June 5, 2023, Otterlo), or termination and confluence.
This is the start of my intended series of life blog posts, about life and everything, often about matters in Computer Sience, Mathematics and Logic. And occasionnally about the inner life of the author. Because conscience is what makes the…