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. The authors argue that even though constructivists have large...
Other Authors: | Dubucs, Jacques,, Bourdeau, Michel,, SpringerLink (Online Service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer,
2014.
|
Physical Description: |
1 online resource (xi, 214 pages) : illustrations. |
Series: |
Logic, epistemology and the unity of science ;
v. 34. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |