2026-07-20T05:13:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:3372 2024-03-06T10:25:45Z ddc:004 open_access

Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411) Berger, Ulrich Brattka, Vasco Selivanov, Victor Spreen, Dieter Tsuiki, Hideki Exact real number computation Stream computation Infinite computations Computability in analysis Hierarchies Reducibility Topological complexity There is a large gap between mathematical structures and the structures computer implementations are based on. To stimulate research to overcome this---especially for infinitary structures---highly non-trivial problem the Dagstuhl Seminar 11411 ``Computing with Infinite Data: Topological and Logical Foundations'' was held. This report collects the ideas that were presented and discussed during the course of the seminar. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ulrich Berger and Vasco Brattka and Victor Selivanov and Dieter Spreen and Hideki Tsuiki 2012 Is Part Of Dagstuhl Reports, Volume 1, Issue 10 (2012) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.1.10.14 urn:nbn:de:0030-drops-33721 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode