Utilisateur:Haugure/Brouillon

• Gérer mon brouillon
• Demander une relecture (voir les demandes)
• Publier mon brouillon

Cette page est un brouillon appartenant à Haugure

Conseils de rédaction

• → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
• → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

• Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
• Indiquez les éléments démontrant la notoriété du sujet (aide).
• Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
• Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
• Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

• → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.

Leon Albert Henkin (en russe : Леон Альберт Хенкин) né le 19 avril 1921 à Brooklyn et mort le 1^er novembre 2006 à Oakland en californie est un mathématicien logicien de l'Université de Californie. Il est principalement connu pour son travail sur le théorème de complétude et les quantificateurs.

Leon Henkin

Leon Henkin en 1977 à l'Université de Californie
Lors d'un pique-nique du groupe de logique.

Données clés

Naissance	19 avril 1921 Brooklyn (États-Unis)
Décès	1er novembre 2006 (à 85 ans) Oakland (États-Unis)
Nationalité	américaine

Données clés

Domaines	Mathématiques, Logique
Directeur de thèse	Alonzo Church
Étudiants en thèse	Daniel Demaree, David Ferguson, Daniel Gallin, Haragauri Gupta, Charles Howard, Michel Jean, Carol Karp, Peter Krauss, Leonard Lipner, Nitsa Movshovitz-Hadar, Diane Resek, Hadas Rin, Françoise Tourniaire, Philip Treisman

Biographie

Leon Albert Henkin est né le 19 avril 1921 à Brooklyn aux états-unis, issue d'une famille juive originaire de Gomel en Russie. Son oncle Abraham permettra à l'ensemble de sa famille de fuir la Russie en pleine révolution, il né et grandi dans Brooklyn avec ses cousins. Son deuxième prénom Albert lui est donné par son père en hommage à Albert Einstein pour sa théorie de la relativité qui bouleverse le monde scientifique de l'époque. Il perd sa mère en 1926 lors de la naissance de sa sœur Estelle.

[Education...]

Pendant la Deuxième Guerre mondiale, il participe au Projet Manhattan, d'abord comme mathématicien au Signal Corps Laboratories (en) au New Jersey, ensuite comme chef d'équipe pour Union Carbide & Carbon Corp à Oak Ridge, dans le Tennessee.

Après la guerre en 1947, il étudie à l'Université de Princeton, où il fut dirigé par Alonzo Church il y présente une thèse The Completeness of Formal Systems (la complétude des systèmes formels) en 1949, il obtient son doctorat la même année.

Il déménage à l'ouest et commence à travailler à la Faculté de l'Université de Californie du Sud, en 1953 il devient professeur de mathématiques à l'Université de Californie à Berkeley. A Berkeley, où il a été invité avant, mais il a rejeté cette invitation précédente, car il en était contraint par un serment de loyauté, qui en 1953 a été déclarée inconstitutionnelle. En 1958, il est devenu professeur titulaire à l'Université de Californie à Berkeley.

En 1960, il a attiré l'attention sur le fait que de nombreuses jeunes filles et étudiants défavorisés, même talentueux n'ont pas forcément les moyens financiers pour faire carrière dans les mathématiques, ceci a conduit à la création en 1964 à Berkeley, d'un Comité des bourses spéciales, composé de lauréats du prix Nobel et de hauts fonctionnaires de l'éducation. Le comité a examiné la question et a développé un programme spécial pour aider ces étudiants. Cette initiative a servi plus tard à l'élaboration d'un programme similaire au niveau fédéral (Upward Bound (en)), et par la suite pour des centaines de programmes universitaires similaires à travers les États-Unis. Henkin a conduit ce Comité spécial pendant quarante ans.

Tarski et Henkin fondent en 1957, un département de mathématiques interdisciplinaires qu'ils nomment Group in Logic and the Methodology of Science. De 1962 à 1965 il est Président de l'Association for Symbolic Logic. Il obtient le statut de professeur en 1958. De 1966 à 1968 il est directeur du département de mathématiques de l'université de Californie puis il est de nouveau entre 1983 et 1985.

He achieved the rank of full professor in 1958 and retired in 1991.

Il épouse Ginette Potvin ^[Quand ?] originaire de Montréal, de leur union naîtront deux fils Paul et Julian.

Infos en vrac a ne pas perdre de suite

Il meurt le 1^er novembre 2006 /des suites d'une courte maladie/de cause naturel dans d'autre source/faudrait savoir!. (en) « In memoriam : Leon Albert Henkin » (consulté le 11 juin 2015)

(en) James Wallace Givens, Abraham H. Taub et Angus E. Taylor, « Interview de Leon Henkin - The Princeton Mathematics Community in the 1930s », sur le site de l'Université de Princeton, 18 mai 1984 (consulté le 11 juin 2015)

(en) María Manzano, Ildikó Sain et Enrique Alonso, The Life and Work of Leon Henkin : Essays on His Contributions, Springer, 23 octobre 2014, 351 p. (ISBN 3319097199 et 9783319097190, lire en ligne)

https://www.math.ucla.edu/~asl/bsl/0202/0202-001.ps

Thèse : The Completeness of Formal Systems Il fut directeur du département de mathématiques de l'université de Californie de 1966 à 1968 puis de 1983 à 1985.

En 1952 Henkin soulève une interrogation, à propos du système P.A. : Le système étant diagonalisable ... à voir

Professeur emeritus de l'université de californie ? EN quelle année? ?