Abstract FR:

Les caractérisations des limites de la science se font traditionnellement en exhibant des résultats d'impossibilite, comme le premier théorème d'incomplétude de Gödel ou le principe d'incertitude de Heisenberg. On obtient alors une notion absolue de limite a ce qu'il est possible de connaître, valable même pour une créature douée de capacités de calcul infinies. Cette limite est néanmoins trop large car, même si nous pouvons dorénavant accroître nos capacités de calcul en développant nos ordinateurs, nous ne possédons jamais que des capacités finies. J'essaye dans cette thèse de montrer qu'il existe des limites absolues ace qu'il est possible de connaître en pratique au moyen de ressources finies et qu'il y a des contraintes absolues a l'extension de ce domaine qui est permise par I'accroissement de notre savoir et de nos ressources en calcul. Par là-même, je propose une caractérisation dynamique de l'évolution du domaine du savoir potentiel.