• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

Mostowski, Andrzej

Enciclopedia on line
  • Condividi

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
  • BIOGRAFIE in Matematica
Tag
  • SISTEMA ASSIOMATICO
  • FUNZIONI RICORSIVE
  • VANCOUVER
  • VARSAVIA
  • LEOPOLI
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali