Lob
Enciclopedia della Matematica (2013)
Lob
Löb Martin Hugo (Berlino 1921 - Annen 2006) matematico tedesco. Figura centrale per i suoi lavori in logica matematica: di lui è noto il → paradosso che porta il suo nome. Cresciuto a Berlino, fuggì [...] la quale fu assistente dal 1951. Nei primi anni Settanta divenne professore all’università di Amsterdam, dove rimase fino al pensionamento. Le sue ricerche spaziano dalla teoria della dimostrazione alla logica modale, alla teoria della computabilità. ...
Leggi Tutto
Jordan, teorema di (per le curve chiuse)
Enciclopedia della Matematica (2013)
Jordan, teorema di (per le curve chiuse)
Jordan, teorema di (per le curve chiuse) stabilisce che un circuito piano Γ, cioè una curva chiusa definita dalle equazioni parametriche x = x(t), y = y(t), con [...] per frontiera i punti della curva stessa; non è possibile congiungere i punti dell’una con quelli dell’altra senza attraversare la curva. Per quanto apparentemente ovvia, questa proprietà, fondamentale in topologia, è di dimostrazione non facile. ...
Leggi Tutto
Herbrand, teorema di
Enciclopedia della Matematica (2017)
Herbrand, teorema di
Herbrand, teorema di o teorema di Herbrand-Tarski, in logica, altra denominazione del teorema di deduzione, dimostrato da J. Herbrand nella sua opera del 1930, ma già delineato da [...] , la possibilità di ridurre algoritmicamente questioni relative alla logica del primo ordine alla logica proposizionale. Per questo tale risultato ha avuto una notevole importanza nel successivo sviluppo di procedure di dimostrazione automatica. ...
Leggi Tutto
Sanarèlli, Giuseppe
Enciclopedia on line
Medico (Monte S. Savino 1864 - Roma 1940). Insegnò igiene a Siena (1895), Bologna (1898), Roma (1915); fondò e diresse l'Istituto d'igiene sperimentale dell'univ. di Montevideo. Senatore dal 1920. Sfruttando [...] e valido strumento d'indagine (grazie al quale divenne possibile separare i virus dai batterî) che permise allo stesso S. di dimostrare l'esistenza anche nel mondo animale di malattie da virus. Egli infatti documentò che la mixomatosi dei conigli era ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
COLESTEROLO
Enciclopedia Italiana - V Appendice (1991)
(v. colesterina, X, p. 727; colesterolo, App. III, I, p. 403)
La rilevanza scientifica dei temi nutrizionali, metabolici, clinici e terapeutici che vertono sul c. trova eloquente riscontro, tra l'altro, [...] o del tutto prive di recettori per le LDL (o che comunque questi ultimi sono funzionalmente anomali); e per di più dimostrarono che la sintesi di tali recettori è normalmente regolata da un gene particolare. Quindi le cellule del fegato, in caso di ...
Leggi Tutto
FITORMONI
Enciclopedia Italiana - III Appendice (1961)
FITORMONI
Gaspare MAZZOLANI
. Gli ormoni vegetali o f. sono sostanze organiche sintetizzate dalle piante superiori. Essi esercitano una forte azione sul metabolismo vegetale e controllano l'accrescimento [...] organi della pianta dovessero essere regolati da speciali sostanze. Si dovette, però, arrivare a pochi decennî fa per avere la dimostrazione dell'esistenza di sostanze di crescita (F. W. Went, 1926-28).
Gli ormoni vegetali più noti sono le auxine, le ...
Leggi Tutto
STERBINI, Pietro
Enciclopedia Italiana (1936)
STERBINI, Pietro
Mario Menghini
Uomo politico e scrittore, nato a Vico del Lazio, nel 1795, morto a Napoli il 1° ottobre 1863. Fece gli studî di medicina all'università di Roma, ma coltivò pure le lettere, [...] , lo St., insieme con altri patrioti, tentò di provocare un moto rivoluzionario nella città e il 12 febbraio partecipò a una dimostrazione di piazza, quindi accompagnò l'Accursi a Terni per indurre il Sercognani a marciare su Roma. Fallito quel moto ...
Leggi Tutto
FIDEISMO
Enciclopedia Italiana (1932)
. In generale, si designa con questo termine ogni dottrina filosofica che consideri la fede come forma di conoscenza anteriore e superiore alla ragione, o almeno da essa indipendente, ascrivendole il raggiungimento [...] forniscono sì al sapere umano il necessario coronamento, ma non escludono che la ragione umana possa dare una prima dimostrazione di alcune verità religiose.
Contro tale idea, del resto già implicita nel luteranesimo e in certa misura ripresa dal ...
Leggi Tutto
SFAMENI, Pasquale
Enciclopedia Italiana (1936)
SFAMENI, Pasquale
Paolo Gaifami
Ostetrico-ginecologo, nato il 30 ottobre 1868 a Torregrotte di Roccavaldina (Messina). Allievo di E. Pinzani (Pisa, dal 1895 al 1905); professore successivamente a Perugia, [...] più acconci di embriotomia, sulla cura delle fistole vescico-vaginali.
Il suo nome tuttavia rimane legato soprattutto alla dimostrazione della dilatazione attiva dell'utero, allo studio delle cause che la determinano e delle leggi che la governano ...
Leggi Tutto
O'CONNOR, Feargius Edward
Enciclopedia Italiana (1935)
O'CONNOR, Feargius Edward
Nicola Turchi
Figlio e nipote di nazionalisti irlandesi, egli stesso uomo politico e agitatore "cartista" (movimento di carattere democratico-socialista che agitò l'Inghilterra [...] del movimento cartista. Fu imprigionato, per libelli sediziosi, nel 1840. Ma nel 1848 presiedeva a Kennington Common una dimostrazione cartista che avrebbe poi dovuto prendere d'assalto il parlamento.
Avendo dato segni di squilibrio mentale, fu ...
Leggi Tutto