Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: On Tuesday, October 6th, 07:00 UTC, Zenodo will be unavailable for 10-15 minutes to perform a storage cluster upgrade.

Continuity, Computability, Constructivity - From Logic to Algorithms
Published December 16, 2025 | Version v1
Conference paper Open

C(x) given x. Applications to left c.e. reals: Computability, Turing-completeness and computational gaps

Authors/Creators

  • Davie, George ORCID icon

Files

ccc2025_davie.pdf

Files (326.9 kB)

Name Size Download all
ccc2025_davie.pdf
md5:7d2867b22c4dfb9a6ee74fdcd2324258
326.9 kB Preview Download
37
Views
28
Downloads
Show more details
All versions This version
Views

Total views

37 37
Downloads

Total downloads

28 28
Data volume

Total data volume

10.8 MB 10.8 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.17946550
DOI Badge

DOI

10.5281/zenodo.17946550

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.17946550.svg)](https://doi.org/10.5281/zenodo.17946550)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.17946550.svg
  :target: https://doi.org/10.5281/zenodo.17946550

HTML

<a href="https://doi.org/10.5281/zenodo.17946550"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.17946550.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.17946550.svg

Target URL

https://doi.org/10.5281/zenodo.17946550
Resource type
Conference paper
Publisher
Zenodo
Conference
Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2025 Proceedings) , Swansea, 1-3 September 2025

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
December 16, 2025
Modified
December 16, 2025

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies