La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] alla successione 1010101…
I lavori di Büchi hanno aperto un nuovo campodi ricerca, in due direzioni. Una Gennady S. Makanin ha dimostrato per primo che l'esistenzadi una soluzione è un problema decidibile.
Applicazioni
Menzioniamo brevemente ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] di invarianti e che il procedimento di costruzione termina dopo un numero finito di passi. Ciò permette di stabilire l'esistenzadicampo finito con q=pn elementi e K(t) un campodi funzioni su K. I polinomi sono gli interi razionali di questo campo. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] le superfici senza nemmeno supporne l'esistenza in qualche spazio tridimensionale. Dalla disciplina che si occupava di superfici immerse nello spazio euclideo si separò così un nuovo campodi ricerca, la geometria intrinseca. Riemann sostenne ...
Leggi Tutto
Analisi matematica
Jean A. Dieudonné
Alcune delle idee fondamentali che sono alla base del calcolo risalgono ai Greci, ma il loro sviluppo sistematico iniziò soltanto nel XVII secolo. Alla fine di quel [...] È ormai diventato abituale designare questo vasto campo della conoscenza col termine di analisi matematica. Il calcolo ne è stesso periodo che la validità dell'ipotesi diesistenza in generale di una soluzione nei problemi variazionali fu smentita ...
Leggi Tutto
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] p=2n‒1 è un numero primo.
Il problema dell'esistenzadi numeri perfetti dispari rimane ancora aperto.
Numeri amicabili
Per quanto del campodi classi'. L'origine del problema è di natura chiaramente geometrica, essendo legata al teorema di Pitagora ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] campo modale. Sono diverse in effetti le direzioni in cui si è cercato di generalizzare i primi risultati di ', anche se la presenza di operatori modali nel linguaggio ci consente di parlare diesistenza possibile di Pegaso.
Logiche come quelle ora ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] altri metodi, sarà discussa nel contesto dei particolari campidi applicazione.
Integrazione
Nel suo lavoro originale del 1902, è più valida. La fonte delle difficoltà si trova nell'esistenzadi rettangoli molto sottili, per i quali il rapporto tra ...
Leggi Tutto
Civilta islamica: antiche e nuove tradizioni in matematica. Tracciato continuo delle coniche e classificazione delle curve
Roshdi Rashed
Tracciato continuo delle coniche e classificazione delle curve
Il [...] di questo nuovo capitolo alcuni matematici studiano, di solito anche accuratamente, l'esistenzadi soluzioni e il numero di IX sec., questo nuovo capitolo diventa un campodi ricerca attivo per opera di matematici della seconda metà del X sec., cioè ...
Leggi Tutto
Leggi di scala
Luciano Pietronero
Le leggi di scala riguardano il comportamento di una struttura in funzione della scala da cui la si guarda. Per i sistemi regolari, sia matematici sia fisici e naturali, [...] numero di situazioni e implica necessariamente l'esistenzadi scale caratteristiche: la dimensione di un atomo, di una molecola o di un di reti o network, che rappresentano un vasto campodi studio di grande importanza. L'organizzazione in termini di ...
Leggi Tutto
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 [...] della coerenza dell'aritmetica che ha aperto un campodi ricerca molto controverso, la teoria infinitaria della artificialità può essere utile se vogliamo passare dall'esistenzadi individui che soddisfano date proprietà al calcolo concreto. ...
Leggi Tutto
informazióne s. f. [der. di informare; cfr. lat. informatio -onis «nozione, idea, rappresentazione» e in epoca tarda «istruzione, educazione, cultura»]. – 1. ant. e raro. L’azione dell’informare, di dare forma cioè a qualche cosa: altrimenti...
stòria (ant. o letter. istòria) s. f. [dal lat. historia, gr. ἱστορία, propr. «ricerca, indagine, cognizione» da una radice indoeur. da cui il gr. οἶδα «sapere» (e ἴστωρ «colui che sa») e il lat. vid- da cui vĭdēre «vedere»]. – 1. Esposizione...