> Starting with the slogan "proofs-as-programs," we now talk about "theories-as-systems."
But if you rewind history, you could also see the parallels to Peter Naur's "Programming as Theory building"
Or more recently: Luciano Floridi's "The Logic of Information: A Theory of Philosophy as Conceptual Design"
Different descriptions of the same thing. You could probably relate most of these ideas all the way back to the Greek classics. Democritus. Aristotle. Socrates. Plato.
> Starting with the slogan "proofs-as-programs," we now talk about "theories-as-systems."
But if you rewind history, you could also see the parallels to Peter Naur's "Programming as Theory building"
Or more recently: Luciano Floridi's "The Logic of Information: A Theory of Philosophy as Conceptual Design"
Different descriptions of the same thing. You could probably relate most of these ideas all the way back to the Greek classics. Democritus. Aristotle. Socrates. Plato.
Our tools are finally catching up...