Mostowski, Andrzej

Enciclopedia on line

Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto analogie tra la teoria delle funzioni ricorsive e quella degli insiemi boreliani (1946); ha dimostrato la insolubilità del problema della decisione per gli anelli e per gli anelli commutativi (1949); ha presentato un'originale formulazione del sistema assiomatico degl'insiemi di Zermelo-Fraenkel (1959). Tra le sue opere: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip (1939), On absolute properties of relations (1947), On recursive model of formalized arithmetic (1957), Undecidable theories (1958, in collab. con A. Tarski), Axiomatizability of some many-valued predicate calculi (1961), Thirty years of foundational stud ies; logic and the study of the foundations of mathematics (1965), Constructible sets with applications (1970).

Vedi anche
non commutativo In matematica, si dice di struttura nella quale sia definita un’operazione che non è commutativa (➔ commutativa, proprietà). Tali strutture hanno assunto un ruolo importante nella caratterizzazione della cosiddetta geometria non commutativo, che studia le proprietà di spazi funzionali attraverso quelle ... Vancouver Città del Canada (2.285.893 ab. nel 2008, considerando l’intera agglomerazione urbana), nella British Columbia, sull’Oceano Pacifico. Sorge sulla Burrard Inlet, un braccio dello Stretto di Georgia, che la separa dall’omonima isola. È il principale centro economico della provincia e il maggiore porto ... Leopoli (ucraino L΄viv; pol. Lwów) Città dell’Ucraina (734.519 ab. nel 2009), capoluogo dell’oblast´ omonima (21.800 km2 con 2.552.929 ab. nel 2009); già capoluogo del dipartimento polacco di Leopoli. È situata su un affluente del Bug, in regione collinosa ed è importante nodo ferroviario e centro industriale, ... Varsavia (pol. Warszawa) Città capitale della Polonia (1.711.466 ab. nel 2009; 2.225.000 ab. considerando l’intera agglomerazione urbana). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo le quali si dispongono i quartieri residenziali ...
Categorie
Tag