informatik, logik, filozof, dôchodca
Bratislava
*1942
Absolvoval som filozofiu na FFUKo (1964), spolu s P.Cmorejom článok Úsilie o exaktnú filozofiu (1966), ktorý bol hodnotený ako medzník, program rozvoja analytickej filozofie v Československu. Analytická teória poznania: knižka Logika, jazyk, poznanie (1969). Esej Duch totality (1969). Prepustený z UK (1970). Informatik od 1979. Riaditeľ Laboratória informatiky na MFFUK (1990). Na matfyze do 2017.
Pozval/a ma: Tatár Peter