Siirry suoraan sisältöön
Constructivity and Computability in Historical and Philosophical Perspective
Tallenna

Constructivity and Computability in Historical and Philosophical Perspective

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other.

Painos
2014 ed.
ISBN
9789401792165
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
9.9.2014
Kustantaja
Springer
Sivumäärä
214