Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] si sono sviluppati anche in collegamento con i temi di base dell’informatica, per es. per quanto riguarda i concetti dialgoritmo, di programma, di calcolabilità, e con le ricerche nel campo dell’intelligenza artificiale. Il programma filosofico teso ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. La matematica
Alexei Volkov
Karine Chemla
Qu Anjing
La matematica
Le bacchette
di Alexei Volkov
Il sistema di numerazione cinese, sistema decimale e principio [...] (Chemla 1996a), e ciò ha condizionato lo sviluppo di un particolare tipo diricerca sugli algoritmi stessi che cercheremo di capire più avanti. La rappresentazione di un sistema di equazioni fa intervenire una notazione posizionale analoga a quella ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] quindi la sicurezza di RSA si basa sulla difficoltà di fattorizzare un numero con gli algoritmi attualmente noti.
Irrazionalità di ζ(3). Il in vitro. L'esperimento rientra nel programma diricercadi Folkman, che mira a stabilire il ruolo dell ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] sua fisionomia si caratterizza per le connessioni di tecniche algoritmo-aritmetiche con questioni geometriche. La geometria con tentativi di sintesi restano a tutt'oggi quelli di Raffaello Caverni e di Pierre Duhem, e il programma diricerca che si ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] in un campo finito. Tale scoperta apre la strada alla ricercadi un algoritmo efficace per la fattorizzazione dei polinomi a coefficienti interi, in grado di sostituire l'algoritmodi Kronecker che possiede uno scarsissimo valore pratico. L'idea è ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] algoritmo efficiente (cioè polinomiale) di fattorizzazione per computer quantistici (non sono noti algoritmidi DNA. L'informatico americano Leonard Adleman risolve un problema diricercadi cammini hamiltoniani in un grafo, cioè cammini che toccano ...
Leggi Tutto
La scienza in Cina: i Ming. Matematica e astronomia
Guo Shirong
Li Zhaohua
Alexei Volkov
Peter Engelfriet
Chu Pingyi
Matematica e astronomia
La perdita delle conoscenze matematiche e astronomiche
di [...] ) nel 1607, introduce gli algoritmi per effettuare le quattro operazioni aritmetiche fondamentali con carta e penna. La seconda parte, pubblicata nel 1613 insieme alla prima, illustra bene l'evoluzione delle ricerchedi Li Zhizao, infatti, anche ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Trigonometria
Marie-Thérèse Debarnot
Trigonometria
Dalla geometria alla trigonometria
La trigonometria, scienza ausiliaria dello studio [...] di poter disporre di un metodo e di un linguaggio specifici. In questo periodo di regno dei Buwayhidi, durante il quale i centri diricerca La sua risoluzione per mezzo di un algoritmo rientra nel quadro dei procedimenti di iterazione.
Se ci si ...
Leggi Tutto
La scienza in Cina: l'epoca Song-Yuan. La matematica
Karine Chemla
Annick Horiuchi
Andrea Eberhard-Bréard
La matematica
La rinascita della matematica e la tarda tradizione settentrionale
di Karine [...] e gli algoritmidi risoluzione, mentre il modo di rappresentazione è così radicalmente diverso, sembra indicare che il retaggio comune riguardo a questi argomenti risalga a un periodo molto più antico.
In continuità con la tradizione diricerca sulle ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Roshdi Rashed
L'algebra e il suo ruolo unificante
La seconda metà del VII sec. vede il costituirsi [...] al-Karaǧī, matematico di Baghdad, concepisce un nuovo progetto diricerca: applicare l'aritmetica all'algebra, vale a dire studiare in modo sistematico l'applicazione delle leggi dell'aritmetica e di certi suoi algoritmi alle espresssioni algebriche ...
Leggi Tutto
pregiudizio algoritmico loc. s.le m. (spec. al pl.) Contenuto etico o ideologico distorto o discriminatorio (per es. verso le fasce più fragili della popolazione) processato dall’algoritmo nella fase di raccolta massiva dei dati e poi generato...
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...