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...
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre numérique |
| שפה: | Français |
| יצא לאור: |
Paris (95 boulevard Raspail 75006) :
Les Belles lettres
2026.
Paris : Cairn |
| סדרה: | Figures du savoir
|
| גישה מקוונת: | Accès Université Orléans et IFPM |
| הערה: |
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 |
| LEADER | 02800nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 1464420 | ||
| 008 | 260703s2026 xx|||||| |||| 00| 0 fre d | ||
| 009 | PPN297947834 | ||
| 020 | |a 9782251903286 | ||
| 041 | 0 | |a fre | |
| 100 | 1 | |a Cassou-Noguès, Pierre, |d 1971- | |
| 245 | 1 | 0 | |a Gödel |c Pierre Cassou-Noguès. |
| 260 | |a Paris (95 boulevard Raspail 75006) : |b Les Belles lettres. | ||
| 260 | |a Paris : |b Cairn, |c 2026. | ||
| 490 | 0 | |a Figures du savoir | |
| 500 | |a CAIRN (ebooks) | ||
| 506 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 520 | |a 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 | ||
| 776 | 0 | |0 07647996X |t Gödel |f Pierre Cassou-Noguès |d 2004 |c Paris |n Les Belles lettres |p 1 vol. (190 p.) |s Figures du savoir |z 978-2-251-76040-7 | |
| 856 | 4 | |5 452349901:891291768 |u https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/godel--9782251760407?lang=fr |z Accès Université Orléans et IFPM | |
| 997 | |0 1464420 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/CAIRN (ebooks)/ | ||