Em V > Recent Status Updates

Excellent, descriptive, and thorough. The proofs are elegant, if not very dense.

Beautiful!

Quite graspable

Good thoughts bad thoughts

I am loving reading these little anecdotes every night. Very fun

Wow this book is very 1800s with high degree misogyny to match

An interesting set of observations about sleep. Perhaps a bit intense in the opinion, and not
much technicality, but so far so interesting

This book was an enlightening insight into Gödel’s proofs

Introduction to Adlerian psychology. About considering actions and reactions to external events, and about developing a robust mindset.

Showing a p.r. Language is w-inconsistent & w-incomplete via Gödel numbering and the diagonalization argument

So far so interesting. Peter Smith does a great job of building up the necessary logical context required to support Godels original argument. It is a quite high level overview, only stopping to dip down into the depths here and there, but as a primer/introduction it is a fantastic spring board into the world of formal logic

So far, a good and inspiring lecture series