Logic that counts

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.

You've reached your article limit.

Register to continue

Registration is free and only takes a moment. Once registered you can read a total of 3 articles each month, plus:

  • Sign up for the editor's highlights
  • Receive World University Rankings news first
  • Get job alerts, shortlist jobs and save job searches
  • Participate in reader discussions and post comments
Register

Have your say

Log in or register to post comments