"#Datalog is just a declarative logic language in which each formula is a function-free Horn clause, and every variable in the head of a clause must appear in the body of the clause, what's the problem?"
Not sure if #calculus text or #dictator speech: "It is the pathologies that give rise to the need for rigour. It may seem that progress is slow at first, but that is because we do not want to fall into the trap of letting the biases of our intuition corrupt our arguments."
Our ancestors exercised their bodies while hunting for food, today we exercise our bodies to relieve the stress from having to drive around and find a parking spot in order to shop for food. #modernity
The German mathematician Leopold #Kronecker (1823 - 1891) once asserted that "The natural numbers are the work of God. All of the rest is the work of mankind."
In #Rousseau’s own words: "All ran headlong for their chains in the belief that they were securing their #liberty; for although they had enough reason to see the advantages of political institutions, they did not have enough experience to foresee the dangers"
#Euler's formalisms of graphs and circles were carried out when he could see with one eye only (1735). It is tempting to attribute this in part to lack of stereoscopic vision, reducing one's ability to estimate size and distance, causing sharper awareness of topological features.
The #Poynting vector (after John Poynting) falls into a wonderful class of phonetically accurate theorems, along with the #Low energy theorem for photons (after F. E. Low), and the #Schwarzschild radius of black holes (after Karl Schwarzschild, meaning “black shield” in German).