IVe Congrès de la Société de Philosophie des Sciences (SPS)
1-3 Jun 2012 Montréal (Canada)

Selected Talks > By author > Pégny Maël

Friday 1
Calculus, mathematics and computer science
Président: François Lepage
› 16:30 - 17:00 (30min)
› DS-1950, J.-A.-DeSève, 320 rue Sainte-Catherine Est
Calculer avec des algorithmes, calculer avec des machines : un problème philosophique
Maël Pégny  1@  
1 : Execo -
Université de Paris-1 EA 3562

La thèse de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, à la suite de nombreux auteurs, une forme algorithmique de la thèse de Church-Turing, portant sur les fonctions calculables par un algorithme, d'une forme empirique de cette même thèse, portant sur les fonctions calculables par une machine,  il devient possible de poser une nouvelle question : les limites empiriques du calcul sont-elles identiques aux limites des algorithmes ? Ou existe-t-il un moyen empirique d'effectuer un calcul qu'aucun algorithme ne permet d'effectuer ?         Je montrerai ici la pertinence philosophique de cette question. Elle interroge la capacité de processus symboliques comme les calculs à simuler les processus empiriques qui implémentent un calcul. Elle permet également d'étudier le statut épistémologique des calculs réalisés par des machines.  S'il existait une fonction calculable par une machine sans être calculable par un algorithme, il existerait une proposition mathématique, exprimant le résultat d'un calcul, dont la vérité serait justifiée par des considérations purement empiriques. La coïncidence de la calculabilité par des machines avec la calculabilité par des algorithmes fonde ainsi le caractère a priori de la connaissance obtenue par le calcul. 


Online user: 1 RSS Feed