Kurt Gödel Ordre des livres

Kurt Gödel fut un logicien, mathématicien et philosophe austro-américain qui eut un impact immense sur la pensée scientifique et philosophique du XXe siècle. Il est surtout connu pour ses deux théorèmes d'incomplétude, qui ont montré que dans tout système axiomatique cohérent et suffisamment puissant, il existe des propositions vraies qui ne peuvent pas être prouvées à partir des axiomes. Pour prouver ces théorèmes, Gödel a développé une technique connue sous le nom de numération gödelienne, qui code les expressions formelles comme des nombres naturels. Son travail sur la théorie de la démonstration a également clarifié les liens entre différents systèmes logiques et a montré que l'hypothèse du continu ne peut être réfutée à partir des axiomes acceptés de la théorie des ensembles.