These are the resources I’m currently reading or planning to read at some point. They aren’t limited to any one field. They can be from science, mathematics, computer science, philosophy, history, or anything else that catches my interest.

Right now, they’re neither organized nor complete. By incomplete, I mean I probably have several other resources buried in my personal notes that I still need to track down and add. I’ll keep updating this list as I find more.

• How to Prove It: A Structured Approach by Daniel J. Velleman
• The Art of Doing Science and Engineering by Richard Hamming
• The Demon-Haunted World by Ann Druyan and Carl Sagan
• Computability and Logic by George Boolos, John P. Burgess, and Richard Jeffrey
• Introduction To The Theory Of Computation by Michael Sipser
• MIT 18.404J Theory of Computation, Fall 2020 : https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY