Post jpeg

Czym Jest obliczanie ?

Czym Jest obliczanie ?

II

Emil L. Post

Emil L. Post urodził się w Polsce w roku 1897, ale przybył do Nowego Jorku w wieku siedmiu lat i pozostał tam do końca swego życia. Jego życic było tragiczne: jeszcze jako dziecko stracił lewe ramię, a będąc dorosłym miewał nawroty choroby umysłowej. Jako student w City College opracował uogólnienie rachunku różniczkowego, które później okazało się praktycznie przydatne. Jego rozprawa doktorska na Columbia University zainicjowała współczesne matematyczne metody w logice, a badania przeprowadzone we wczesnych latach dwudziestych podczas stażu podoktoranckiego w Princeton wyprzedziły późniejsze prace Godła i Turinga, ale zostały opublikowane dopiero dużo później, częściowo z tego powodu, że w tamtych latach nie było właściwej atmosfery dla takich prac, a częściowo dlatego, że Post nigdy nic ukończył pewnego rozwinięcia, którego szukał. Jego prace z teorii obliczalności obejmowały niezależne odkrycie analizy procesu obliczeniowego dokonanej przez Turinga. różne ważne wyniki odnoszące się do nicrozwiązalności oraz pierwsze badania nad stopniami nierozwią-zalności (które dają klasyfikację problemów nierozwiązalnych). Emil L. Post zmarł niespodziewanie w szpitalu w roku 1954.

- 263 -