# Reading log

This is a log of books that I’ve read, starting around late 2018 (i.e. the beginning of this blog).

- Started 2018-09-19
- Finished 2018-11-24
- Enjoyment
- Learned
- Related Posts:

This is a fascinating book. It does a good job of walking through a
series of QM experiments which build on each other to arrive at some
truly mind-bending conclusions. Doesn't attempt to teach you any of
the math behind them, though, so I'm left more intrigued but
similarly confused as when I started.

- Started 2018-11-28
- Finished 2018-12-04
- Enjoyment
- Learned
- Related Posts:

A short, clear, and to the point introduction to Godel's Poof -
attributes that I appreciate even more now that I'm 300 pages into GEB.
PDF

- Started 2018-12-05
- Finished 2019-12-31
- Enjoyment
- Learned
- Related Posts:

Hofstadter's love of (obsession with) self-reference, and "tangled hierarchies" comes through clearly. His writing is whimsical, creative, and deep. It's just... too... long. Not only does this have the obvious consequence that it's difficult to hold the reader's interest for long enough to actually finish the book (it took me three tries), but I think it also detracts from the explanatory power of the book. There is too much material, spread over too many pages (and therefore time), for the reader to come away with a clear understanding of Godel's Incompleteness Theorems. I suspect Hofstadter's response to this would be that I've missed the point of the book! There is no clear, simple, linear understanding of Godel's Incompleteness Theorems. In fact, that hope is in direct conflict with the idea that some concepts are inescapably "tangled hierarchies". To that, I'd say... maybe. In any case, length aside, the book is truly a work of art. The way Hofstadter weaves together content and form is impressive. In addition, I appreciated the many self-references he included throughout the book. In summary, if your goal is to spend a long time metaphorically bathing in the essence of Godelian self-reference, this book will be unparalleled. However, if you want a no nonsense understanding of Godel's Incompleteness Theorems, then this book is likely not the best way to achieve that goal.

- Started 2019-09-29
- Finished 2019-10-29
- Enjoyment
- Learned

I really liked this book, but it's too easy. It just touches the surface of many interesting topics before quickly moving on; I wish it went deeper. I suspect I'm not exactly the target audience. Either way, very enjoyable and totally worth the (quick) read.

- Started 2019-01-10
- Finished 2021-09-01
- Enjoyment
- Learned

This was the book I'd been looking for in my quest to understand Godel's Incompleteness Theorems. Reader beware, though, it's more of a logic textbook than a lay person's guide to understanding Godel. Smith gradually builds up the necessary foundation in logic to understand, in precise technical detail, what Godel's Theorems say. Then, he walks though Godel's method of proof, providing enough justification for each step that I think I finally could (given enough time) reconstruct Godel's proof from scratch. Bravo.
PDF

- Started 2021-09-17
- Finished 2021-09-20
- Enjoyment
- Learned

I absolutely loved this book. Not only are surreal numbers a fascinating number system but the way the book encouraged one to discover the topic for oneself before reading on and seeing what the characters in the book discovered made it way more engaging than a typical textbook. Knuth's philosophical musings on math that he interspersed with the "real content" were surprisingly insightful and resonated strongly with me.
PDF