Browsing Workshops 2012 by MFO Series ID "OWR-2012-8"
Now showing items 1-1 of 1
-
1206 - Computability Theory
[OWR-2012-8] (2012) - (05 Feb - 11 Feb 2012)Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong ...