Algorithms + Data Structures = Programs — Algorithms

"The issue with AI, to me, is a very simple one. Its like the term algorithm. We watch companies use algorithms, and now AI, as a means of evading responsibility for their actions… If we endorse the view that AI is all-powerful, we are endorsing the view that it can alleviate people of responsibility for their actions—militarily, socio­economically, whatever. The biggest danger of AI is that we attribute these godlike characteristics to it and therefore let ourselves off the hook. I dont know what the mythological underpinnings of this are, but throughout history theres this tendency of human beings to create false idols, to mold something in our own image and then say weve got godlike powers because we did that."

"Mathematics is what we want to keep for ourselves. When playing games, we stick to the rules (or we are changing the game...), but when doing serious mathematics (not executing algorithms) we make up the rules—definitions, axioms... even logics. ...[I]n arithmetic we find s, which are a whole new game... [T]o identify mathematics with games would be one of those part-for-whole mistakes (like all geometry is projective geometry or arithmetic is just logic from the nineteenth century)... [M]y separation of game analysis from playing games tells... against the analogy of mathematics to the expert play of the game itself."

"Algorithms are the computational content of proofs."