Hacker News new | ask | show | jobs
by matthewwiese 2560 days ago
As a philosophy major, at my university we do so in our "Advanced Symbolic Logic" class. However, the depth with which you engage with Gödel's theorem depends on the professor teaching it and their interests when designing the course (we have 2 specializing in mathematical logic who flip back and forth iirc).

I took the class just last semester in Spring.