|
|
|
|
|
|
| | 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: 240 239 238 237 236 235 234 233 232 231 230 229 228 227 226 225 224 223 222 |