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/Philosophyofcomputer_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/Philosophyofcomputer_science

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

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

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

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

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

https://en.wikipedia.org/wiki/Church%27sthesis(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