Disclaimer: This is an ongoing and incomplete project to unpack these concepts and serves as my exosomatic memory.
- An attempt at distilling to layman's terms:
- Computation.
- Computation's foundations and the implementation of computing machinery.
- Computation's relationship with Logic and Mathematics.
-
def computation¹: the transformation of sequences of symbols by precise rules(Konrad, 2015:6).
-
def computation²: The evolution process of some environment, by a sequence of "simple, local" steps (Stanford Encyclopedia of Philosophy).
-
def computation³: the execution of a list of steps to do something.
-
Formal Classification Scheme:
-
Theory:
- Theoretical Basis: 03Dxx_computability_and_recursion_theory
- Formal Science: 68_computer_science
- Philosophy: Philosophy of computer science
- 0_theory_of_computation
- 1_mathematics_of_computing
- 0_theory_of_computation/4_design_and_analysis_of_algorithms
- 2_hardware
- 3_computer_systems_organization
- 4_software_and_its_engineering
- The repository is configured to use devcontainers for development.
It requires no setup except an editor that supports devcontainers, which will prompt you on first open to start it in a container.
- Quanta Magazine
- MIT EECS
- Development
- Architecture & Design
- AI, ML & Data Engineering
- AI, ML & Data Engineering
- Culture & Methods
- DevOps
- The Academic Genealogy of Computer Science
- ACM A.M. Turing Award Laureate Interviews
- Donald Knuth
- Erik Demaine
- Jelani Nelson
- Katherine Johnson
- Grace Hopper
-
pytest
pyspelling -c spellcheck.yaml- Konrad H. 2015. Computation in Science. Morgan & Claypool Publishers.
- Stanford Encyclopedia of Philosophy. The Church-Turing Thesis.
Q: Question for later research
MYINC: My Insight/Conjecture [Could Be Unoriginal/False and Likely Is]
see: ...: Points to the definition of a concept used in another definition.