La thèse de l'hyper-calcul : problèmes et enjeux philosophiques

Autor: Franchette, Florent

Publikováno v: Philosophia Scientiae
Philosophia Scientiae, Editions Kime, 2012, 16 (3), pp.17-38

International audience; Dans cet article je réponds à deux questions philosophiques soulevées par la thèse suivante appelée " thèse de l'hyper-calcul " : il est possible de construire physiquement un modèle d'hyper-calcul. La première questio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cdd5e099d80d5502b15127736fd86a32
https://halshs.archives-ouvertes.fr/halshs-00775839

Constructivity and Calculability in Historical and Philosophical Perspective

Autor: Michel Bourdeau, Jacques-Paul Dubucs

Publikováno v: 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⟩
Logic, Epistemology, and the Unity of Science ISBN: 9789401792165
Constructivity and Computability in Historical and Philosophical Perspective

Preface Jacques Dubucs and Michel Bourdeau.- Chapter 1. Constructive Recursive Functions, Church's Thesis, and Brouwer's Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session Goran Sundholm.- Chapter 2. The developments of the con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f029132392ffd423b3bd307c5eabc02
https://halshs.archives-ouvertes.fr/halshs-01070729

La machine α : modèle générique pour les algorithmes naturels

Autor: Bui, Marc, Lamure, Michel, Lavallee, Ivan

19 pages; So far, following the works of A.M. Turing, the algorithms were considered as the mathematical abstraction from which we could write programs for computers whose principle was based on the theoretical concept of Turing machine. We start her

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9c740c3c8209410e044040d76cd6f191
https://hal.archives-ouvertes.fr/hal-00814812v2/document

Sous le signe du calcul

Autor: Giavitto, Jean-Louis, Reichenmann, François

Publikováno v: DocSciences
DocSciences, 2012, 14 (Alan Turing : la pensée informatique), pp.12-15
DocSciences, Édition du CRDP de l'académie de Versailles, 2012, 14 (Alan Turing : la pensée informatique), pp.12-15
Interstices
Interstices, 2012
Interstices, INRIA, 2012

DocScience est une revue éditée par le CRDP de l'Académie de Versailles à destination des lycéens et de leurs professeurs.; National audience; Alan Turing a non seulement défini l'objet d'étude de l'informatique, le calcul, mais aussi révolut

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::26e419ea8a382d190d7fee08be015fe8
https://hal.science/hal-00769278/document

De la puissance cachée de certains programmes

Autor: Verley, Gilles

Publikováno v: CNRIUT'2010
CNRIUT'2010, Jun 2010, ANGERS, France

National audience; Les programmes dits d'application fournissent des fonctionnalités spécifiques conçues pour répondre aux besoins bien identifiés d'une catégorie d'utilisateurs. Chaque fonctionnalité lorsqu'elle est « appelée » par l'utili

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a549dc65e49638193d7ac166a52cb0e7
https://hal.archives-ouvertes.fr/hal-01528842/file/137-soumission_137-1.pdf