shminux comments on Pitfalls with Proofs

shminux 20 Jul 2022 0:52 UTC
3 points
0
OK, my one-line summary:
The only proof you can trust is the one in the pudding.
- scasper 20 Jul 2022 0:59 UTC
  2 points
  0
  Parent
  The hypothetical pudding matters too!
  - shminux 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.
      - shminux 20 Jul 2022 2:31 UTC
        4 points
        0
        Parent
        OK, thanks! I guess some topics are beyond my comprehension.