m (A link back to Exact real arithmetic -- in fact, it was this topic that forced me to create the separate ,,Computer science'' wikipage (with section ,,Computability theory'').)
m (add headline ,,Introduction'')
Revision as of 14:10, 22 April 2006
Wikipedia's Computer science.
Structure and Interpretation of Computer Programs (by Harold Abelson and Gerald Jay Sussman with Julie Sussman, foreword by Alan J. Perlis).
2 Computability theory
Wikipedia's Computability theory.
An interesting area related to computabilty theory: Exact real arithmetic. For me, it was surprising, how it connected problems in mathematical analysis, arithmetic and computability theory.