Show simple item record

Computability Theory

dc.date.accessioned2019-10-24T15:38:58Z
dc.date.available2019-10-24T15:38:58Z
dc.date.issued2018
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3623
dc.description.abstractComputability and computable enumerability are two of the fundamental notions of mathematics. Interest in effectiveness is already apparent in the famous Hilbert problems, in particular the second and tenth, and in early 20th century work of Dehn, initiating the study of word problems in group theory. The last decade has seen both completely new subareas develop as well as remarkable growth in two-way interactions between classical computability theory and areas of applications. There is also a great deal of work on algorithmic randomness, reverse mathematics, computable analysis, and in computable structure theory/computable model theory. The goal of this workshop is to bring together researchers representing different aspects of computability theory to discuss recent advances, and to stimulate future work.
dc.titleComputability Theory
dc.rights.licenseDieses 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.de
dc.rights.licenseThis 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.en
dc.identifier.doi10.14760/OWR-2018-1
local.series.idOWR-2018-1
local.subject.msc68
local.subject.msc03
local.sortindex1063
local.date-range07 Jan - 13 Jan 2018
local.workshopcode1802
local.workshoptitleComputability Theory
local.organizersVasco Brattka, Neubiberg; Rod Downey, Wellington; Julia F. Knight, Notre Dame; Steffen Lempp, Madison
local.report-nameWorkshop Report 2018,1
local.opc-photo-id1802
local.publishers-doi10.4171/OWR/2018/1
local.ems-referenceBrattka Vasco, Downey Rodney, Knight Julia, Lempp Steffen: Computability Theory. Oberwolfach Rep. 15 (2018), 5-41. doi: 10.4171/OWR/2018/1


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record