L'Eta dei Lumi: la fine della conoscenza naturale 1700-1770. Physique amusante
Jessica Riskin
Alice Walters
Physique amusante
Dimostrazioni e intrattenimento
di Jessica Riskin
Intorno al 1700, la [...] rendere accessibile al grande pubblico la conoscenza della Natura bisognava far leva sull'esperienza sensibile.
Basandosi su questo assioma, si procedette all'esclusione di una grande quantità di materiale, definendo così in negativo il profilo di ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] di Alnwick e Gregorio da Rimini (Murdoch 1982a, 1982b). Tutti questi autori tentarono di delineare nuovi modi per applicare l'assioma euclideo: 'il tutto è sempre maggiore di una sua parte' e le relazioni di uguaglianza agli infiniti. Oltre a coloro ...
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 [...] contemporanei e successori del 18° secolo, entrò comunque a far parte 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 spazio non ...
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 [...] 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, Naturali, scienze, Numero ...
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 [...] dà l'occasione di verificare più da vicino le ragioni per assumere le diverse regole strutturali. La regola di scambio equivale a un assioma del tipo A B →B A e quindi a una sorta di commutatività certo discutibile (si pensi a una lettura di → come ...
Leggi Tutto
Evangelista Torricelli
Nell'antiporta delle Lezioni accademiche, pubblicate postume nel 1715, troviamo un ritratto dell'autore accompagnato dalla didascalia "En virescit Galilaeus alter", anagramma incompleto [...] 'due gravi congiunti assieme non possono muoversi da sé, se il loro comune centro di gravità non si abbassa'. Tale assioma, noto come 'principio di Torricelli', verrà generalizzato da Christiaan Huygens (1629-1695), che ne farà uno dei cardini della ...
Leggi Tutto
modello
Termine pluridisciplinare che ha assunto un’amplissima gamma di significati nella tecnologia, nelle arti, in matematica e in varie discipline scientifiche. In generale, un m. rappresenta la ricostruzione [...] variabili casuali), di m. deterministici. Una esemplificazione elementare di m. logici può essere offerta dalla geometria. Se un assioma enuncia la proprietà: «due punti giacciono su una e una sola retta», in un sistema completamente formalizzato le ...
Leggi Tutto
numero cardinale
numero cardinale o cardinale, nell’accezione elementare il termine indica la quantità degli elementi di un insieme finito e, in quanto tale, è sinonimo di numero naturale. Il concetto [...] . L’esistenza di cardinali inaccessibili diversi da ℵ0 non è dimostrabile nella teoria degli insiemi di Zermelo-Fraenkel con l’aggiunta dell’assioma della scelta (ZFC; → Zermelo-Fraenkel, teoria di). Tuttavia, essa è consistente con tale sistema di ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degli insiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] se per ogni insieme X ⊂ I (X contenuto in I) è definito un insieme Ù ⊂ I, detto chiusura di I, che verifica i seguenti cinque assiomi (di C. Kuratowski): 1) Se Y è un qualunque altro insieme ⊂ I, è
2) Se X non contiene che un solo elemento o non ne ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di un programma verifica la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...