Reply to comment

Knuth and Brouwer

Cute quotation from Knuth - however Knuth was wrong. Brouwer would have no problem with the statement 'either it is raining outside or it is not raining outside' because he knew you could go and look. He did not insist on your actually looking. He had a problem with things like König's lemma - not quite the same. I have a problem with things like König's lemma too, but in the great scheme of things it is not very important.


  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

To prevent automated spam submissions leave this field empty.
By submitting this form, you accept the Mollom privacy policy.