1 Search Results for "Rojas, Crist�bal"

Document
DOI: 10.4230/LIPIcs.STACS.2015.447
On the Information Carried by Programs about the Objects They Compute

Authors: Mathieu Hoyrup and Cristóbal Rojas

Published in: LIPIcs, Volume 30, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)

Abstract
In computability theory and computable analysis, finite programs can compute infinite objects. Presenting a computable object via any program for it, provides at least as much information as presenting the object itself, written on an infinite tape. What additional information do programs provide? We characterize this additional information to be any upper bound on the Kolmogorov complexity of the object. Hence we identify the exact relationship between Markov-computability and Type-2-computability. We then use this relationship to obtain several results characterizing the computational and topological structure of Markov-semidecidable sets.
Cite as

Mathieu Hoyrup and Cristóbal Rojas. On the Information Carried by Programs about the Objects They Compute. In 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 30, pp. 447-459, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{hoyrup_et_al:LIPIcs.STACS.2015.447,
  author =	{Hoyrup, Mathieu and Rojas, Crist\'{o}bal},
  title =	{{On the Information Carried by Programs about the Objects They Compute}},
  booktitle =	{32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015)},
  pages =	{447--459},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-78-1},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{30},
  editor =	{Mayr, Ernst W. and Ollinger, Nicolas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2015.447},
  URN =		{urn:nbn:de:0030-drops-49337},
  doi =		{10.4230/LIPIcs.STACS.2015.447},
  annote =	{Keywords: Markov-computable, representation, Kolmogorov complexity, Ershov topology}
}
  • Refine by Author
  • 1 Hoyrup, Mathieu
  • 1 Rojas, Cristóbal

  • Refine by Classification

  • Refine by Keyword
  • 1 Ershov topology
  • 1 Kolmogorov complexity
  • 1 Markov-computable
  • 1 representation

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2015

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact