lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
Finito
Enciclopedia Italiana - VI Appendice (2000)
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] e metodi
di Antonio Machì
La riduzione dall'infinito al finito
Un esempio di questa tecnica di riduzione è il classico modello di Kronecker, che permette di stabilire se un polinomio a coefficienti interi sia o meno riducibile (sempre sugli interi) e ...
Leggi Tutto
CATEGORIA:
ALGEBRA
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] strutturale del tipo mostrato nella fig. 2, indipendentemente dallo specifico ambito di applicazione. Furono inoltre definiti il modello matematico e il linguaggio idonei allo studio di questi sistemi, e quest'ultimo fu denominato linguaggio delle ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Fourier, Jean-Baptiste-Joseph
Enciclopedia on line
{{{1}}}
Matematico (Auxerre 1768 - Parigi 1830). Di modesta famiglia (il padre era sarto), F., rimasto orfano di entrambi i genitori, fece i suoi primi studî nella scuola militare di Auxerre e tentò di [...] che accompagnarono Bonaparte in Egitto (con Monge, Berthollet, Malus, Dolomieu, Geoffroy Saint-Hilaire). Bonaparte creò in Egitto, sul modello francese già adottato in Italia, una struttura per la ricerca scientifica, l'Institut de l'Égypte, di cui ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dinamica dei sistemi
Enciclopedia Italiana - VII Appendice (2006)
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] regolare passante per il punto scelto; questa viene detta orbita del punto. È tuttavia sempre più frequente l'uso di modelli in cui il tempo è una quantità discreta, in cui alla semplicità dell'astrazione si coniuga la praticità dell'implementazione ...
Leggi Tutto
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] regole ⇒∀ e ∃⇒ dando valore 1 alle formule nei vari Γn e valore 0 a quelle nei Δn. La struttura così ottenuta sarà modello di Γ0 e contromodello di Δ0, così che ⌝A sarà vero.
Hauptsatz e risultati connessi
Il risultato più importante su LK dal punto ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] di una corrente elettrica determina la presenza o l'assenza di una risposta. Gli automi finiti, nati come modelli semplificati del cervello umano, divengono dunque cervelli elettronici per le macchine di Turing, rendendone possibile la costruzione.
I ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
complessità
Enciclopedia on line
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] e variabilità dei mutamenti di stato di una società; la difficoltà che un attore-osservatore incontra volendo costruirsi un modello efficace, in vista di determinati scopi, di una data società, o per rendere una descrizione attendibile di parti di ...
Leggi Tutto
iperspazio
Enciclopedia on line
In matematica, spazio a più dimensioni; il numero di queste si indica generalmente con n, nel qual caso si parla anche di spazio di dimensione n; poiché lo spazio ordinario è a tre dimensioni, in senso [...] . Gli enti e le nozioni della geometria proiettiva vengono anche qui introdotti, per via analitica, sul modello della geometria proiettiva dello spazio ordinario. Così, si introducono le nozioni di iperpiano, di ipersuperficie di ordine ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
L'Età dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Storia della Scienza (2002)
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] quella algebrica sono invece in relazione tra loro e possono essere trasformate una nell'altra va considerato come un modello metodologico dal quale discendono campi come la geometria algebrica e la moderna teoria di Lie delle equazioni differenziali ...
Leggi Tutto