Hypercomputation: Philosophical issues

DOI10.1016/J.TCS.2003.12.014MaRDI QIDQ1434379zbMATH OpenOpenAlexFDO

Authors B. Jack Copeland

Publication date 4 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2003.12.014

zbMATH Keywords

mindTuringoracleChurchepistemic and physical objections to the possibility of hypercomputationSuper-Turing

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of computer science (68-03) History of mathematical logic and foundations (03-03) Computability and recursion theory (03D99)

Recommendations

• The hypercomputation thesis: stakes and philosophical problems
• Hypercomputation and the Physical Church‐Turing Thesis
• The case for hypercomputation
• scientific article; zbMATH DE number 1909825
• Hypercomputation

Cites work

• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3860368 (Why is no real title available?)
• scientific article; zbMATH DE number 3924764 (Why is no real title available?)
• scientific article; zbMATH DE number 1189126 (Why is no real title available?)
• scientific article; zbMATH DE number 727991 (Why is no real title available?)
• scientific article; zbMATH DE number 1103298 (Why is no real title available?)
• scientific article; zbMATH DE number 1869997 (Why is no real title available?)
• scientific article; zbMATH DE number 1909820 (Why is no real title available?)
• scientific article; zbMATH DE number 1909822 (Why is no real title available?)
• scientific article; zbMATH DE number 1909824 (Why is no real title available?)
• scientific article; zbMATH DE number 1909825 (Why is no real title available?)
• scientific article; zbMATH DE number 1909827 (Why is no real title available?)
• scientific article; zbMATH DE number 1909829 (Why is no real title available?)
• scientific article; zbMATH DE number 1909831 (Why is no real title available?)
• Analog computation via neural networks
• Limiting recursion
• Systems of Logic Based on Ordinals^†
• Trial and error predicates and the solution to a problem of Mostowski
• X-machines and the halting problem: Building a super-turing machine
• Zwei Unentscheidbare Probleme Der Analysis

Cited in

(41)

• Accelerating machines: a review
• Physical computability theses
• The case for hypercomputation
• scientific article; zbMATH DE number 2013794 (Why is no real title available?)
• Towards formal verification of computations and hypercomputations in relativistic physics
• A computational journey into the mind
• The concept of computability
• Uncomputability: The problem of induction internalized
• Undecidability through Fourier series
• Zeno machines and hypercomputation
• A new Gödelian argument for hypercomputing minds based on the busy beaver problem
• Logical Approaches to Computational Barriers
• Small steps toward hypercomputation via infinitary machine proof verification and proof generation
• On the Possibility, or Otherwise, of Hypercomputation
• Definability as hypercomputational effect
• The hypercomputation thesis: stakes and philosophical problems
• Expressive power of first-order recurrent neural networks determined by their attractor dynamics
• Is universal computation a myth?
• The significance of relativistic computation for the philosophy of mathematics
• Some thoughts on hypercomputation
• scientific article; zbMATH DE number 1869995 (Why is no real title available?)
• On hypercomputation, universal and diagonalization complete problems
• Hypercomputation by definition
• The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem
• Hypercomputation: fantasy or reality? A position paper
• scientific article; zbMATH DE number 1869985 (Why is no real title available?)
• scientific article; zbMATH DE number 1869996 (Why is no real title available?)
• The Diagonal Method and Hypercomputation
• A hypercomputational alien
• On TAE machines and their computational power
• Hypercomputation
• Physical constraints on hypercomputation
• A Survey on Analog Models of Computation
• Is there any real substance to the claims for a ``new computationalism?
• Superminds. People harness hypercomputation, and more
• Superintelligence cannot be contained: lessons from computability theory
• Recursive analysis of singular ordinary differential equations
• The mathematician's bias -- and the return to embodied computation
• Hyperloops do not threaten the notion of an effective procedure
• The modal argument for hypercomputing minds
• Modeling hyperarithmetic computability on machines with constraints

This page was built for publication: Hypercomputation: Philosophical issues

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