1. 5
  1.  

  2. 4

    And in the itemized bill I sent my client, I had only one line. It read

    “This statement is false”

    1. 2

      Nicely written. As an “informal” proof of the Halting Problem’s unsolvability I much prefer Geoff Pullum’s ‘Scooping the Loop Snooper’ though.