PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Sergei Tabachnikov.

Title:A journey into computable structures
Seminar:Department of Mathematics Colloquium
Speaker:Bakh Khoussainov, University of Auckland, New Zealand, and Cornell University
Abstract:
The theory of computable structures is a branch of mathematical logic which has connections to computability theory, model theory, algebra and theoretical computer science. The theory is motivated by questions about the effective content of mathematical results, issues related to complexity of mathematical structures, building specific models that satisfy given axioms, and decision problems. The aim of this talk is twofold. One is to explain computable structures, present basic definitions, give examples, and outline some of the main themes in the area. The other is to talk about several fundamental results and say a few words about their proofs. We emphasize issues related to computable isomorphisms and building computable structures with specific properties.

Room Reservation Information

Room Number:MB114
Date:10 / 08 / 2009
Time:04:00pm - 05:00pm