Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Emil Leon Post

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

11 Feb 1897

Augustów, Russian Empire (now Poland)

21 April 1954

New York, USA

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Emil Post »a été le père de Arnold Post et sa mère était Pearl Post. Arnold et Pearl sont Juifs polonais et leur fils Emil est né en Pologne Russe contrôlée et a passé les sept premières années de sa vie. La famille a émigré aux États-Unis en Mai 1904 la recherche d'une vie meilleure, et la mise en place d'accueil à New York.

Emil a été un enfant extraordinairement brillants, mais sa vie a été une grande tragédie. Quand il était enfant, il a perdu un bras dans un accident mais ce handicap était un traité dont il. Il a dû faire face à des problèmes mentaux dans sa vie d'adulte qui a un effet dévastateur sur lui, rendant le problème physique d'avoir perdu un bras semblent plutôt insignifiants en comparaison.

Il est gratuit l'enseignement secondaire disponible spécialement pour les enfants doués à New York. C'était au Townsend Harris High School qui se trouve sur le même site que le Collège de la ville de New York. Après avoir obtenu son diplôme de l'école secondaire post est resté sur le même campus comme il a continué ses études au City College.

Nous pensons maintenant des postes comme un logicien mathématique, mais le premier sujet qui lui a attiré l'astronomie. Pendant ses études au Collège de la ville de New York, il a étudié les mathématiques, mais il ya peu de signes qu'à ce stade, il est particulièrement attiré par la logique. Si un étudiant à l'Ordre, il a écrit son premier document qui a été généralisée sur la différenciation. La question qu'il a posée était un fascinant: qu'est-ce que l'opérateur différentiel D n quand n est pas un entier? Bien que l'écrit alors qu'il était étudiant, après ne pas soumettre ce document à l'American Mathematical Society jusqu'en 1923 et il n'a finalement été publié jusqu'en 1930. Il contient une idée très important, dans le document Post prouve un résultat important sur l'inversion de Laplace transform. Cette publication semble bien après l'obtention du diplôme La Poste avec son premier degré qui a été son BS décerné par le City College en 1917.

Après avoir obtenu son diplôme avec son premier degré, après le troisième cycle a commencé la recherche à l'Université de Columbia. L'événement important pour la carrière de Poste avait été la publication de Russell et Whitehead 's Principia Mathematica. Le premier volume de Principia Mathematica a été publié en 1910, la deuxième en 1912, et la troisième en 1913. Lorsque Poste a commencé ses études il a été un nouveau développement et l'après participé à Cassius Keyser J du séminaire de Columbia qui a étudié les Principia Mathematica. Post a obtenu le degré de AM en 1918 et de doctorat en 1920. Son doctorat thèse sur la logique mathématique, et nous allons en discuter plus en détail dans un instant, mais d'abord, notons que le poste a écrit un deuxième document comme un troisième cycle, qui a été publié avant son premier document, ce qui a été un court travail sur l'équation fonctionnelle de la fonction gamma.

Nous passons maintenant à La Poste Ph.D. thèse, dans laquelle il a prouvé l'exhaustivité et la cohérence du calcul des propositions décrites dans les Principia Mathematica par l'introduction de la table de vérité méthode. Il a ensuite généralisées sa table de vérité méthode, qui repose sur les deux valeurs "vrai" et "faux", à une méthode qui a un nombre fini arbitraire de la vérité des valeurs. La dernière, et peut-être le plus remarquable, idée nouvelle qui Post présente dans sa thèse était de donner un cadre pour les systèmes d'inférence logique que les systèmes fondés sur un processus fini de manipulation de symboles. Un tel système de logique que le poste proposé produit, dans la terminologie d'aujourd'hui, un ensemble récursivement dénombrable de mots sur un alphabet fini. Il serait juste de dire que le poste de thèse marque le début de la théorie de la démonstration.

Après avoir reçu son doctorat, après est allé à l'université de Princeton pour une année Proctor Fellow. Il est retourné à l'Université de Columbia et, peu de temps après, il a eu son premier match d'une maladie qui devait se reproduire tout au long de sa carrière et de limiter ce qu'il aurait pu parvenir. Comme Davis écrit:

Il a souffert toute sa vie d'adulte de paralyser la psychose maniaco-dépressive maladie à un moment où aucun traitement médicamenteux est disponible pour cette maladie.

En 1924, Post est allé à Cornell mais là encore, est tombée malade. Il a repris le travail comme un professeur de lycée à New York en 1927. Il a épousé Gertrude Singer en 1929 et ils eurent un enfant, une fille Phyllis. Puis, en 1932, il a été nommé au City College. Il a quitté après une courte période, de nouveau face à sa maladie mentale, mais il est revenu trois ans plus tard, et passé le reste de sa vie. Au City College de sa charge d'enseignement était de 16 heures par semaine, ce qui fait trouver du temps pour la recherche très difficile. Aussi les membres du personnel n'a pas de bureau de leurs propres, mais tous ont été mis dans une chambre individuelle avec une grande table au milieu. Poste a choisi de travailler à la maison, mais avec un jeune enfant le mettre à rude épreuve sur la famille. La Poste fille Phyllis expliqué plus tard dans sa vie comment Gertrude Post avait du mal à donner son mari la possibilité de consacrer du temps à la recherche:

Mon père était un génie, ma mère était un saint ... En plus de taper des lettres de recommandation, ma mère aussi tapé mon père manuscrits et la correspondance ... Ma mère était aussi celui qui traitées toutes les questions financières ... elle est la mémoire tampon dans la vie quotidienne qui permettait de mon père de consacrer son attention à l'enseignement des mathématiques (ainsi que ses divers intérêts dans les affaires du monde contemporain). Aurait-il fait tellement sans elle? Pour ma part, je ne le pense pas.

La Poste mort prématurée à l'âge de 57 ans était presque certainement une conséquence directe du traitement qu'il a reçu pour sa maladie mentale. À ce moment-là ces maniaco-dépressifs maladies ont été traités avec un traitement de choc électrique. Il a été un horrible traitement pour une maladie horrible et qui a causé une grande détresse. Il est basé sur rien de mieux que le fait que les patients ont reçu après ce traitement, nombre d'entre eux avaient des périodes de plus normal états mentaux. Post reçu le traitement de choc électrique sur un certain nombre de reprises et il a été alors qu'il se trouvait dans un établissement psychiatrique, peu de temps après avoir reçu des décharges électriques, qu'il a subi une crise cardiaque et est décédé.

Post est plus connu pour ses travaux sur polyadic groupes, ensembles récursivement dénombrable, et les degrés de unsolvability, ainsi que pour sa contribution à la unsolvability de problèmes en mathématiques combinatoires. Il introduit les concepts d'exhaustivité et de cohérence dans un document sur la vérité de table qui a développé des méthodes du travail de sa thèse de doctorat. Il a attribué ces méthodes à son professeur à Columbia, CJ Keyser, plutôt que de Charles Peirce et E Schröder comme cela avait été fait précédemment. Dans les années 1920 après la preuve des résultats similaires à ceux qui Gödel, Church et de Turing découvert plus tard, mais il n'a pas les publier. Il a raison, il n'a pas publié, car il a été estimé qu'une «analyse complète» était nécessaire pour faire accepter. Il a écrit:

L'exactitude de ce résultat est évidemment entièrement tributaires de la fiabilité de l'analyse conduisant à la généralisation au-dessus ... il est fondamentalement faible dans son recours sur la logique des Principia Mathematica ... pour la pleine généralité une analyse complète devrait être donnée de toutes les manières dont l'esprit humain pourrait mettre en place des processus finis pour générer des séquences.

Il a également fait une étude mathématique de Lukasiewicz l 'une valeur de trois logique. À cette époque, il écrivit dans son journal:

Je étude Mathématiques comme un produit de l'esprit humain et non comme absolue.

Lorsque Gödel a publié son Incompleteness Theorems en 1931, après réalisé qu'il avait attendu trop longtemps pour publier ce qu'il a fait la preuve et que, désormais, l'ensemble du crédit d'aller à Gödel. Dans une carte postale écrite à Gödel en 1938, juste après qu'ils s'étaient réunis pour la première fois, Post a écrit:

... pendant quinze ans, j'ai entrepris autour de la pensée mathématique étonnante monde avec mes idées peu orthodoxes, et la réunion homme principalement responsable de la disparition de ce rêve plutôt procédé Me Away. Puisque vous semble intéressé par ma façon de parvenir à ces nouveaux développements peut-être Eglise peut vous montrer une longue lettre que je lui a écrit à leur sujet. En ce qui concerne toute réclamation je pourrais peut-être faire le mieux que je peux dire, c'est que j'aurais prouvé Gödel l 'Théorème en 1921 - si j'avais été Gödel.

Dans une lettre écrite le lendemain, il écrit:

... après tout, c'est des idées mais pas l'exécution des idées qui constituent une marque de grandeur.

En 1936, il a proposé ce qui est maintenant connu sous le nom de post-linge, un type d'automate qui est antérieure à la notion d'un programme qui von Neumann a étudié en 1946. En 1941, il a écrit:

... raisonnement mathématique est, et doit être, en substance créative ...

mais at-il dit, il ya des limites et de logique symbolique est la suivante:

... l'incontestable moyens de révélateur et le développement de ces limites.

Post a montré que le mot problème pour les semigroupes est récursivement insoluble en 1947, en lui donnant la solution à un problème qui a été posée par Thue en 1914.

Quine, dans une lettre écrite en 1954 après la mort de Poste, a déclaré:

Moderne, la théorie de la démonstration, de même que la théorie moderne de la machine de calcul, reposent sur la notion de fonction récursive. Ce nombre important concept théorique ... a été découvert indépendamment ... par quatre mathématiciens, et l'un d'eux a été Post. La suite des travaux par la poste a contribué à la poursuite de la théorie des fonctions récursives.

Quine ajoutée en 1972:

La théorie des fonctions récursives de Poste qui a été co-fondateur est maintenant près de deux fois plus ancienne que quand j'ai écrit cette lettre. Qu'est-ce qu'un champ fertile, il s'est avéré être.

La manière que le poste mené ses cours au Collège de la Ville est pour le moins inhabituelle. Davis a assisté à ces cours au Collège de la ville de New York pendant la fin des années 1940, et il nous donne une image claire:

Post classes ont été organisées affaires tendu. Chaque période commence par étudiant récitations couvrant les problèmes et les preuves de théorèmes à partir du jour de la mission. Celles-ci ont été remis apparemment au hasard et a dû être mis sur le tableau noir sans l'aide de manuels ou des notes. Malheur le malheureux étudiant qui a été préparé. Il (ou rarement elle) devra faire face La Poste "en plus de tristesse que de colère look". A son tour, les étudiants se réciter sur leur travail. Ensuite, après le sortir de son 3 de 5 cartes et expliquer divers points amende. La classe serait un succès si il a terminé sa dernière carte tout comme la cloche a sonné. Questions de la classe ont été découragés: il n'y avait rien de temps. Étonnamment, ces inélastique méthodes pédagogiques ont été extrêmement fructueux, et l'après a été un professeur très populaire.

Paul Chessin souvient d'avoir été enseigné par la poste à New York en 1943 sur:

Je me souviens qu'il était un peu trapu collègues qui invariablement vêtu d'un costume trois pièces, vides soigneusement manchon glisser dans la poche de côté suitcoat. Il foulée régulièrement de haut en bas avant le tableau noir, s'exprimant clairement, dans son vigoureux propositions. Il fréquemment, tout à coup tourbillonner faire face au conseil, de la craie dans la main, à écrire. Cette motion a toujours tendance à relâcher que le manchon de son ancrage jusqu'à ce que finalement (au soulagement de la classe), il flapped peu comme sur un cap peut-être. Cette liberté de mouvement semble à nous de libérer sa pensée comme il a enseigné.

Enfin, nous donnons ce très bel hommage au poste de Davis:

Post importance transcende ses contributions scientifiques, importants que ceux ont été. Il reste une source d'inspiration ainsi, pour la manière dont il a surmonté ses potentiellement invalidante handicap mental, de sa voix distincte, et pour son dévouement à la science et ses étudiants.

Source:School of Mathematics and Statistics University of St Andrews, Scotland