Le Théorème de Gödel Contributor(s): Havez-C (Author) |
|||
ISBN: 6131561656 ISBN-13: 9786131561658 Publisher: Omniscriptum
Binding Type: Paperback Language: French Published: February 2018 Click for more in this series: Omn.Univ.Europ. |
Additional Information |
BISAC Categories: - Mathematics - Literary Criticism |
Series: Omn.Univ.Europ. |
Physical Information: 0.14" H x 5.98" W x 9.02" L (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. |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |