Existential Computer Science
Sam Goto
- Can machines think?
- Aristotelean Sillogisms, Boole's laws of thought, Hoffstader's strange loops, Artificial Intelligence
- What are machines? What does it mean to think?
- Is the universe computationally irreducible?
- Is there anything under logic and math? - On typographical transformations
- Is there an irreducible (set of?) rule?
- Free will
- What is truth? - Combinators
- What is meaning? - Possible Worlds
- Is P = NP? - cryptography
- Can we invert discrete logarithms efficiently?
- Are we living in a simulation?
- Did we invent death? - Aging and Genetic Algorithms
- Are humans prediction machines?