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 [...] più semplice (fig. 8). Anche qui si dimostra che l'ipotesi che l'angolo α sia ottuso è incompatibile con gli altri assiomi euclidei, mentre è soddisfatta sulla sfera, e che l'ipotesi che α sia retto è equivalente al postulato delle parallele. Anche ...
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
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
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
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] la proprietà ψ). I predicati φ e ψ si chiamano precondizione e postcondizione. Gli assiomi della teoria definiscono il comportamento delle istruzioni elementari di un programma.
Per esempio, l'assioma:
[2] {φ[x/e]}x ≡ e{φ}
afferma che, se prima dell ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] in modo che di tutti si giudichi la convenienza degli uni con gli altri, e si tengano a memoria. E come nell'assioma si ricerca la verità o falsità, nel sillogismo la consequenzialità o non consequenzialità, così nel metodo si considera che ciò che è ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] di determinatezza' (AD) nella teoria di Zermelo-Fraenkel (ZF) e dell'esistenza di infiniti cardinali di Woodin (in ZFC). L'assioma di determinatezza è stato proposto da J. Mycielski e H. Steinhaus nel 1962, e postula la determinatezza di qualsiasi ...
Leggi Tutto
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] (ossia una funzione che aggreghi le preferenze di tutti i decisori) che sia compatibile con un insieme di assiomi che definiscono il concetto di scelta collettiva. Ciò implica che la soluzione ottenuta dall'aggregazione delle preferenze viola almeno ...
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),...