Andrzej Mostowski

Le Andrzej Mostowski ( 1913 - du 1er novembre 1975 du 22 août ) était un mathématicien du polonais . Il est peut-être meilleur rappelé pour le lemme d'effondrement de Mostowski de .

Soutenu dans le Lwów , Autriche-Hongrie , Mostowski est entré à l'université de de Varsovie dans le 1931 . Il a été influencé par le Kuratowski , le Lindenbaum et le Tarski . est venu dans le 1939 , officiellement dirigé par le Kuratowski mais dans la pratique dirigé par le Tarski qui était un jeune conférencier à ce moment-là.

Il est devenu un comptable après que l'invasion nazie de la Pologne mais travail continué à l'université souterraine de Varsovie de . Après que le soulèvement de Varsovie de du 1944 que les nazis ont essayé de le mettre dans un camp de concentration. Avec l'aide de quelques infirmières polonaises il s'est échappé à un hôpital, choisissant de prendre le pain avec lui plutôt que son cahier contenant sa recherche. Une partie de cette recherche qu'il a reconstruite après la guerre, toutefois une grande partie est restée perdue.

Ce travail était en grande partie sur la théorie de récursion de et le Undecidability . Du 1946 jusqu'à sa mort dans le Vancouver , Canada , il a travaillé à l'université de de Varsovie . Beaucoup de travail pendant ce temps était sur la première logique d'ordre et la théorie des modèles .

Random links: