Today was "Broad day" - the theme being broad knowledge.
CIA factbook
Learned about the middle east, main points
- Many countries are of similar size to Texas! Turkey and Afghanistan are around the size of Texas and Iran is only 2.5x bigger!
- Learned the difference between Sunni and Shia muslims (Shia follow the bloodline of mohammed, the Sunni 85% majority elect people)
- General improved geography knowledge
Didn't make Anki cards because I wasn't sure what information was important. I'm going to do more broad gathering than Ankify the things that seem important?
Logic
Studying logic was really productive. Tomorrow I'm going to write a logic effortpost, but TLDR: I now 95% understand and can prove Godel's completeness theorem, first and second incompleteness theorems, and Lob's theorem. And I haven't even finished the Logic chapter!
A nice guy in the math discord helped me too, pointed out that "ZF + not(RH) is consistent" is equivalent to "ZF cannot derive RH" - because if "ZF + not(RH)" were inconsistent that would mean ZF could prove RH, and if ZF can't derive RH then we can't derive a contradiction in ZF + not(RH).
(This is theorem 3.6 of Derek Goldrei Predicate Calculus)
I'm going to write a "Logic Bootcamp" post that explains everything very carefully, get several people to test-run it - then add it!
Time breakdown
- 1h Morning routine (30min Exercise + 30min Meditation)
- 1h 40min Anki, Did most of my reviews (piled up after ~month vacation)
- 45min Had to hack a friend's computer because they forgot their password. Now I know how and can do it in 5min next time.
- 2h Reading the CIA Factbook as an information gathering exercise. Learn a good amount about the middle east. This deserves further exploration
- ~30min Finance/CPI and misc broad research
- 3h Studying logic from quantum computing and democrates + Getting help on the math discord. Very productive and didn't take much energy
- 3h 40min Talking with friends (with a break for dinner.)
- 30min Journaling
Potential Improvements:
- Skipping lunch would save 30min
- Go to bed earlier. Stayed up till 10pm talking with friends, then 11 journaling and talking on EleutherAI