1206

Computability Theory

Thumbnail
View/Open
DOI
10.14760/OWR-2012-8
Publisher's DOI
10.4171/OWR/2012/08
Collections
Metadata
Show full item record
Workshop
1206
Period
05 Feb - 11 Feb 2012
Abstract
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 connections with other areas of mathematical logic as well as algebra and theoretical computer science.
Mathematics Subject Classification (MSC)
03 • 68
Report
Workshop Report 2012,8
Organizers
Klaus Ambos-Spies, Heidelberg; Rodney G. Downey, Wellington; Steffen Lempp, Madison; Wolfgang Merkle, Heidelberg
EMS Reference
Ambos-Spies Klaus, Downey Rodney, Lempp Steffen, Merkle Wolfgang: Computability Theory. Oberwolfach Rep. 9 (2012), 397-455. doi: 10.4171/OWR/2012/08
Oberwolfach Photo Collection
Open Workshop Photos
The following license files are associated with this item:
Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.

This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.

Preview
Report
Preview IconOpen Preview