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
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
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
BELLAVITIS, Giusto
Nicola Virgopia
Nacque il 22 nov. 1803 a Bassano (Vicenza) dal conte Ernesto e da Giovanna Navarini.Ricevette la prima istruzione dal padre, funzionario nel municipio di Bassano, [...] di introdurre in geometria un algoritmo capace di rappresentare contemporaneamente sia la grandezza sia la posizione delle diverse parti di calcolo baricentrico di Mobius e il già citato metodo dei quaternioni di Hamilton.
Altri campi diricerca del B ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] ), il quale prova che non esiste un algoritmo in grado di stabilire quando un polinomio a coefficienti interi ha di Gödel – non sono che gli esempi più sorprendenti di tutta un’area diricerca che riguarda tanto le teorie formalizzate che problemi di ...
Leggi Tutto
In matematica applicata, e in particolare nella teoria delle decisioni, problemi di o., le questioni attinenti alla ricerca dei criteri di scelta tra diverse opzioni o di determinazione del valore di particolari [...] per la programmazione lineare e il metodo del gradiente per l’o. differenziabile sono casi dialgoritmidiricerca locale. Gli algoritmidiricerca globale sono basati sull’idea di controllare sempre l’intera regione ammissibile del problema ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] clausola C è una conseguenza di un insieme di clausole Γ se l'algoritmo precedente, applicato all'insieme di clausole Γ0=Γ∪{¬C} , di programmazione ad alto livello di pratico impiego come il PROLOG, tuttavia è in corso un intenso lavoro diricerca ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] Khachiyan nel 1979, ma l'algoritmo si era rivelato poco efficiente nei casi pratici. L'algoritmodi Karmarkar, invece, oltre a .
Analizzato il DNA di una foglia di magnolia di 20 milioni di anni fa. Un gruppo diricerca della University of California ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] utile e diffuso strumento della programmazione lineare. L'algoritmo permette di risolvere efficientemente molti problemi di ottimizzazione che si presentano in modo naturale in ambiti che variano dalla ricerca operativa alla teoria dei giochi e alla ...
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...