Hilbert
David Hilbert (1862-1943) est l'un de ces géants dont la figure domine l'histoire des mathématiques et marque le seuil d'une époque nouvelle. Il parcourt et transforme toutes les mathématiques, portant attention non plus à la nature des objets, la nature de l'espace en géométrie ou celle du nombre en arithmétique, mais à la structure des domaines. Ainsi, s'ouvre l'époque abstraite où, en France, grandira, par exemple, le groupe Bourbaki.
Hilbert a indiqué des problèmes et des voies que les mathématiciens continuent d'explorer. Ses recherches ont donné appui à de nouvelles disciplines hors des mathématiques, comme la mécanique quantique ou l'informatique, et trouvé un écho inattendu hors des sciences exactes, dans la linguistique et la psychanalyse lacanienne.
Avant tout, l'oeuvre de Hilbert est le développement de la méthode abstraite qui caractérise les mathématiques modernes. Cette méthode, Hilbert l'applique dans tous les domaines mathématiques et, finalement, la pousse jusqu'à ses limites pour donner un fondement, une garantie dernière à la science. Le programme de fondement, que l'on a appelé le programme formaliste, donne lieu aux théorèmes d'incomplétude, qu'établit Gdel en 1931, et aux machines de Turing.
Nous suivons cette aventure, de l'émergence de la méthode abstraite jusqu'au programme formaliste et aux résultats de Gdel et de Turing. Nous tentons d'en dégager la portée philosophique. Sont en jeu le statut de l'infini, l'extension et les caractères de la pensée humaine.
Read more
Read less
Hilbert a indiqué des problèmes et des voies que les mathématiciens continuent d'explorer. Ses recherches ont donné appui à de nouvelles disciplines hors des mathématiques, comme la mécanique quantique ou l'informatique, et trouvé un écho inattendu hors des sciences exactes, dans la linguistique et la psychanalyse lacanienne.
Avant tout, l'oeuvre de Hilbert est le développement de la méthode abstraite qui caractérise les mathématiques modernes. Cette méthode, Hilbert l'applique dans tous les domaines mathématiques et, finalement, la pousse jusqu'à ses limites pour donner un fondement, une garantie dernière à la science. Le programme de fondement, que l'on a appelé le programme formaliste, donne lieu aux théorèmes d'incomplétude, qu'établit Gdel en 1931, et aux machines de Turing.
Nous suivons cette aventure, de l'émergence de la méthode abstraite jusqu'au programme formaliste et aux résultats de Gdel et de Turing. Nous tentons d'en dégager la portée philosophique. Sont en jeu le statut de l'infini, l'extension et les caractères de la pensée humaine.
Pierre Cassou-Noguès
Pierre Cassou-Noguès, né en **1971**, est philosophe, professeur à l’université Paris-8 et membre de l’**Institut universitaire de France**. Spécialiste des liens entre philosophie, littérature et sciences, il est aussi un cycliste passionné et un observateur attentif des mutations du monde contemporain. Auteur de nombreux essais, il explore souvent des formes hybrides entre récit et réflexion, comme dans *Métaphysique d’un bord de mer* ou *Virusland*.
How to read this epub ebook?
On the MySmartBook apps
(without discussion)
(without discussion)
On my computer
(without discussion)
(without discussion)
Readers Reviews
Login
No reviews found. Share your insights with others.
