Post Emil Leon

Dizionario delle Scienze Fisiche (1996)

Post Emil Leon


Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoria degli: I 330 a. ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemi formali e gli insiemi ricorsivamente numerabili.

Vedi anche
lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... insieme fisica Nella meccanica statistica classica con insieme statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè nello spazio delle coordinate pi, (i=1, 2, 3) e delle quantità di moto qi (i=1, 2, 3) di ciascuna ... New York Città degli USA (8.363.710 ab. nel 2008), nello Stato omonimo. Sorge allo sbocco del fiume Hudson nell’Oceano Atlantico, in parte sopra la terraferma, ma specialmente sopra le isole che chiudono la Upper Bay: Manhattan e Staten Island in primo luogo, e poi la sezione occidentale di Long Island. Entro ... insieme numerabile In matematica, insieme che può essere posto in corrispondenza biunivoca con l’insieme dei numeri interi naturali. Un insieme numerabile, insieme è dunque necessariamente un insieme infinito; ogni suo sottoinsieme è finito oppure è esso stesso numerabile, insieme; da ciò segue che agli insiemi numerabile, ...
Categorie
Tag
Altri risultati per Post Emil Leon
  • Post
    Enciclopedia della Matematica (2013)
    Post Emil Leon (Augustów 1897 - New York 1954) matematico e logico statunitense di origine polacca. Emigrato fin da bambino negli Stati Uniti con la sua famiglia, conseguì il dottorato in matematica presso la Columbia University e successivamente insegnò matematica in alcune scuole di New York. Dette ...
  • Post, Emil Leon
    Enciclopedia on line
    Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale e dell'indecidibilità del calcolo dei predicati; poco dopo introdusse, indipendentemente da L. ...
Vocabolario
post-verità
post-verita post-verità s. f. Argomentazione, caratterizzata da un forte appello all'emotività, che basandosi su credenze diffuse e non su fatti verificati tende a essere accettata come veritiera, influenzando l'opinione pubblica. ◆ Sarà...
post-Covid
post-Covid (post Covid 19) s. m. e f. 1. (m.) La fase successiva alla malattia Covid-19, in relazione alla situazione clinica individuale o alla diffusione della malattia tra la popolazione. 2. (m. e f.) Persona che è stata recentemente...