Gödel
Kurt Gödel (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...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Français |
| Publicat: |
Paris (95 boulevard Raspail 75006) :
Les Belles lettres
2026.
Paris : Cairn |
| Col·lecció: | Figures du savoir
|
| Accés en línia: | Accès Université Orléans et IFPM |
| Nota: |
CAIRN (ebooks) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Gödel, Pierre Cassou-Noguès, 2004, Paris, Les Belles lettres, 1 vol. (190 p.), Figures du savoir, 978-2-251-76040-7 |
| Sumari: | Kurt Gödel (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 Gödel, en suivant son œuvre 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 Gödel fameux au-delà de son domaine et influencé jusqu'au psychanalyste Jacques Lacan |
|---|---|
| Descripció de l’ítem: | CAIRN (ebooks) |
| ISBN: | 9782251903286 |
| Accés: | L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition |