Project Description

'Philosophy of Computer Science' (in short 'PhoCS' or phonetically 'Fox')

Think about the philosophy of computer science. It's relation to other science, the world and all the rest. E.g. Is computer science -- like other developments in human history -- an expansion of human's thought models which allows to grasp/abstract/understand/think through/improve other concepts (like in nature or religion)?

Also What philosophical concepts related to computer science can be found in literature/culture?

See what is already written about PhoCS, e.g. https://en.wikipedia.org/wiki/Philosophy_of_computer_science

Goal for this Hackweek

Get an understanding/overview what already exists wrt PhoCS. Think about what can be added. Try to assemble more info. Potentially write it down somewhere.

Resources

https://en.wikipedia.org/wiki/Philosophy_of_computer_science

https://en.wikipedia.org/wiki/Philosophy_of_physics

https://en.wikipedia.org/wiki/Philosophy_of_mathematics

https://plato.stanford.edu/entries/computer-science/

https://www.researchgate.net/profile/Nicola-Angius/publication/348650118_The_Philosophy_of_Computer_Science/links/61ec34bf9a753545e2ec4823/The-Philosophy-of-Computer-Science.pdf?origin=publication_detail

https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis

https://en.wikipedia.org/wiki/Church%27s_thesis_(constructive_mathematics)

https://www.logicmatters.net/2007/05/22/churchs-thesis-6-concepts-extensions-and-proofs/

https://www.cs.tau.ac.il/~nachumd/papers/CTsurvey.pdf

https://jgbm.github.io/eecs762f19/papers/wadler-ch.pdf