Constructivity and Computability in Historical and Philosophical Perspective

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dubucs, Jacques (Επιμελητής έκδοσης), Bourdeau, Michel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
• Σειρά: Logic, Epistemology, and the Unity of Science, 34
• Θέματα: Philosophy.; Logic.; Computers.; Mathematical logic.; Theory of Computation.; Mathematical Logic and Foundations.

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 sh...