An idea I’ve been kicking around—and am tempted to pull into a coherent form—is that actually there is a close connection between philosophy and computer science.
Much of philosophy is arguments about various abstractions. Computer science is about using abstractions to engineer software and about proofs about software-related abstractions.
To give one example: I think of the philosophical debate about the semantics of proper nouns as coupled to the notions of reference vs value equality in programming language design.
An idea I’ve been kicking around—and am tempted to pull into a coherent form—is that actually there is a close connection between philosophy and computer science.
Much of philosophy is arguments about various abstractions. Computer science is about using abstractions to engineer software and about proofs about software-related abstractions.
To give one example: I think of the philosophical debate about the semantics of proper nouns as coupled to the notions of reference vs value equality in programming language design.