Post, Emile Leon
| Post, Emile Leon | |
|---|---|
| Emil Leon Post | |
| Numele la naștere | Lustrui Emil Leon Post |
| Data nașterii | 11 februarie 1897 |
| Locul nașterii | Avgustov , Imperiul Rus |
| Data mortii | 21 aprilie 1954 (57 de ani) |
| Un loc al morții | New York , SUA |
| Țară | |
| Ocupaţie | matematician , filozof , logician , lector universitar |
| Fișiere media la Wikimedia Commons | |
Emil Leon Post ( ing. Post Emil Leon , 11 februarie 1897 , Augustow , Regatul Poloniei , Imperiul Rus ) - 21 aprilie 1954 , New York , SUA ) - matematician și logician american ; unul dintre întemeietorii logicii valoroase ( 1921 ); lucrări majore despre logica matematică: Post algebră , Post clase de funcții ale algebrei logicii; a propus o mașină de calcul abstractă - the Post machine .
Biografie
Emil Leon Post sa născut într-o familie evreiască ortodoxă care trăia lângă Bialystok . În 1897, tatăl său Arnold a emigrat în Statele Unite. Când lucrurile s-au îmbunătățit pentru tatăl meu, familia (Emil, în vârstă de șapte ani, cele două surori și mama lui) s-a mutat și ea din Rusia la New York. Familia locuia într-o casă confortabilă în Harlem.
În copilărie, Emil era pasionat de astronomie, dar un accident a șters planurile tipului - la vârsta de 12 ani și-a pierdut brațul stâng. Înainte de a absolvi școala, Emil a înaintat o cerere la mai multe observatoare - dacă lipsa lui de profesie de astronom ar interfera. Răspunsurile pe care le-a primit l-au împiedicat să-și realizeze ambițiile din copilărie, iar Emil s-a apucat de matematică.
În 1921, Emil Post și-a luat doctoratul în matematică de la Universitatea Columbia. În disertația sa, el a schițat o metodă de evaluare a formulelor propoziționale folosind tabele de adevăr. În ea, pentru prima dată, s-au obținut o serie de rezultate fundamentale în metalogică pentru logica propozițională clasică: consistență, completitudine deductivă, stăpânire, completitudine funcțională. În această lucrare, pentru prima dată, se construiește o logică cu mai multe valori cu mai mult de 3 valori adevărate și cu un număr arbitrar de valori distincte. De asemenea, se stabilește aici că mulțimea claselor închise în logica clasică este numărabilă.
Post și-a petrecut anul universitar 1920–1921 în studii postdoctorale la Universitatea Princeton. Aici a avut primul atac de psihoză maniaco-depresivă. Această boală l-a însoțit pe Post de-a lungul vieții sale. Și-a revenit suficient de la acest prim atac pentru a-și asigura un post de profesor la Universitatea Cornell, dar un al doilea atac l-a forțat să înceteze să predea la Universitate. În anii 1920, Emil Post și-a câștigat existența predând matematică la George Washington High School din New York. Împreună cu medicul său, Post a dezvoltat un regim care a fost prescris pentru a elimina excitațiile străine care au dus la episoade psihotice. Regimul îi permitea Postului să facă știință și cercetare doar 3 ore pe zi.
În ciuda unui astfel de regim și a unei sarcini mari de studiu (16 ore pe săptămână), Post a putut să-și publice lucrările influente în această perioadă. Căsătoria sa cu Gertrude Singer în 1929 a contribuit, fără îndoială, la stabilitatea vieții sale. Soția l-a ajutat pe Emil prin tipărirea articolelor și scrisorilor sale și, de asemenea, s-a ocupat de finanțele zilnice ale familiei.
În 1932, Emil Post a primit un post în Departamentul de Matematică de la City College din New York . După o lună, a părăsit funcția, dar s-a întors în 1935 și a rămas în funcție până la moartea sa, în 1954, în urma unui atac de cord în timpul unui șoc electric.
Emil Post este unul dintre cei patru mari oameni de știință care și-au dat seama aproape simultan de posibilitatea de a clarifica ideea generală a algoritmului. În 1943, Post a fost primul care a propus conceptul general de calcul, care este de o importanță fundamentală pentru a demonstra indecizia unui număr de probleme din matematică. În 1944 a fost publicată poate cea mai influentă lucrare a lui Post, unde teoria gradelor de indecidibilitate este prezentată în forma sa originală, iar în 1947, pentru prima dată în istoria matematicii (indiferent de A. Markov ), un exemplu a unei probleme algoritmice de masă nerezolvabile „intra-matematică” și anume problema lui A. Thue (problema de egalitate pentru semigrupe). Post a crezut - și i-a scris despre asta lui Kurt Gödel - că, cu 15 ani înainte de lucrarea revoluționară a lui Gödel despre incompletitudine, el avea deja aceste teoreme, deși nu într-o formă atât de completă.
Vezi și
Literatură
- A. S. Karpenko . Post // New Philosophical Encyclopedia : în 4 volume / prev. științific-ed. sfatul lui V. S. Stepin . — Ed. a II-a, corectată. si suplimentare - M . : Gândirea , 2010. - 2816 p.
Lectură suplimentară
- Davis, Martin (1993). Indecidabilul (Ed.), pp. 288-406. Dover. ISBN 0-486-43228-9 . Retipăriri a mai multor lucrări prin poștă.
- Davis, Martin (1994). „Emil L. Post: His Life and Work” în Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhauser: xi-xxviii. Un eseu biografic.
Link -uri
- John J. O'Connor și Edmund F. Robertson . Post, Emile Leon - biografie pe MacTutor .
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| Genealogie și necropole | ||||
| ||||