L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] definire il significato delle cose tramite la successione dei passaggi, o operazioni, che dovrebbero essere eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un sistema di assiomi e di ...
Leggi Tutto
* La voce enciclopedica Lingua scritta è stata ripubblicata da Treccani Libri con il titolo Italiano, parlare, scrivere, arricchita e aggiornata da un contributo di Giuseppe Antonelli.
La scrittura è [...] , cioè, in un numero variabile e potenzialmente infinito di unità informative connesse tra loro tramite collegamenti il letterato veneziano in un passo notissimo delle Prose della volgar lingua (I, 14), enunciando un assioma che non è solo suo, ma ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] come per Diogene il movimento si dimostra camminando.
Gli assiomi devono enunciare correttamente le regole del gioco, il contesto Si trascrivono quindi le proprietà delle funzioni misurabili e delle parti misurabili. Infine, il capitolo ritorna sulle ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] infinitesimi utilizzando serie infinite, aveva abolito nella coscienza di molti matematici dell'epoca la indipendentemente dall'assiomadelle parallele, la somma degli angoli di un triangolo non può superare 180°; l'assiomadelle parallele segue ...
Leggi Tutto
Misura e integrazione
M. Evans Munroe
Introduzione
La nozione di integrale viene spesso introdotta considerando il problema di determinare l'area racchiusa da una curva, prendendo un limite di somme [...] secondo Lebesgue è logicamente equivalente all'assiomadella scelta.
Mediante il procedimento indicato dianzi C) che misura più precisamente le dimensioni relative di C e di C0.
Infine, se G è aperto e ha misura compatta, poniamo per definizione
τ(G)= ...
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. [...] , in due direzioni. Una riguarda l'estensione della teoria degli automi finiti a parole infinite (v. oltre); l'altra, lo studio insieme delle parole sull'alfabeto terminale che si possono derivare a partire da un simbolo iniziale detto 'assioma'.
Per ...
Leggi Tutto
Tempo
Giovanni Bruno Vicario
Paolo Casini
Il termine tempo (dal latino tempus, voce d'incerta origine), indica l'intuizione e la rappresentazione della modalità secondo cui i singoli eventi si susseguono [...] via all'infinito, sono soltanto virtuali. Fu tuttavia il primo passo della fisica dell'edificio assiomatico della fisica classica. L'assioma comportava la simultaneità del tempo in ogni parte dello spazio: Newton precisa che alle diverse parti dello ...
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 [...] operatori modali iterati e in [2] il numero di passi della relazione R (ponendo w1R0wk uguale a wi=wk). Per esempio l'assioma 4 (p⊃p) è il caso speciale di [1] fondata (cioè non esiste nessuna sequenza infinita ordinata da essa), ma questa proprietà ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] ripetuti se l'albero è infinito) determina l'accettazione o meno dell'albero da parte dell'automa. Il risultato più noto l'insieme delle parole sull'alfabeto terminale che si possono derivare a partire da un simbolo iniziale detto assioma. Per esempio ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Federigo Enriques
Gaspare Polizzi
Nella figura di Enriques si intrecciano matematica, filosofia, storia, pedagogia e organizzazione della cultura. Il matematico livornese unisce le sue competenze scientifiche [...] tra i principali matematici e storici della matematica italiani del tempo, e ne redasse trentotto voci (tra le quali Analisi, Assioma, Assurdo, Cerchio, Curve, Geometria, parte storica, Infinito, parte storica, Irrazionale, Matematica, Meccanicismo ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...