Hilary Putnam
Période historique : 1926-2016
Philosophe et logicien américain co-inventeur de l'algorithme DPLL pour la résolution de SAT.
Contenu & Formulation mathématique
Genèse & Portée historique
Figure majeure de la philosophie de l'esprit et des sciences, Hilary Putnam a contribué de façon décisive à la logique mathématique en développant l'algorithme Davis-Putnam (1960) puis Davis-Putnam-Logemann-Loveland (DPLL, 1962), qui reste le moteur fondamental de tous les solveurs SAT modernes.
Putnam a également collaboré avec Martin Davis et Julia Robinson, fournissant la preuve partielle clé ayant permis à Yuri Matiyasevich de résoudre par la négative le 10e problème de Hilbert sur les équations diophantiennes.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Hilary Putnam
Philosophe et logicien américain co-inventeur de l'algorithme DPLL pour la résolution de SAT.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.