Gödel
Kurt Gdel (1906-1978), mathématicien, logicien et philosophe, est incontestablement l'un des plus grands esprits de notre temps. Ses réponses aux questions radicales posées par le XXe siècle au langage, aux mathématiques et à la pensée rationnelle ont modifié de façon décisive l'assise du savoir contemporain:
Existe-t-il une langue qui permette d'isoler les phrases vraies dans tout monde possible? Pouvons-nous ou prouver ou réfuter chacune des phrases que nous pouvons y énoncer? Ou bien, dans une langue donnée, existe-t-il des phrases indécidables? Plus largement, existe-t-il des phrases absolument indécidables, qui, dans aucune langue plausible, ne seront ni prouvées ni réfutées?
Sommes-nous des machines? Si nous pensons correctement, notre pensée doit pouvoir s'énoncer dans une langue univoque mais, en utilisant une langue définie, nous écrivons comme une machine. Existe-t-il des machines capables d'écrire tout ce que nous pouvons penser?
Existe-t-il des objets qui ne sont ni dans l'espace ni dans le temps et que nous ne pouvons percevoir qu'avec nos esprits? Les nombres sont-ils de tels objets?
Les mathématiques apparaissent comme le modèle de l'activité rationnelle et l'arithmétique donne le modèle de la certitude mathématique. Mais pouvons-nous donner un fondement à l'arithmétique élémentaire?
On présente ici les réponses de Gdel, en suivant son oeuvre logique et philosophique, depuis sa démonstration de la complétude sémantique du calcul des prédicats (1929) à sa réflexion sur le continu chez Cantor (1947), en passant par son théorème dit d'incomplétude (1931) théorème qui a rendu Gdel fameux au-delà de son domaine et influencé jusqu'au psychanalyste Jacques Lacan.
Lire plus
Lire moins
Existe-t-il une langue qui permette d'isoler les phrases vraies dans tout monde possible? Pouvons-nous ou prouver ou réfuter chacune des phrases que nous pouvons y énoncer? Ou bien, dans une langue donnée, existe-t-il des phrases indécidables? Plus largement, existe-t-il des phrases absolument indécidables, qui, dans aucune langue plausible, ne seront ni prouvées ni réfutées?
Sommes-nous des machines? Si nous pensons correctement, notre pensée doit pouvoir s'énoncer dans une langue univoque mais, en utilisant une langue définie, nous écrivons comme une machine. Existe-t-il des machines capables d'écrire tout ce que nous pouvons penser?
Existe-t-il des objets qui ne sont ni dans l'espace ni dans le temps et que nous ne pouvons percevoir qu'avec nos esprits? Les nombres sont-ils de tels objets?
Les mathématiques apparaissent comme le modèle de l'activité rationnelle et l'arithmétique donne le modèle de la certitude mathématique. Mais pouvons-nous donner un fondement à l'arithmétique élémentaire?
On présente ici les réponses de Gdel, en suivant son oeuvre logique et philosophique, depuis sa démonstration de la complétude sémantique du calcul des prédicats (1929) à sa réflexion sur le continu chez Cantor (1947), en passant par son théorème dit d'incomplétude (1931) théorème qui a rendu Gdel fameux au-delà de son domaine et influencé jusqu'au psychanalyste Jacques Lacan.
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*.
Comment lire ce smartbook ?
Sur les applis MySmartBook
(avec discussion)
(avec discussion)
Sur mon ordinateur
(sans discussion)
(sans discussion)
Avis des lecteurs
Connexion
Soyez le premier à donner votre avis !
