philh comments on Löb’s Lemma: an easier approach to Löb’s Theorem

philh 27 Dec 2022 22:28 UTC
2 points
7
To check, are you reading the second as $(⊢ □ A) \to (□ □ A)$ ? It’s meant to be $⊢ (□ A \to □ □ A)$ .
- Gurkenglas 28 Dec 2022 0:54 UTC
  2 points
  0
  Parent
  Nah.