Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Mathematical Logic

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.maths.man.ac.uk/DeptWeb/Groups/Logic/LogicResearch.html

Author:Department of Mathematics, Manchester University, U.K.
Description: 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.

Levels: Research
Languages: English
Resource Types: Research Centers
Math Topics: Logic/Foundations, Set Theory, Artificial Intelligence

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.