|
|
|
|
|
Constructivity and Computability in Historical and Philosophical Perspective
Titre de l'éditeur : Constructivity and Computability in Historical and Philosophical
MICHEL BOURDEAU
JACQUES DUBUCS
|
|
|
EN SAVOIR PLUS
Résumé
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 content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.
Détails
|
Prix :
|
74,73 $
|
|
Catégorie :
|
|
|
Auteur :
|
MICHEL BOURDEAU
JACQUES DUBUCS
|
|
Titre :
|
Constructivity and Computability in Historical and Philosophical Perspective
|
|
Date de parution :
|
octobre 2019
|
|
|
|
|
|
Éditeur :
|
LIVRES NUMÉRIQUES DIVERS
|
|
|
|
|
|
Sujet :
|
NUL DIVERS
|
|
ISBN :
|
9789401792172 (9401792178)
|
|
Référence Renaud-Bray :
|
3061139
|
|
|
|
No de produit :
|
3061139
|
Droits numériques
|
Format :
|
EPUB
|
|
Disponibilité :
|
Canada,
consultez la liste des pays autorisés.
Constructivity and Computability in Historical and Philosophical Perspective
De
BOURDEAU , MICHEL*DUBUCS , JACQUES
ANDORRE
ÉMIRATS ARABES UNIS
ALBANIE
ARMÉNIE
ANTARCTIQUE
ARGENTINE
SAMOA AMÉRICAINES
AUTRICHE
AUSTRALIE
AZERBAÏDJAN
BOSNIE-HERZÉGOVINE
BARBADE
BELGIQUE
BURKINA FASO
BULGARIE
BAHREÏN
BURUNDI
BÉNIN
BERMUDES
BRUNÉI DARUSSALAM
BOLIVIE
BRÉSIL
BAHAMAS
BOUVET, ÎLE
BELIZE
Canada
CONGO, LA RÉPUBLIQUE DÉMOCRATIQUE DU
CONGO
SUISSE
CÔTE D'IVOIRE
COOK, ÎLES
CHILI
CAMEROUN
CHINE
COLOMBIE
COSTA RICA
CUBA
CAP-VERT
CHRISTMAS, ÎLE
CHYPRE
TCHÈQUE, RÉPUBLIQUE
ALLEMAGNE
DJIBOUTI
DANEMARK
DOMINIQUE
DOMINICAINE, RÉPUBLIQUE
ALGÉRIE
ÉQUATEUR
ESTONIE
ÉGYPTE
ESPAGNE
FINLANDE
FALKLAND, ÎLES (MALVINAS)
FÉROÉ, ÎLES
FRANCE
GABON
GRENADE
GÉORGIE
GUYANE FRANÇAISE
GIBRALTAR
GROENLAND
GUINÉE
GUADELOUPE
GUINÉE ÉQUATORIALE
GRÈCE
GUATEMALA
GUINÉE-BISSAU
GUYANA
HONG-KONG
HEARD, ÎLE ET MCDONALD, ÎLES
HONDURAS
CROATIE
HAÏTI
HONGRIE
INDONÉSIE
IRLANDE
ISRAËL
|
|
Gestion des droits numériques :
|
Adobe DRM
|
|
Entrepôt numérique :
|
NUMILOG
|
|
Nombre d'appareils autorisés :
|
3
|
|
Nombre de copier/coller :
|
0
|
|
Impression :
|
0
|
|
|
|
Constructivity and Computability in Historical and Philosophical Perspective
,
BOURDEAU , MICHEL*DUBUCS , JACQUES
©
LIVRES NUMÉRIQUES DIVERS
2019
|
|
|