Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Mathematical Logic

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.