ÍøÆØÃÅ

Logic that counts

<ÍøÆØÃÅ class="standfirst">
May 22, 2008

Roy Harris should practise what he preaches ("The decline of reason", 15 May).

By dismissing mathematical logic as "no use to man or beast", he betrays his own misologist tendencies and falls into the elementary error of concluding that because he cannot see any use for a thing, therefore it has no use.

Mathematicians unfortunately confront this error of reasoning daily, in our students, in our family and friends, and even in colleagues who should know better. In fact, of course, mathematical logic has many uses, one of which is to clarify one's thinking to avoid mistakes of this kind. Another is to understand the process of reasoning in sufficient detail in order to tell a computer how to do it - which is one of the reasons why mathematical logic is on the syllabus of every computer science degree worth its salt.

Robert Wilson, Professor of pure mathematics, Queen Mary, University of London.

Register to continue

Why register?

  • Registration is free and only takes a moment
  • Once registered, you can read 3 articles a month
  • Sign up for our newsletter
Please
or
to read this article.
<ÍøÆØÃÅ class="pane-title"> Sponsored
<ÍøÆØÃÅ class="pane-title"> Featured jobs
See all jobs
ADVERTISEMENT