scasper comments on Pitfalls with Proofs

scasper 20 Jul 2022 0:59 UTC
2 points
0
The hypothetical pudding matters too!
- Shmi 20 Jul 2022 1:11 UTC
  2 points
  0
  Parent
  Wasn’t the whole post about them not mattering, or else if you take them too seriously you are led astray?
  - scasper 20 Jul 2022 2:08 UTC
    1 point
    0
    Parent
    No.
    - Shmi 20 Jul 2022 2:31 UTC
      4 points
      0
      Parent
      OK, thanks! I guess some topics are beyond my comprehension.