• 1206 - Computability Theory 

      [OWR-2012-8] Workshop Report 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 ...