Prof. Kazimierz Trzęsicki z Uniwersytetu w Białymstoku, członek Oddziału Podlaskiego PTI, niestrudzenie bada życie i dokonania wybitnych osobistości z Podlasia, oczywiście tych zasłużonych dla nauk ścisłych. Prezentujemy przekazany do naszego archiwum, artykuł Profesora o znanym logiku Emilu Leonie Poście, urodzonym w 1897 r. w Augustowie.
Emil Leon Post był matematykiem, którego dziedzinami badawczymi były logika, teoria mnogości oraz teoria obliczalności. W dysertacji doktorskiej z 1920 r., opublikowanej w wersji skróconej w 1921 r. (Post, 1921) — była to jego pierwsza publikacja — zastosował wprowadzoną przez C. S. Peirce’a i przez Ernsta Schrödera, metodę matryc do rachunku Whiteheada i Russella. Post dowiódł, że system aksjomatyczny klasycznego rachunku logicznego Whiteheada i Russella jest pełny i rozstrzygalny. System jest — jak to dzisiaj nazywany — niesprzeczny w sensie Posta, jeśli nie każde zdanie ma w nim dowód. System S jest — we współczesnej terminologii — pełny w sensie Posta, jeśli sprzeczny jest system otrzymany z S przez dodanie jakiegokolwiek zdania, które nie ma dowodu w S. System jest rozstrzygalny, gdy jest skończona metoda znajdowania odpowiedzi na pytanie, czy dane zdanie jest tezą systemu. Post jasno formułuje nowoczesne metalogiczne podejście do systemów formalnych. Dysertacja Posta jest ważna dla podstaw współczesnej teorii dowodu. Późniejsze prace Posta w znacznej mierze są rozwinięciem zawartej w niej koncepcji.