Loading...
Please wait, while we are loading the content...
Similar Documents
Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul
| Content Provider | Semantic Scholar |
|---|---|
| Author | Pégny, Maël |
| Copyright Year | 2012 |
| Abstract | La these de Church-Turing stipule que toute fonction calculable est calculable par une machine de Turing. En distinguant, a la suite de nombreux auteurs, une forme algorithmique de la these de Church-Turing portant sur les fonctions calculables par un algorithme d’une forme empirique de cette meme these, 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 capacite de processus symboliques comme les calculs a simuler certains processus empiriques. Elle permet egalement d’etudier le statut epistemologique des calculs realises par des machines. S’il existait une fonction calculable par une machine sans etre calculable par un algorithme, il existerait un probleme mathematique qui serait soluble par un dispositif empirique, sans etre soluble par aucune methode mathematique a priori. |
| Starting Page | 39 |
| Ending Page | 67 |
| Page Count | 29 |
| File Format | PDF HTM / HTML |
| DOI | 10.4000/philosophiascientiae.769 |
| Alternate Webpage(s) | https://journals.openedition.org/philosophiascientiae/pdf/769 |
| Alternate Webpage(s) | https://doi.org/10.4000/philosophiascientiae.769 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
