Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] un algoritmo di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. porta a una condizione di fine del file, bensì interrompe l'elaborazione. Il fatto che non ci sia un segno di punteggiatura che segnala ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni matematiche
Roshdi Rashed
Le tradizioni matematiche
Capire lo sviluppo della matematica in un periodo di sette secoli, stabilire [...] geometrico, ecc.) necessari per l'elaborazionedi una teoria generale e per poter fondare una nuova branca di studi, il cui oggetto è la risoluzione geometrica di tutte le equazioni di grado ≤3. I mezzi teorici di al-Ḫayyām consentivano in realtà una ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] di curve iperellittiche o trigonali. Si occupò anche di varietà abeliane da un punto di vista algebrico, di equivalenza funzionale, di superfici il cui sistema canonico è degenere e di fondamenti concettuali per l’elaborazione e l’interpretazione dei ...
Leggi Tutto
BURGATTI, Pietro
Enzo Pozzato
Nacque a Cento (Ferrara) il 27 febbr. 1868 da Federico e da Marietta Biegoli. Aveva abbracciato negli anni giovanili la carriera militare, che abbandonò per l'interesse [...] [1934], pp. 199-205). L'azione di un mezzo resistente fu ipotizzata dal Jeans, nella sua teoria sull'origine del sistema solare, per spiegare la rotondità delle orbite planetarie; il B. riprese tale ipotesi elaborandone la teoria in modo rigoroso e ...
Leggi Tutto
Alessandro Rosina
Sbatti la statistica in prima pagina
I giornali tendono sempre più spesso a fare uso di numeri, grafici e tabelle che a volte servono solo a fare colpo sui lettori. Come le cifre sulla [...] si occupano di statistica
INITALIA
■ SISTAN. Il Sistema statistico nazionale è la rete di soggetti pubblici cura la raccolta e l’armonizzazione di dati raccolti dai paesi membri, nonché l’elaborazionedi studi nazionali e comparativi su settori ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] piano dell’elaborazione semantica lo compie nel 1935 Alfred Tarski che prova che i teoremi proposizionali di HI coincidono dimostrare molte proprietà significative di HI, per es., che esso è interpretabile nel sistema modale S4 di Clarence I. Lewis ...
Leggi Tutto
rete gerarchica
Armando Magrelli
Metodo per individuare e definire la struttura di una rete attraverso il raggruppamento gerarchico dei suoi nodi, utile per identificare alcune proprietà comuni delle [...] dei nodi della rete meno 1; (e) se ai nodi di una rete gerarchica viene richiesto una qualunque elaborazionedi dati (per es., la regolazione dell’espressione genica in un sistema biologico), i nodi che si trovano topologicamente ai livelli più ...
Leggi Tutto
salto
salto [Der. del lat. saltus -us "atto ed effetto del saltare", dal supino saltum di salire "saltare"] [LSF] (a) Generic., variazione finita di una grandezza fisica, come, per es., il s. idraulico [...] (s. condizionato) oppure a un sottoprogramma per l'esecuzione di una certa elaborazione, ritornando poi, al termine di questa, all'istruzione successiva a quella di partenza (s. incondizionato o imperativo): v. calcolatori, architettura dei ...
Leggi Tutto
Markov Andrej Andreevic senior
Markov 〈màrkëf〉 Andrej Andreevič senior [STF] (Rjazan 1856 - Pietrogrado 1922) Prof. di matematica nell'univ. di Pietroburgo (1886). ◆ [PRB] Catena di M.: processo stocastico [...] di trovare il sistema in un determinato stato al tempo t'>t dipende soltanto dallo stato che il sistema occupava al tempo t; si tratta dunque didi M. del primo ordine a media nulla: v. immagini, elaborazionedi: III 169 a. ◆ [PRB] Processo di M ...
Leggi Tutto
Nyquist Harry
Nyquist 〈nü´qvist〉 Harry [STF] (Nilsby, Svezia, 1889, nat. SUA - Harligen, Texas, 1976) Ingegnere della American Telephone and Telegraph Corporation (1917) e poi dei Bell Telephone Laboratories [...] in frequenza di un sistema in cui si estrinseca il criterio di N. (v. sopra). ◆ [ELT] Frequenza di N.: di un multiplo di 2fN, danno luogo alla stessa serie di valori di campionamento: v. segnali, elaborazione numerica dei: V 132 d. ◆ [ELT] Legge di ...
Leggi Tutto
elaborazione del linguaggio naturale (sigla NLP, Npl) loc. s.le f. Ramo dell'informatica e, in particolare, dell'intelligenza artificiale, che studia come programmare i computer perché analizzino e comprendano i dati del linguaggio naturale...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...