Post #1501116
2026-04-20 10:31 UTC
We’re at that time of the semester in Advanced Logic, where we’re checking our understanding of the key concepts we’ll rely on in our final ascent to the heights of the incompleteness theorems.
https://consequently.org/class/2026/py4612/
#logic #philosophy
Replies (1)
-
@soaproot@sfba.social 2026-04-20 15:15
@consequently My logic class was definitely like that: lots of key concepts followed by final ascent to incompleteness theorems. I guess maybe how advanced the class is rests on how hand-wavy that final ascent is?