Markov, Andrej Andreevič, iunior

Enciclopedia on line

Matematico e logico russo (Pietroburgo 1903 - Mosca 1979), figlio del precedente. Il suo nome è legato agli algoritmi normali o di M., alla computabilità secondo M., che è equivalente alla ricorsività, [...] in un alfabeto A sono pienamente equivalenti, relativamente ad A, a qualche algoritmo normale su A". Nella sua teoria degli algoritmi M. usa la logica intuizionista con l'aggiunta di una regola di esistenza potenziale (regola di M.). M. ha anche ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: LOGICA INTUIZIONISTA – RICORSIVITÀ – ALGORITMO – MOSCA

Bompiani, Enrico

Enciclopedia on line

Matematico (Roma 1889 - ivi 1975), fratello di Gaetano; prof. univ. dal 1923, insegnò a Milano e a Bologna; dal 1927 prof. di geometria analitica e descrittiva a Roma; socio nazionale dei Lincei (1947), [...] differenziale come è coltivata in Italia, di cogliere l'essenza geometrica delle questioni, al di là degli sviluppi algoritmici talvolta inevitabili; il B. è riuscito a "geometrizzare" larga parte della teoria delle equazioni differenziali e a ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: GEOMETRIA DIFFERENZIALE – EQUAZIONI DIFFERENZIALI – GEOMETRIA ANALITICA – BOLOGNA – ROMA

grafico 1

Dizionario delle Scienze Fisiche (1996)

grafico 1 gràfico1 [agg. (pl.m. -ci) Der. del gr. grápho "scrivere"] [LSF] Che consiste in un disegno o che si avvale di un disegno. ◆ [ALG] [ANM] Calcolo g.: in contrapp. a calcolo analitico e sim., [...] aste di un sistema articolato, la risoluzione di alcune equazioni algebriche o differenziali e una serie di procedimenti algoritmici: interpolazione ed estrapolazione g., derivazione e integrazione g., ecc. In qualche caso, si sono costituite vere e ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA

Calcolo

Enciclopedia Italiana - VII Appendice (2006)

Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] riuscì così a gettare le basi teoriche del c. quantistico. Uno dei risultati più importanti del c. quantistico è l'algoritmo di P.W. Shor per la fattorizzazione (decomposizione in fattori primi) di numeri interi: nel 1994 Shor ha infatti dimostrato ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: TECNOLOGIE DELL'INFORMAZIONE E DELLA COMUNICAZIONE – PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – EQUAZIONE DI SCHRÖDINGER – ELABORATORE QUANTISTICO – ELABORATORE ELETTRONICO

unificazione

Dizionario delle Scienze Fisiche (1996)

unificazione unificazióne [Atto ed effetto dell'unificare "rendere un tutto uno", dal lat. unificare (→ unificato)] [FTC] Riduzione a un unico tipo di categorie di manufatti, standardizzazione delle [...] di riportare a un unico principio i fenomeni gravitazionali e i fenomeni elettromagnetici costruendo, con gli strumenti concettuali e algoritmici del calcolo tensoriale, un unico modello geometrico dei due campi: v. unificazione dei campi classici. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – FISICA NUCLEARE – FISICA TECNICA – RELATIVITA E GRAVITAZIONE – TEMI GENERALI – STATISTICA E CALCOLO DELLE PROBABILITA

ricorsività

Enciclopedia on line

ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia o non sia un teorema di T. Per studiare tale problema occorreva trovare un corrispettivo ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: FUNZIONE RICORSIVA PRIMITIVA – FUNZIONE DI ACKERMANN – FUNZIONI RICORSIVE – TEORIA DEI NUMERI – NUMERI NATURALI

Scienza greco-romana. Diofanto di Alessandria

Storia della Scienza (2001)

Scienza greco-romana. Diofanto di Alessandria Roshdi Rashed Diofanto di Alessandria Nel corso degli ultimi decenni la nostra conoscenza dell’opera di Diofanto di Alessandria è cambiata in maniera considerevole, [...] tutt’altra cosa, invece, è ricorrere a queste nozioni e a questo linguaggio per individuare i metodi e gli algoritmi senza però attribuirvi i significati geometrici che hanno attualmente. Quest’ultima posizione ci sembra la più corretta, a condizione ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELLA MATEMATICA

Invarianti, Teoria degli

Enciclopedia della Scienza e della Tecnica (2007)

Invarianti, Teoria degli Claudio Procesi La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] ha un ruolo importante anche nella teoria di Capelli. Le idee di Hilbert furono inizialmente rifiutate per gli aspetti non algoritmici che esse contenevano ma, una volta che venne compresa, questa geniale opera ebbe un effetto dirompente sulla teoria ... Leggi Tutto

CATEGORIA: GEOMETRIA

TAGS: DOMINIO A FATTORIZZAZIONE UNICA – TEORIA DELLE RAPPRESENTAZIONI – TEOREMA DI CAYLEY-HAMILTON – CORRISPONDENZA BIUNIVOCA – SEGNO DELLA PERMUTAZIONE

La scienza in Cina: l'epoca Song-Yuan. La matematica

Storia della Scienza (2001)

La scienza in Cina: l'epoca Song-Yuan. La matematica Karine Chemla Annick Horiuchi Andrea Eberhard-Bréard La matematica La rinascita della matematica e la tarda tradizione settentrionale di Karine [...] che i numeri e le equazioni lineari avevano avuto almeno fin dalla formazione del Canone Han. Si può supporre che il nuovo algoritmo abbia avuto l'effetto di rimodellare l'oggetto matematico che ne era alla base: le equazioni di secondo e terzo grado ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

La civiltà islamica: antiche e nuove tradizioni in matematica. Aritmetica

Storia della Scienza (2002)

La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica Pascal Crozet Aritmetica Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] rientrano quindi più in generale nella teoria dei numeri, compaiono così nei trattati di ḥisāb in relazione alle operazioni: l'algoritmo euclideo per la ricerca del massimo comun divisore viene pertanto ripreso da al-Karaǧī e da molti altri. In molte ... Leggi Tutto

CATEGORIA: ARITMETICA – STORIA DELLA MATEMATICA