Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] teorie – non più calcoli logici – opportunamente formalizzate. La cosa è particolarmente importante nell’ambito del programma hilbertiano in quanto il principio della sottoformula ci garantisce immediatamente la coerenza e una dimostrazione finitista ...
Leggi Tutto
Numeri che appaiono come derivanti da un campionamento casuale di una distribuzione uniforme, ma che sono in realtà generati da un algoritmo deterministico. Lo sviluppo dei calcolatori ha comportato un [...] numeri p., quando la lunghezza del ciclo risulta proporzionale alla lunghezza di qualche ciclo che compare nell’esecuzione del programma; si valuta dunque l’affidabilità di un algoritmo di generazione di numeri p. a partire dalla lunghezza dei cicli ...
Leggi Tutto
Razionalità
Jon Elster
Introduzione
Il concetto di razionalità è, assieme a quello di giustizia sociale, uno dei concetti normativi fondamentali impiegati nelle scienze sociali. Intuitivamente, essere [...] scelta tra due politici che hanno la stessa posizione sulla questione delle tasse, egli preferirà quello che sostiene un programma scolastico col maggior numero di ore di matematica alla settimana. Supponiamo che il politico ai affermi che l'aliquota ...
Leggi Tutto
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] e sull’analisi.
Le g. secondo la classificazione di Klein
Il criterio di Klein per classificare le g., enunciato nel programma di Erlangen, consiste nel porre a fondamento di una g. un gruppo di trasformazioni, detto gruppo fondamentale di tale g ...
Leggi Tutto
Matematica
Il concetto di a. è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di a. di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza [...] maggiore sviluppo sono le a. per la produttività individuale, quali gli strumenti di videoscrittura, i fogli di calcolo e i programmi per la posta elettronica; le a. per la gestione di file multimediali, quali i software per la gestione dei lettori ...
Leggi Tutto
L'Ottocento: matematica. Dalla geometria proiettiva alla geometria euclidea
Jeremy Gray
Dalla geometria proiettiva alla geometria euclidea
La geometria proiettiva
La carriera del matematico francese [...] è però certo che i matematici diedero presto avvio alla loro opera di ricostruzione. Il testo, molto chiaro, del Programma di Erlangen, enunciato da Christian Felix Klein nel 1872, è spesso considerato un contributo decisivo per la rifondazione della ...
Leggi Tutto
DANTI, Egnazio (al secolo Carlo Pellegrino)
Francesco Paolo Fiore
Figlio di Giulio, di nobile famiglia perugina, e di Biancofiore degli Alberti, fu battezzato in S. Domenico a Perugia il 29 apr. 1536 [...] grandiosa realizzazione non fu tuttavia l'unica, con la Torre dei Venti, per la quale egli tracciò disegni o dettò programmi iconografici. In una cronaca autografa egli stesso descrive come sue opere in Vaticano "la Galleria, la Loggia de Venti, l ...
Leggi Tutto
Filosofia
Ciò che non dipende da altro per la sua realtà, opposto quindi a ‘condizionato’, ‘dipendente’, e non esclude la relazione per la quale un altro dipenderebbe da lui.
Connesso a questo significato [...] , indica un tipo di musica privo di qualsiasi riferimento extramusicale, in contrapposizione quindi alla musica a programma, escludendo altresì quella vocale e tutta la musica che comunque indulga ad accenti particolarmente emotivi o descrittivi ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] , perché, per entrare come parte attiva nell'attuazione di quello che oggi ci appare come un vero e proprio programma leibniziano di costruzione della nuova analisi, occorreva, se non compiere una scelta di campo, certo abbandonare il terreno della ...
Leggi Tutto
Scienza greco-romana. Scienza e istituzioni nella Tarda Antichita
Ilsetraut Hadot
Scienza e istituzioni
La matematica
Le quattro scienze matematiche ‒ aritmetica, geometria, astronomia e musica, riunite [...] ., ma non in Varrone) e fu concepito nell'ambito della filosofia neoplatonica durante il III sec. d.C. come programma di studi preliminari allo studio della filosofia. Le fonti letterarie ed epigrafiche relative all'insegnamento ordinario nei ginnasi ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
programmabile
programmàbile agg. [der. di programmare]. – Che si può programmare, ossia prevedere, predisporre: ormai si sa tutto ... tutto in termini esatti, già programmato o programmabile (Volponi). Anche con riferimento alla programmazione...