decidibilita
Enciclopedia della Matematica (2013)
decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] è verificata o meno. Per esempio, un insieme è decidibile se, dato un oggetto a, è possibile stabilire, tramite un algoritmo se a appartiene o non appartiene all’insieme. L’insieme dei numeri primi è un esempio di insieme decidibile, essendo ...
Leggi Tutto
intrattabile
Dizionario delle Scienze Fisiche (1996)
intrattabile
intrattàbile [agg. Comp. di in- neg. e trattabile "che non può essere trattato"] [ALG] [ANM] Problema i.: quello del quale non è noto alcun procedimento di risoluzione con un tempo di calcolo [...] che cresca al più come una potenza del numero n dei casi trattati dall'algoritmo e che quindi va risolto per approssimazione; per es., v. algoritmi, teoria degli: I 102 f. ...
Leggi Tutto
Cataldi, Pietro Antonio
Enciclopedia on line
Matematico (Bologna 1552 - ivi 1626); lettore ad mathematicam nello Studio di Bologna dal 1583 al 1626, ha lasciato più di 30 opere che ai suoi tempi ebbero grande diffusione. Nel suo Trattato del modo [...] brevissimo di trovare la radice quadra delli numeri, et regole, ecc. (1613) introdusse l'algoritmo delle frazioni continue, studiandone le leggi di formazione, le proprietà, il modo di convergere al limite delle ridotte, e ponendosi così tra gli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
file
Enciclopedia on line
In Informatica, insieme ordinato di record (➔) omogenei tipicamente registrati su un conveniente dispositivo di memoria (➔) in un formato noto. Con il termine inglese f. system si indica il modo in cui [...] data da un f. sequenziale con indice, ottenuto suddividendo un f. sequenziale in un certo numero di blocchi e dotando l’algoritmo di accesso di una tabella (➔ indice) che gli permetta di iniziare l’accesso sequenziale direttamente dal primo record di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
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 [...] due numeri interi di n cifre in tempo O(n logn log logn), anziché in tempo O(n2) come avviene per l'algoritmo classico.
La teoria delle basi di Gröbner. L'austriaco Bruno Buchberger introduce la nozione di 'base di Gröbner' (che chiama così in ...
Leggi Tutto
ORDINARE IL MONDO
XXI Secolo (2010)
Ordinare il mondo
Paolo Zellini
La matematica intesa come una razionalizzazione dell’esperienza, secondo la concezione del filosofo e matematico italiano Federigo Enriques (1871-1946), ha sempre cercato [...] di n equazioni lineari in n incognite, che usa un numero di operazioni dell’ordine di n3, non è ottimo, perché esistono algoritmi di complessità O(nα) con α<3. Strassen ha dimostrato che si possono moltiplicare due matrici quadrate 2×2 con sole 7 ...
Leggi Tutto
Shor
Enciclopedia della Matematica (2013)
Shor
Shor Peter Williston (New York 1959) informatico teorico statunitense. Nel 1985 ha conseguito il dottorato in matematica applicata al Massachusetts Institute of Technology (mit) di Boston, dove [...] è professore di matematica applicata dal 2003. È noto per i suoi contributi al calcolo quantistico, in particolare per il cosiddetto algoritmo di fattorizzazione di Shor (1994). ...
Leggi Tutto
al-Khuwārizmī, Muḥammad ibn Mūsà
Enciclopedia on line
Matematico, astronomo, geografo e cronografo musulmano (m. metà sec. 9º), vissuto a Baghdād. Sue opere principali sono un rifacimento dell'atlante e della geografia di Tolomeo in base al testo greco, un [...] lo sviluppo di questa disciplina, tanto che dal nome del suo autore, deformato da un traduttore in Algorithmi, derivò il termine algoritmo, ancor oggi denotante uno schema di calcolo. L'opera di al-Kh., pur non andando oltre le equazioni di secondo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Horn-soddisfacibilita
Enciclopedia della Matematica (2017)
Horn-soddisfacibilita
Horn-soddisfacibilità particolare connotazione della soddisfacibilità di una formula. In generale una formula si dice soddisfacibile se esiste una interpretazione delle variabili [...] a A ∧ B ∧ C ⇒ D;
e) ￢C ∨ ￢E è equivalente a C ∧ E ⇒ ⊥ dove ⊥ è una contraddizione;
Per quanto stabilito al passo b) dell’algoritmo bisogna assegnare il valore V ai letterali A e B. Per il passo c) anche i letterali C e D hanno valore di verità V ...
Leggi Tutto
Hassabis, Demis
Enciclopedia on line
Hassabis, Demis. – Informatico e neuroscienziato britannico (n. Londra 1976). Laureato in Informatica a Cambridge, ha ottenuto un dottorato in Neuroscienze cognitive all'University College London, e ha [...] Harvard. Amministratore delegato di Google DeepMind, azienda di Intelligenza artificiale, è uno degli ideatori di AlphaFold, algoritmo in grado di analizzare strutture complesse come quelle delle proteine. Le applicazioni derivate dalle scoperte che ...
Leggi Tutto