Cerca in:
decisione, problema della
Enciclopedia della Matematica (2013)
decisione, problema della
decisione, problema della in logica, problema che concerne la possibilità di determinare la validità di un enunciato in un dato sistema logico. Per esempio, nel linguaggio degli [...] enunciati esiste un metodo algoritmico per determinare la verità di ogni formula: ciò avviene grazie alle tavole di verità che consentono di stabilire il valore di verità di ogni proposizione composta a partire dai valori di verità delle proposizioni ...
Leggi Tutto
attrattore
Enciclopedia della Matematica (2013)
attrattore
attrattore termine utilizzato in due diversi contesti, entrambi con riferimento all’evoluzione di un sistema dinamico: nel primo caso, indica una tendenza nell’evoluzione del sistema; nel [...] secondo è un elemento limite di un procedimento algoritmico iterativo.
☐ Insieme di punti dello spazio delle fasi di un sistema dinamico (lo spazio i cui punti rappresentano tutti e soli i possibili stati del sistema) a cui tendono asintoticamente le ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
Storia della Scienza (2003)
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 [...] p e q si può decifrare il testo, quindi la sicurezza di RSA si basa sulla difficoltà di fattorizzare un numero con gli algoritmi attualmente noti.
Irrazionalità di ζ(3). Il francese Roger Apéry dimostra che il valore della funzione ζ di Rie-mann nel ...
Leggi Tutto
traduzione, programma di
Enciclopedia della Matematica (2013)
traduzione, programma di
traduzione, programma di programma che traduce un programma di calcolo, scritto in un linguaggio di programmazione evoluto, in un insieme di istruzioni comprensibili all’automa [...] elaboratori elettronici tale funzione di traduzione è gestita dal → compilatore, che è responsabile sia del controllo formale della sintassi delle istruzioni, sia della loro traduzione in codice eseguibile dal computer (→ linguaggio algoritmico). ...
Leggi Tutto
predicato decidibile
Enciclopedia della Matematica (2013)
predicato decidibile
predicato decidibile predicato P(x), riferito alla variabile x, per il quale esista una procedura che, data una qualsiasi costante a, permetta di stabilire, in un numero finito di [...] formale delle → funzioni ricorsive le quali, secondo la tesi di → Church, rappresentano in maniera adeguata il concetto di procedura algoritmica e di funzione calcolabile. Si dice pertanto che un predicato P è decidibile se e solo se la sua funzione ...
Leggi Tutto
Johnson
Enciclopedia della Matematica (2013)
Johnson
Johnson Selmer Martin (Buhl, Minnesota, 1916 - Los Angeles, California, 1996) matematico statunitense. Si è occupato di matematica discreta e teoria dei numeri. Dopo aver interrotto gli studi [...] tesi in teoria dei numeri. Nel 1954 ha proposto insieme a G.B. Dantzig e a D.R. Fulkerson un metodo algoritmico per la risoluzione del problema del commesso viaggiatore, cioè la ricerca del percorso più economico per visitare un certo numero di città ...
Leggi Tutto
minimo, problema di
Enciclopedia della Matematica (2013)
minimo, problema di
minimo, problema di problema il cui oggetto è la ricerca del valore minimo di una grandezza. Per la sua risoluzione si esprime in termini di funzione la grandezza in esame e, quindi, [...] di massimo. Particolari esempi di problemi di minimo (o di massimo) si hanno nella teoria dell’ottimizzazione dove, nel caso di programmazione lineare, si fa ricorso a un metodo algoritmico: per la sua trattazione si veda il metodo del → simplesso. ...
Leggi Tutto
massimo, problema di
Enciclopedia della Matematica (2013)
massimo, problema di
massimo, problema di problema il cui oggetto è la ricerca del valore massimo di una grandezza. Per la sua risoluzione si fa ricorso all’espressione in termini di funzione della grandezza [...] di minimo. Particolari esempi di problemi di massimo (o di minimo) si hanno nella teoria dell’ottimizzazione dove, nel caso di → programmazione lineare si fa ricorso a un metodo algoritmico: per la sua trattazione si veda il metodo del → simplesso. ...
Leggi Tutto
Dreyfus, Hubert
Enciclopedia on line
Filosofo statunitense (Terre Haute, Indiana, 1929 - Berkeley, California, 2017). Interessato alla filosofia europea, in particolare alla tradizione fenomenologico-ermeneutica, di cui è uno dei più autorevoli [...] di pratiche, conoscenze implicite, attività cognitive e di comprensione, le cui caratteristiche non possono essere riprodotte in modo algoritmico e formalizzato da alcun programma per calcolatore.
Vita
D. ha insegnato al MIT (1960-68) e, dal 1968 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] le cifre da 1 a 9 come figure e lo 0 come semplice signum: nonostante lo zero fosse ormai usato negli algoritmi come le altre cifre, esso non appariva ancora esplicitamente come numero. Una terza osservazione è che Fibonacci frequentò la corte di ...
Leggi Tutto