ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] per utilizzare la teoria della r. nei problemi di decisione. Infatti, avvenuta l’aritmetizzazione nell’ambito di un opportuno sistema formale del tipo di quello di Peano, constatare se un predicato metateorico, per es., è ‘dimostrabile’, è o meno ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Smith, Adam
Enciclopedia on line
Economista e filosofo (Kirkcaldy, Scozia, 1723 - Edimburgo 1790). Educato nelle università di Glasgow e di Oxford, divenne professore di logica (1751) e poi di filosofia morale (1752) nell'università di [...] teoria della moneta e della finanza pubblica. Nel suo sistema teorico egli sottolinea i benefici supremi dell'ordine naturale e delle inclinazioni naturali dell di qualsiasi sistema economico. La dimostrazione dei vantaggi degli scambî internazionali, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Fresnel, Augustin-Jean
Enciclopedia on line
Fisico (Broglie 1788 - Ville d'Avray, Parigi, 1827). Fino al 1815 fu impiegato come ingegnere nel Servizio delle strade. Realista fervente, durante i Cento giorni fu collocato a disposizione; dedicatosi [...] teorie matematiche dell'interferenza e della diffrazione che F. costruì e le esperienze che le confermarono furono ulteriori prove decisive a favore dell'ipotesi ondulatoria. Fra i dispositivi escogitati da F. per dare la dimostrazione sperimentale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gel´fand, Izrail´ Moiseevič
Enciclopedia on line
Matematico ucraino (Krasnye Okny, Odessa, 1913 - New Brunswick, New Jersey, 2009), dal 1943 professore all'università di Mosca, poi (dal 1990) nella Rutgers University di New Brunswick. Il lavoro di G. [...] sono state utilizzate dai fisici nell'esposizione di una teoria della simmetria delle particelle elementari. Altre sue ricerche hanno riguardato la teoria generale delle distribuzioni e relative applicazioni alle equazioni differenziali, metodi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
genetica
Enciclopedia on line
Ramo delle biologia che si occupa del materiale ereditario, cioè della sua struttura, del suo modo di funzionare, delle modalità della sua trasmissione, sia da una cellula alle sue discendenti (se si tratta [...] della HbS ha segnato la nascita non solo della g. molecolare, ma anche, più in generale, della biologia molecolare. La delucidazione dell’anatomia strutturale della HbS ha dimostrato riproduttiva, possono in teoria avere importanti ripercussioni sia ...
Leggi Tutto
Cohen, Paul
Enciclopedia on line
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] degli assiomi della teoria degli insiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ideato ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Informatica
Enciclopedia Italiana - VI Appendice (2000)
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] di n, allora n è composto. La teoria dei numeri consente di dimostrare che esistono opportune definizioni di certificato di non primalità tali che se un numero non è primo allora il numero di certificati della sua non primalità è maggiore di n/2 ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
NERVOSO, SISTEMA
Enciclopedia Italiana - III Appendice (1961)
NERVOSO, SISTEMA
Giuseppe MORUZZI
(XXIV, p. 609; App. II, 11, p. 400).
Sistema nervoso centrale: Fisiologia generale del neurone, p. 239; Fisiologia del midollo spinale, p. 242; Fisiologia del tronco [...] tonale appare ora assai più complicata di quello che si poteva pensare in base alla teoria di Helmholtz, soprattutto dopo la dimostrazione dell'esistenza di feriomeni inibitori nel sistema uditivo specifico (cfr. Ades, 1959). Oscuro è anche il ...
Leggi Tutto
STATI UNITI
Enciclopedia Italiana - V Appendice (1995)
STATI UNITI
Costantino Caldo
Giorgio Gomel
Tiziano Bonazzi
Hermann W. Haller
Biancamaria Tedeschini Lalli-Valerio Massimo De Angelis
Marcia E. Vetrocq
Franca Bossalino
Nicola Balata
Gian Luigi [...] infatti, a restare al potere.
La strategia dell'amministrazione si dimostrò, invece, vincente nei rapporti con l'URSS, decennio successivo, segnando l'avvento nell'accademia statunitense della teoria del decostruzionismo (v. in questa Appendice), ...
Leggi Tutto
SANGUE
Enciclopedia Italiana - III Appendice (1961)
SANGUE (XXX, p. 664; App. II, 11, p. 782)
Sergio PIOMELLI
Armando Edilio RAGGIO-GUARNASCHELLI
La moderna ematologia ha potuto negli ultimi anni utilizzare metodiche di ricerca che hanno completamente [...] s., il fatto che il ferro iniettato scompaia dalla circolazione dimostra che nel s. vi è un continuo movimento di ferro alla luce delle attuali conoscenze, invalidata da ricerche cliniche e sperimentali.
La teoria della autoimmunizzazione, quindi ...
Leggi Tutto