Links
- Category Theory: https://en.wikipedia.org/wiki/Category_theory
- Type Theory: https://en.wikipedia.org/wiki/Type_theory
- Set Theory: https://en.wikipedia.org/wiki/Set_theory
- Agda Programming Language: https://agda.readthedocs.io/en/latest/getting-started/what-is-agda.html
- Gödel Machine: https://en.wikipedia.org/wiki/G%C3%B6del_machine
- String Theory: https://en.wikipedia.org/wiki/String_theory
- Can machines think?: https://courses.cs.umbc.edu/471/papers/turing.pdf
- Lambda Calculus: https://en.wikipedia.org/wiki/Lambda_calculus
- Philip Wadler - Propositions as Types: https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
- Logic in Computer Science: https://en.wikipedia.org/wiki/Logic_in_computer_science
- Halting Problem: https://en.wikipedia.org/wiki/Halting_problem
- 📚 Types and Programming Languages - Benjamin C. Pierce:
https://theswissbay.ch/pdf/Gentoomen%20Library/Maths/Comp%20Sci%20Math/Benjamin_C._Pierce-Types_and_Programming_Languages-The_MIT_Press%282002%29.pdf
- 📚 Deep Learning - Ian Goodfellow, Yoshua Bengio, Aaron Courville:
https://www.deeplearningbook.org/
- 📚 Gödel, Escher, Bach - Douglas Hofstadter:
https://tr.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach:_Bir_Ebedi_G%C3%B6k%C3%A7e_Belik
- 📚 Introduction to the Theory of Computation - Michael Sipser:
https://fuuu.be/polytech/INFOF408/Introduction-To-The-Theory-Of-Computation-Michael-Sipser.pdf
- 📚 Conceptual Mathematics - Lawvere & Schanuel:
https://ia800207.us.archive.org/33/items/F.WilliamLawvereStephenH.SchanuelConceptualMathematicsAFirstIntroductionToCatego/F.%20William%20Lawvere%2C%20Stephen%20H.%20Schanuel%20-%20Conceptual%20Mathematics_%20A%20First%20Introduction%20to%20Categories%20%282009%2C%20Cambridge%20University%20Press%29%20%281%29_text.pdf
- 📚 Category Theory for Programmers - Bartosz Milewski:
https://unglueit-files.s3.amazonaws.com/ebf/e90890f0a6ea420c9825657d6f3a851d.pdf
- 📚 Categories for the Working Mathematician - Saunders Mac Lane:
https://math.mit.edu/~hrm/palestine/maclane-categories.pdf
- 📚 Logic in Computer Science - Huth & Ryan:
https://www.cse.chalmers.se/edu/year/2019/course/TDA384_LP3/files/lectures/Huth-Ryan-Ch1+3.pdf
- 📚 Programming Language Pragmatics - Michael Scott:
https://en.wikipedia.org/wiki/Michael_L._Scott
- 📚 Homotopy Type Theory: Univalent Foundations:
https://homotopytypetheory.org/book/
- ▶️ Hafif Programming: https://www.youtube.com/@hafifprogramming
- ▶️ Green Code: https://www.youtube.com/@Green-Code