Andrzej Mostowski (Leopoli 1913 – Vancouver 1975) fu uno dei principali logici polacchi del secondo dopoguerra. Professore all’università di Varsavia dal 1947, e membro dell’Accademia delle scienze polacca dal 1956, annovera tra i suoi risultati più significativi la scoperta di analogie tra la teoria delle funzioni ricorsive e quella degli insiemi boreliani (1946), la dimostrazione della insolubilità del problema della decisione per gli anelli e per gli anelli commutativi (1949) e la presentazione di un’originale formulazione del sistema assiomatico degl’insiemi di Zermelo-Fraenkel (1959). Tuttavia, molti dei risultati di Mostowski in tempo di guerra – sulla gerarchia degli insiemi proiettivi, sugli insiemi di numeri naturali definibili aritmeticamente e sulle conseguenze dell’assioma della costruibilità nella teoria descrittiva degli insiemi – andarono perduti quando il suo appartamento fu distrutto durante una rivolta. Mostowski dovette scegliere se fuggire con un grosso taccuino contenente quei risultati o con il pane. E scelse il pane.
News
News di Matematica dall’Italia e dal Mondo
- The Clowder Projectby john on 25th Luglio 2025 at 11:18
Announcing the […]
- 2-Rig Conjectures Proved?by john on 24th Luglio 2025 at 14:58
Kevin […]
- Lawvere's Work on Arms Controlby john on 24th Luglio 2025 at 12:48
Did you know […]
- Double Maths First Thing: Issue 2Eby Colin Beveridge on 23rd Luglio 2025 at 07:45
Double Maths […]
- Double Maths First Thing: Issue 2Dby Colin Beveridge on 16th Luglio 2025 at 07:45
Double Maths […]
- \(-e^{i\pi}\) to Watch: Henry Segermanby Katie Steckles on 14th Luglio 2025 at 09:00
In this series […]
ComicsScience
MaddMaths Page
Archimede