formalsystem

This reader’s recommendations and supporting excerpts from the sampled discussions.

← All readers HN profile ↗

Shelf

Topic

Niche

Author

Reading goal

Sort

4 books

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas Hofstadter
133 readers · Mathematics, Philosophy, Science

formalsystem · Aug 18, 2019

https://www.amazon.com/G%C3%B6del-Escher-Bach-Eternal-Golden...

Ask HN: What book to read to get a footing in CS theory?Original comment ↗

Quantum Computing Since Democritus

Scott Aaronson
10 readers · Computing, Science, Philosophy

formalsystem · Aug 18, 2019

https://www.amazon.com/Quantum-Computing-since-Democritus-Aa...

Ask HN: What book to read to get a footing in CS theory?Original comment ↗

Introduction to the Theory of Computation

Michael Sipser
8 readers · Computing, Mathematics

formalsystem · Aug 18, 2019

https://www.amazon.com/Introduction-Theory-Computation-Micha...

Ask HN: What book to read to get a footing in CS theory?Original comment ↗

Computational Complexity: A Modern Approach

Sanjeev Arora and Boaz Barak
1 reader · Computing, Mathematics

formalsystem · Aug 18, 2019

https://www.amazon.com/Computational-Complexity-Approach-San...

Ask HN: What book to read to get a footing in CS theory?Original comment ↗