Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] a priori, l'appartenenza di una stringa arbitraria a essi.
Questa grave e inevitabile limitazione giustifica l'introduzione di un nuovo concetto: un linguaggio (o insieme) L si dice ricorsivo se esiste una MT M che si arresta sempre in tempo finito e ...
Leggi Tutto
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] in cui la definizione stessa di insieme ordinario (ordinary set) comporta che l’appartenenza di un elemento a un insieme corrisponda a un concetto binario, potendo assumere i due soli valori {1,0}. La logica f. si basa su una definizione di insieme f ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] delle bande di energia anche lontane dal livello di Fermi e l'interpretazione delle proprietà ottiche dei solidi.
Introdotto il concetto di shape catalysis. P.B. Weisz e V.J. Frilette, della statunitense Socony Mobil Oil Company, studiando l'attività ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] ’art. di C. Segre Su alcuni indirizzi nelle investigazioni geometriche: osservazioni dirette ai miei studenti, pp. 42-66).
G. Peano, Sul concetto di numero, «Rivista di matematica», 1891, 1, pp. 87-102, poi in Id., Opere scelte, a cura di U. Cassina ...
Leggi Tutto
modulo
mòdulo [Der. del lat. modulus, dim. di modus "misura"] [LSF] Termine, accompagnato da opportune qualificazioni, per indicare grandezze caratteristiche di certi fenomeni o di certi congegni: m. [...] , di Poisson, di resistenza, ecc. (→ le singole voci), m. di dentatura di una ruota dentata, ecc. ◆ [ALG] Generalizzazione del concetto di spazio vettoriale su un campo: è un gruppo abeliano su un anello. ◆ [FTC] (a) Nelle costruzioni modulari, unità ...
Leggi Tutto
Matematico statunitense (Gaylord, Michigan, 1916 - Medford 2001); dapprima ricercatore nei laboratorî della Soc. Bell Telephone, quindi (1958-78) prof. al Massachusetts institute of technology. Fu uno [...] dei fondatori della moderna teoria dell'informazione, che elaborò in vista delle applicazioni alle comunicazioni elettriche; a lui si deve tra l'altro l'introduzione in tale teoria del concetto di entropia. ...
Leggi Tutto
L'a. l. costituisce uno strumento matematico di importanza fondamentale in ogni disciplina scientifica. Essa costituisce sia un efficace linguaggio comune con cui formulare problemi di natura diversa, [...] chiamata la regola di Cramer per risolvere i sistemi di equazioni. Tra il 1750 e il 1900 fu scritto molto sul concetto di determinante, che diventò lo strumento più importante per risolvere i sistemi lineari. Ma è solo con il lavoro del matematico ...
Leggi Tutto
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 [...] la cui indagine sistematica sarà Alfred Tarski a inaugurare negli anni Trenta. Centrale in entrambe le prospettive rimane il concetto di teoria, che costituisce sotto il duplice aspetto di calcolo logico e di teoria deduttiva l’oggetto fondamentale d ...
Leggi Tutto
simplesso In matematica, s. astratto, un insieme di k+1 elementi astratti (detti vertici) presi da un certo insieme e considerati a prescindere dal loro ordine, se si considera il s. non orientato, oppure [...] conto del loro ordine, se s’intende considerare il s. orientato. Si tratta di una generalizzazione astratta del concetto di segmento, triangolo, tetraedro ecc.; k si dice dimensione del simplesso. S. euclideo (o geometrico) S. astratto individuato ...
Leggi Tutto
scarto Differenza, distacco esprimibile in valori numerici. matematica S. assoluto fra due numeri a e b è il valore assoluto della loro differenza, cioè |a−b|; la quantità |a−b|/|b| si dice s. relativo [...] di a rispetto a b. L’idea di s., talora espressa con il termine scostamento, è strettamente legata al concetto di distanza e ne costituisce, in certi contesti, una generalizzazione.
In statistica, lo s. è la differenza tra i singoli valori di una ...
Leggi Tutto
concetto2
concètto2 s. m. [dal lat. conceptus -us, der. di concipĕre «concepire»]. – 1. Pensiero, in quanto concepito dalla mente; più in partic., anche dal punto di vista filosofico, la nozione che la mente si è formata dell’intima essenza...