Programming was mentioned here, but surprisingly enough some aspects of system administration provided some insights that were useful to me later when studying mathematical logic. In general, even without all the AI thing, computers seem to have allowed people to repeat all the philosophical concepts in a new context..
The 20-th century foundation-of-reasoning discussion of proofs as objects (and how proofs depend on the set of the natural numbers..) can be nicely illustrated with chroot management; the old Aristotle idea of “first substance” of every object (unique but devoid of properties useful to use) is easily translated as DB id field.
Programming was mentioned here, but surprisingly enough some aspects of system administration provided some insights that were useful to me later when studying mathematical logic. In general, even without all the AI thing, computers seem to have allowed people to repeat all the philosophical concepts in a new context..
The 20-th century foundation-of-reasoning discussion of proofs as objects (and how proofs depend on the set of the natural numbers..) can be nicely illustrated with chroot management; the old Aristotle idea of “first substance” of every object (unique but devoid of properties useful to use) is easily translated as DB id field.