Library Home || Full Table of Contents || Library Help
|Department of Mathematics, Manchester University, U.K.|
|There is a strong tradition in mathematical logic at Manchester. The first logician at Manchester was Alan Turing, now considered to be the father of artificial intelligence and one of the great visionaries of the twentieth century... The present group of logicians is closely affiliated with the Pure Mathematics Group and has active research interests in model theory, uncertain reasoning and logical aspects of AI, variants of classical set theory and their applications, and formalisation in theory and practice. There is also active cooperation with the algebra group at UMIST.|
|Resource Types:||Research Centers|
|Math Topics:||Logic/Foundations, Set Theory, Artificial Intelligence|
© 1994- The Math Forum at NCTM. All rights reserved.