Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

1 comments

• hayley-patton 38 minutes ago

  > If you can't falsify it, you have to take it seriously.

  No, I don't.