E is an equational theorem prover. That means it is a program that you can stuff a mathematical specification (in many-sorted first-order logic with equality) and a hypothesisconjecture into, and which will then run forever, using up all of your machines resources. Very occasionally it will find a proof for the conjecture and tell you so ;-).
Very occasionally.
Behalve deze.
Stellingen die over stellingen gaan zijn altijd flauw.
Writing is no longer public.
What do philosophy and statistics have in common?
People like them the least.
There was a study done in 2019 in the United States of how people feel about humanities and arts. There's us! Philosophy! Statistics! People like us the least. Science, history, even math got in there higher than us. What is going on? I'll tell you what's going on: People aren't reading. When people, general public, are out there engaging with humanities and arts, they're not reading. They're watching videos. They're doing online searches. Sometimes they pick up a book, but that's classified as engaging with literature, and it doesn't happen nearly as much as you think. Usually it's shows with historical content or researching something online. People like documentaries. So "writing stuff" is not public philosophy. That's just writing stuff - you're like every other blogger out there.
Märchentlich.
The Germans have a fondness for faery-tales, or Märchen as they call them, that is strangely at odds with their orderly dispositions.
Neal Stephenson: Quicksilver
Londsterdam.
You’ve spent time in Amsterdam, which may give you some idea of what London is like, except that London is not nearly as well organized.
Neal Stephenson: Quicksilver