Unconventional algorithms: complementarity of axiomatics and construction

DOI10.3390/E14112066MaRDI QIDQ406192zbMATH OpenOpenAlexFDO

Authors Gordana Dodig-Crnkovic, Mark Burgin

Publication date 8 September 2014

Published in Entropy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3390/e14112066

zbMATH Keywords

unconventional computingaxiomatic models vs. constructive modelscomputation beyond the Turing limitunconventional models of computation

Mathematics Subject Classification ID

Recommendations

• Algorithms and algorithmic problems
• Local and global models of physics and computation
• Advances in unconventional computing. Volume 1. Theory
• scientific article; zbMATH DE number 1670509
• Specification, testing and verification of unconventional computations using generalizedX-machines

Cites work

• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 52976 (Why is no real title available?)
• scientific article; zbMATH DE number 3513761 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Axiomatic recursion theory and the continuous functionals
• Computability of Recursive Functions
• Information Flow
• Journeys in non-classical computation I: A grand challenge for computing research
• Located sets and reverse mathematics
• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Storage Modification Machines
• The Tychonoff product theorem implies the axiom of choice
• Theory of information. Fundamentality, diversity and unification.
• Weak comparability of well orderings and reverse mathematics

Cited in

(1)

• On One Unconventional Framework for Computation

This page was built for publication: Unconventional algorithms: complementarity of axiomatics and construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406192)