Mostowski Andrzej Stanisław
 
Encyklopedia PWN
Mostowski Andrzej Stanisław, ur. 1 XI 1913, Lwów, zm. 22 VIII 1975, Vancouver,
matematyk i logik;
od 1947 profesor Uniwersytetu Warszawskiego; od 1956 członek PAN; prace dotyczące gł. podstaw teorii mnogości, zagadnień rozstrzygalności, funkcji rekurencyjnych, stosowania metod algebraicznych i topolog. w logice mat.; był współtwórcą log. analizy konstrukcji mat. (klasyfikacja Kleene'a–M.); uogólnił twierdzenie Gödla o niezupełności i nierozstrzygalności teorii zawierających arytmetykę, wprowadził tzw. kwantyfikatory uogólnione; 1966 otrzymał nagrodę państw. I stopnia.
zgłoś uwagę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia