Constructivity and Calculability in Historical and Philosophical Perspective - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Ouvrages Année : 2014

Constructivity and Calculability in Historical and Philosophical Perspective

Résumé

This book covers the almost eighty years from Turing's seminal paper of 1936 to the present and focuses on two developments during that period. On the one hand, the development of computability theory and complexity theory called for generalizations, restrictions, and other modifications of Turing's original machine. On the other hand, it became clear that recursion theory cannot serve as a foundational analysis of the notion of computable function(al), which has to be accepted as primitive. In different ways, both of these developments contributed to a unified view of logic.
Fichier non déposé

Dates et versions

halshs-01070729 , version 1 (02-10-2014)

Identifiants

Citer

Jacques Dubucs, Michel Bourdeau. Constructivity and Calculability in Historical and Philosophical Perspective. springer, pp.214, 2014, Logic, Epistemology, and the Unity of Science, Shahid Rahman, 978-94-017-9216-5. ⟨10.1007/978-94-017-9217-2⟩. ⟨halshs-01070729⟩
129 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More