Ask HN: CS as a philosophy

Art, sure. I don't see how it is a religion, and only barely a philosophy--it doesn't address any of the questions those attempt to answer.

(Noting that some aspects of philosophy are involved, the same way they're involved in math or science. But not a philosophy like Buddhism or Hegelianism, for examples.)

allow me to make your day:

- Computational trinitarianism, or how 1.) propositions as types, 2.) programs as proofs, and 3.) the relation between type theory and category theory are one and the same thing [0]

- Scott aaronson's excellent "Why Philosophers Should Care About Computational Complexity" [1]

- "From Philosophy to Program Size" by Greg Chaitin. Arguably Chaitin's work (notably Chaitin's omega) is a quintessential example of what lies at the intersection of mathematics, computation, and philosophy.[2]

- From the inimitable Juergen Schmidhueber, "Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes" [3]

- A computational biology paper that presents a meta-learning scheme for cognition and emotion. This paper's idea has really stuck with me.. That and the whole notion of the "Dark room problem" (you could, probably, really easily come up with a strategy for living life according to a hybrid of what this article presents + any kind of philosophy there is) - "Emotional Valence and the Free-Energy Principle" [4]

[0] https://ncatlab.org/nlab/show/computational+trinitarianism

[1] https://www.scottaaronson.com/papers/philos.pdf

[2] https://arxiv.org/abs/math/0303352

[3] https://arxiv.org/abs/0812.4360

[4] http://journals.plos.org/ploscompbiol/article?id=10.1371/jou...

If this interests you, I recommend reading more about the theory of computation. Turing machines, finite automata, NP hard problems, etc.