Sponsored Links
Directory Results
Earliest Uses of Symbols of Set Theory and Logic
Explains the early introduction of notations used in logic and set theory as we know it today. Includes reference links to key people in this area.
members.aol.com
Groups and conferences.
www.math.ufl.edu
Category: Science > Math > Logic and Foundations > Directories
Category of Topics in Mathematics (MathArchives).
archives.math.utk.edu
Category: Science > Math > Logic and Foundations > Directories
Logic and Set Theory.
www.math.ufl.edu
Category: Science > Math > Logic and Foundations > Institutions > North America
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
www.math.caltech.edu
Cambridge Theory and Semantics Group
Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.
www.cl.cam.ac.uk
Category: Computers > Computer Science > Theoretical > Research Groups
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
www.cs.cmu.edu
Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
www.math.niu.edu
Category: Science > Math > Logic and Foundations
Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.
www.amsta.leeds.ac.uk
Category: Science > Math > Logic and Foundations > Institutions > Europe > United Kingdom
University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
www.dimi.uniud.it
The formal specification notation Z is based on Zermelo-Fraenkel set theory and first order predicate logic. Entry from World Wide Web Virtual Library; descriptions, many links.
www.afm.sbu.ac.uk
Category: Computers > Programming > Languages > Z
Kolmogorov, Andrei Nikolaevich (1903-1987)
Worked on trigonometric series, set theory, integration analysis, constructive logic, topology, approximation methods, probability, statistics, random processes, information theory, dynamical systems, algorithms, celestial mechanics, Hilbert's 13th problem, and ballistics. Also, studied and applications of mathematics to problems of biology, geology, linguistics and the crystallization of metals. Born and lived in Russia.
www.cwi.nl
Category: Science > Math > History > People