Constructivity and Computability in Historical and Philosophical Perspective

by

Write The First Customer Review

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 largely shed Brouwer's solipsistic attitude to logic, there remain points of disagreement to this day.Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the ...

Constructivity and Computability in Historical and Philosophical Perspective 2016, Springer

ISBN-13: 9789402407075

Softcover Reprint of the Origi edition

Trade paperback

Select
Constructivity and Computability in Historical and Philosophical Perspective 2014, Springer, Dordrecht

ISBN-13: 9789401792165

2014 edition

Hardcover

Select