New Computational Paradigms: Changing Conceptions of What is Computable 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... From Writing to Computers ... the broad and clear analysis of writing and language, and of automata theory, formal logic, and computability theory he uses to reach [his conclusion] is well worth reading.
–H. D. Warner, Western New England College
From Writing to Computers takes as its central theme the issue of a...
|Result Page: 3 2 1 |