La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] XX secolo. In questo capitolo seguiremo alcune delle linee diricerca che hanno origine nell'articolo Analysis situs e nei calcolare numeri di Betti, i coefficienti di torsione e il gruppo fondamentale. Nel 1908 Tietze sviluppò un algoritmo per il ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] abilità di risolvere problemi sia per la sua capacità di proporre nuove teorie e congetture, e nuovi ambiti diricerca. di ‘relazione’, ‘operazione’, ‘algoritmo’, ‘categoria’ ecc., concetti primitivi non riducibili a quelli di ‘collezione’ e di ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] dell'aritmetica che ha aperto un campo diricerca molto controverso, la teoria infinitaria della dimostrazione funzione ricorsiva primitiva. Per dimostrare la convergenza dell'algoritmodi eliminazione dei tagli occorre quindi ricorrere a un'induzione ...
Leggi Tutto
Neuroimaging dei processi cognitivi
Adina L. Roskies
Storicamente, lo studio della mente e lo studio del cervello sono stati a lungo separati. La psicologia si avvicinava alla mente come se fosse una [...] segnali mediante un algoritmo matematico basato su una retroproiezione filtrata, un algoritmo tomografico che è stato che per questi compiti di congiunzione il cervello impiega una strategia diricerca seriale e non una ricerca parallela. L'imaging ...
Leggi Tutto
La grande scienza. Sistemi disordinati
David Sherrington
Sistemi disordinati
I sistemi disordinati sono estremamente comuni e appaiono con svariate forme e componenti in discipline molto differenti, [...] probabilistici verso l'alto, analoghi a quelli consentiti dalla temperatura reale nei vetri di spin fisici e si utilizza una dinamica diricercaalgoritmica efficiente in cui tale temperatura è gradualmente ridotta. Tuttavia quando la frustrazione è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] eliminazione e sono invece basati sull'algoritmodi Buchberger sulle basi di Grobner. Per chiarire questa differenza è una costruzione recente motivata da molteplici tipi diricerche: una congettura di Serre, risolta da Daniel Quillen e Suslin, ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] varietà di contesti.
L'origine del metodo viene datata al 1944, nell'ambito di un progetto diricerca sull non sia riconoscibile alcun algoritmo generatore: è la 'incomprimibilità algoritmica' secondo Kolmogorov e Chaitin; nota una di tali cifre, non ...
Leggi Tutto
Anestesia
Germano De Cosmo
L'anestesia ha sempre avuto un fascino particolare e, a buona ragione, può essere considerata una delle più importanti scoperte del secolo scorso. L'anestesiologia ha mosso [...] o impossibili fino a entrare a far parte dialgoritmi validati. Poiché le problematiche ventilatorie contribuiscono in in disuso mentre altri sono oggetto diricerca e di continua revisione al fine di migliorarne le caratteristiche funzionali. L' ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] algoritmo risolutivo che verrà dimostrato equivalente a quello di George Bernard Dantzig.
La diffusione delle idee di atti del convegno Koopmans ricorda le quattro distinte linee diricerca che hanno portato alla nascita della programmazione lineare: ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] −A2−A−2 dell'anello chiuso, può essere vista come un algoritmo ricorrente per il calcolo dell'ampiezza e in questa forma ritroviamo il attualmente oggetto diricerca, mentre nel caso tridimensionale sono già noti numerosi esempi di ampiezza ...
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...