Corpus ID: 62754366

New Computational Paradigms: Changing Conceptions of What is Computable

@inproceedings{Cooper2007NewCP,
  title={New Computational Paradigms: Changing Conceptions of What is Computable},
  author={S. B. Cooper and Benedikt Lwe and A. Sorbi},
  year={2007}
}
  • S. B. Cooper, Benedikt Lwe, A. Sorbi
  • Published 2007
  • Computer Science
  • In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical logic of the last 70 years. Moreover, the increasingly compelling necessity to deal with computability in the real world (such as computing on continuous data, biological… CONTINUE READING
    100 Citations
    Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions
    • 5
    • PDF
    Significance of Models of Computation, from Turing Model to Natural Computation
    • 59
    • PDF
    Turing oracle machines, online computing, and three displacements in computability theory
    • R. Soare
    • Computer Science
    • Ann. Pure Appl. Log.
    • 2009
    • 64
    • PDF
    Practical Intractability: A Critique of the Hypercomputation Movement
    • Aran Nayebi
    • Computer Science, Mathematics
    • Minds and Machines
    • 2013
    • 4
    • PDF

    References

    SHOWING 1-10 OF 216 REFERENCES
    Relativistic computers and the Turing barrier
    • 71
    • PDF
    What Lies Beyond the Mountains?
    • 10
    • PDF
    The New Promise of Analog Computation
    • 6
    A new conceptual framework for analog computation
    • 11
    • PDF
    Computability and Computable Models
    • 11
    Non-Turing Computers and Non-Turing Computability
    • M. Hogarth
    • Mathematics
    • PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
    • 1994
    • 128
    • Highly Influential
    • PDF
    Real recursive functions and their hierarchy
    • 52
    • PDF
    New Physics and Hypercomputation
    • 7
    • PDF
    Complexity Theory of Real Functions
    • K. Ko
    • Mathematics, Computer Science
    • Progress in Theoretical Computer Science
    • 1991
    • 516
    Foundational and Mathematical Uses of Higher Types
    • 58
    • PDF