Add new comment


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.

Filtered HTML

  • Web page addresses and email addresses turn into links automatically.
  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.
  • Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.