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
- \(-e^{i\pi}\) to Watch: Nils Berglundby Katie Steckles on 19th Maggio 2025 at 09:00
In this series […]
- Double Maths First Thing: Issue 24by Colin Beveridge on 14th Maggio 2025 at 07:45
Double Maths […]
- Some variants of the periodic tiling conjectureby Terence Tao on 13th Maggio 2025 at 06:36
Rachel […]
- A tool to verify estimates, II: a flexible proof assistantby Terence Tao on 10th Maggio 2025 at 00:41
In a recent […]
- Maths events at Cheltenham Science Festival 2025by Martin Whitworth on 9th Maggio 2025 at 08:16
This is a […]
- Double Maths First Thing: Issue 23by Colin Beveridge on 7th Maggio 2025 at 07:45
Double Maths […]
ComicsScience
MaddMaths Page
Archimede