L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] potrebbe perciò riflettere sul ruolo che una notazione ancora primitiva può aver avuto nella scoperta di risultati così profondi come quelli del XVIII secolo.
La rappresentazione sistematica di costanti e funzioni note mediante somme infinite (serie ...
Leggi Tutto
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. [...] (proiezione, successore e costanti) mediante le seguenti operazioni: (1) composizione; (2) ricorsione primitiva; (3) minimizzazione.
La ricorsione primitiva permette di costruire unafunzione f a partire da funzioni g, h mediante f(0, x)=g(x) e f(k+1 ...
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 [...] Wilson, anche se la sua dimostrazione (dell'esistenza di una radice primitiva modulo p) non era del tutto completa. Il teorema ζ(s) all'intero piano complesso ℂ, e che ζ(s) è unafunzione meromorfa con un solo polo in s=1, il quale è un polo ...
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 [...] e considera perciò l'integrale come unafunzione che assegna un valore a ogni integrando, cioè come funzione di unafunzione: da ciò nasce l'idea di 'funzionale lineare'. Si parte con una famiglia primitiva di funzioni (per es., quelle a gradini o ...
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 dimostrazione di partenza e quella senza tagli che si ottiene non è maggiorato nemmeno da unafunzione ricorsiva primitiva. Per dimostrare la convergenza dell'algoritmo di eliminazione dei tagli occorre quindi ricorrere a un'induzione ...
Leggi Tutto
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 [...] ottiene non soltanto dal precedente valore per x, ma da un numero qualunque di valori per 0,…,x. Una definizione primitiva ricorsiva di unafunzione ne descrive il comportamento in modo tale da permetterne il calcolo.
La speranza che la classe delle ...
Leggi Tutto
DINI, Ulisse
Marta Menghini
Nacque a Pisa il 14 ott. 1845 da Pietro e da Teresa Marchioneschi. Alunno della Scuola normale superiore, fu allievo all'università pisana di E. Betti e O. F. Mossotti, e [...] problema della ricerca delle condizioni necessarie e sufficienti perché un numero derivato determini, a meno di una costante additiva, la funzioneprimitiva. Tra i risultati emergono il teorema sulle serie aritmetiche, noto col nome di "Riemann-Dini ...
Leggi Tutto
Torricèlli Evangelista [STF] (Roma 1608 - Firenze 1647) Succedette a G. Galilei nell'incarico di matematico e filosofo del granduca di Toscana (1641). ◆ [MCC] Parabola di T., lo stesso che parabola di [...] l'operazione di integrazione definita a quella di derivazione; l'integrale di unafunzione f(x) in un intervallo (a,b) vale F(b)-F(a), essendo F(x) unafunzioneprimitiva della f(x). ◆ [ALG] Teorema universale di T.: riguarda la determinazione del ...
Leggi Tutto
Biologia
In embriologia, p. cefalico, nella gastrulazione delle uova telolecitiche, p. della linea primitiva contemporaneamente allo spostamento caudale del nodo di Hensen.
Matematica
Il p. analitico [...] convergente in tutti i punti interni a un certo cerchio di centro z0, e in tale cerchio la serie data ha una somma f(z) che è unafunzione analitica di z. Sia z1 un punto interno al cerchio di convergenza, nel quale quindi la f(z) è sviluppabile in ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] segue che, per ogni n>2, il numero delle soluzioni primitive è comunque finito. Tuttavia la natura non effettiva dei suoi metodi al minimo numero di punti critici di unafunzione di Morse su M. Una caso particolare di questa congettura era stato ...
Leggi Tutto
primitivo1
primitivo1 agg. [dal lat. primitivus «primo», der. dell’avv. primĭtus «in primo luogo», der. di primus «primo»]. – 1. Che è relativo a, o proprio di, un periodo di tempo anteriore a quello attuale: egli in se stesso faccendo della...
integrale
agg. e s. m. [dal lat. tardo integralis, der. di intĕger «integro, intero»]. – 1. agg., non com. Di elemento che fa parte di un tutto, che concorre alla costituzione di un intero (sinon. quindi di integrante): i corpi i. del mondo...