Gödelův důkaz – Nagel Ernest (2024)

Dans le livre La Preuve de Gödel, Ernest Nagel et James R. Newman offrent une explication lisible et exceptionnellement accessible des principales idées et implications de la découverte de Gödel, sans symbolisme spécial. Le livre a été publié pour la première fois en 1958 et a été réédité maintes et maintes fois - le tchèque est la onzième langue dans laquelle il a été traduit. L'œuvre populaire et influente de Nagel et Newman offre au lecteur éduqué intéressé par les mathématiques, la logique et la philosophie l'opportunité de comprendre une preuve qui est autrement difficile et inaccessible. Dans la dernière édition, cette œuvre désormais classique a été revue et mise à jour par le lauréat du prix Pulitzer Douglas R. Hofstadter. Il a supprimé les ambiguïtés, clarifié les arguments et rendu le texte encore plus accessible. Il a ajouté une introduction où il révèle sa relation avec ce livre et l'influence qu'il a eue sur sa croissance professionnelle, explique l'essence de la preuve de Gödel et montre comment et pourquoi cette preuve reste importante aujourd'hui. L'édition actuelle est nouvellement élargie avec un épilogue d'Alexander Meduna (FIT VUT) intitulé "Brno Native Kurt Gödel et son héritage." Le livre est destiné aux étudiants, chercheurs, enseignants, ainsi qu'aux professionnels des mathématiques, de la cybernétique, de la logique, de la philosophie et des sciences naturelles.