Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Andrzej Mostowski

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

1 Nov 1913

Lvov, Poland (now Ukraine)

22 Aug 1975

Vancouver, Canada

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Andrzej Mostowski entré Université de Varsovie en 1931. Il a été influencé par Kuratowski, Lindenbaum et Tarski. Son doctorat est venue en 1939, officiellement dirigé par Kuratowski mais dans la pratique, réalisé par Tarski qui était un jeune maître de conférences à ce moment-là. Ses études à Varsovie a été brisé par des études à Vienne (il a assisté à un cours par Gödel) et Zurich (cours par Polya, Weyl et Bernays).

Il est devenu un expert-comptable après l'invasion nazie de la Pologne, mais a continué à travailler dans le 'Underground Université de Varsovie ». Après le soulèvement de 1944, les nazis se sont efforcés de le mettre dans un camp de concentration. Avec l'aide de quelques infirmières polonaises il a échappé à un hôpital, en choisissant de prendre le pain avec lui plutôt que de son bloc-notes contenant ses recherches. quelques-unes des ses recherches, il reconstruit après la guerre, mais beaucoup de choses ont été perdues.

Ce travail a été en grande partie sur la théorie de la récursivité et de l'indécidabilité. De 1946 jusqu'à sa mort, il a travaillé à l'Université de Varsovie. Beaucoup de travail au cours de cette période a été de premier ordre sur la logique et la théorie du modèle.

Source:School of Mathematics and Statistics University of St Andrews, Scotland