Category
page 1Philosophy of computer science
Church–Turing thesis
thesis about the nature of computable functions
dataism
Dataism is a term that has been used to describe the mindset or philosophy created by the emerging significance of big data. It was first used by David Brooks in The New York Times in 2013. The term has been expanded to describe what historian Yuval Noah Harari, in his book Homo Deus: A Brief History of Tomorrow from 2015, calls an emerging ideology or even a new form of religion, in which "information flow" is the "supreme value". In art, the term was used by Albert-Laszlo Barabasi to refer to an artist movement that uses data as its primary source of inspiration.
philosophy of computer science
branch of philosophy
Curry–Howard correspondence
the direct relationship between computer programs and mathematical proofs