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

Save to Library

Create Alert

Cite

Launch Research Feed