|
|
|
|
New Computational Paradigms: Changing Conceptions of What is ComputableIn 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... | | | | |
|
|
|
|
|
Result Page: 137 136 135 134 133 132 131 130 129 128 127 126 125 124 123 122 121 120 119 |