| Le Théorème de Gödel Contributor(s): Havez-C (Author) |
|
 |
ISBN: 6131561656 ISBN-13: 9786131561658 Publisher: Omniscriptum OUR PRICE: $38.00 Product Type: Paperback Language: French Published: February 2018 |
| Additional Information |
| BISAC Categories: - Mathematics - Literary Criticism |
| Series: Omn.Univ.Europ. |
| Physical Information: 0.14" H x 5.98" W x 9.02" (0.22 lbs) 60 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Le premier th or me d'incompl tude de G del affirme qu'une th orie math matique permettant de faire de l'arithm tique contient n cessairement des nonc s ind cidables, c'est- -dire des nonc s que l'on ne peut ni prouver ni r futer. Ce th or me a marqu l'histoire des math matiques en mettant jour une limitation de la science math matique elle-m me. Quel que soit le syst me d'axiomes choisi, nous savons d sormais qu'il existe n cessairement des nonc s math matiques dont la v rit est inaccessible. Cet ouvrage pr sente une d monstration, qui se veut aussi simple que possible, de ce th or me fondamental. |