Re: list of universities math deps. specializing in mathematical logic?


mozert1 wrote:
> list of universities math deps. specializing(with strong group) in math
> logic?
>
> Hello there,
>
> I am searching for some kind of list of math departments specializing
> (or with a strong group) in mathematical logic, in canada or the US.
>
> I am planning to apply for a Ph.D. degree in mathematics in one of
> those subjects around mathematical logic.
>
> Any help is be welcomed!
>
> moz.

A google search on "mathematics departments logic" gets a lot of hits,
the first few of which seem helpful. The newsgroup sci.logic might also
be a good place to ask. You could also try browing through the Peterson
Guides for graduate programs. For logic as such, maybe you could look
at several issues of the Journal of the Association for Symbolic Logic
and pay attention to where the people who write the articles are at.

For "subjects around mathematical logic", you could maybe look into
Universal Algebra (which is basically the model theory of equational
logic). Traditionally the Universities of Waterloo (in Canada), Berkley
and Colorado at Boulder have been strong. If you have some programming
background you could maybe look at getting a Ph.D. in Computer Science.
In particular, areas like automatic theorem proving, functional
programming, and logical programming have strong logic components. It's
not my area, so I don't really know of good research groups in the U.S.
or Canada. In Edinburgh, Scotland there is the famous
http://www.lfcs.inf.ed.ac.uk/ - a very impressive program (which is
just part of a cluster of computer science programs at the university.)
If it catches your fancy, it couldn't hurt to look into it and see what
sort of support is available.

Hope that helps

-scattered

.

Relevant Pages

  • Re: maths for programming C++
    ... do with the C++ programming language, ... relatively little mathematics. ... then you may need to learn more math. ... application of higher level math in a programming context. ...
    (sci.math)
  • Re: debate: to get a Masters Degree in CS or Not
    ... >>Knowing math has value, but only if it's necessary to what you do. ... >>Math skills are largely irrelevant in all but design. ... values of theory vs. practice, given my experience in and out of the ... In programming, flying blind is the norm, not the exception. ...
    (comp.programming)
  • Re: Irrelevant but curious
    ... When people talk about Math they are often referring to arithmetic. ... talk about objects, persistence, iconic notation you can be talking ... > loves it) then you will most likely not enjoy programming. ...
    (comp.object)
  • Re: debate: to get a Masters Degree in CS or Not
    ... >>>kingdom, be it science, engineering, programming, economics, etc. ... Knowing math has value, but only if it's necessary to what you do. ... Math skills are largely irrelevant in all but design. ...
    (comp.programming)
  • Re: how to generate random char in C programming?
    ... I would like to know if there's a way to create random char in C ... I've been searching all over the place and all the ... Is it possible to do it in C programming? ... have an appropriate newsgroups line in your header for your mail to be seen, ...
    (comp.lang.c.moderated)
Loading