STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] ’altro consolidare la sua discussa dimostrazione del principio del buon ordinamento. Il sistema assiomatico di Zermelo verrà perfezionato da Abraham Adolf Halevi Fraenkel (1891-1965) ed è per questo noto oggi come ZF.
Il primo obiettivo era raggiunto ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] , anello, campo e così via, assumendo come primitivo il concetto di insieme, si serve del sistema assiomatico di Zermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà inerenti i fondamenti", preferendo un punto di vista naïf che ...
Leggi Tutto
logica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il [...] , K. Schütte); la teoria dei modelli (Tarski, L.A. Henkin, A.I. Malcev, R.M. Robinson); la teoria degli insiemi (E. Zermelo, A. Fraenkel, Bernays, J. Von Neumann, Gödel, T.A. Skolem, P.J. Cohen, A. Mostowski, P. Lévy); la teoria della ricorsività (S ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] costruisce una teoria assiomatica degli insiemi, rielaborata nel 1922 da Abraham A. Fraenkel. Oggi la teoria degli insiemi di Zermelo-Frankel (ZF) costituisce una sorta di idioma universale per la matematica in grado di produrre una descrizione ...
Leggi Tutto
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), ritenendola migliore, più adatta [...] elemento da ogni insieme di Q. Anche se solo nel 1904 E. Zermelo diede una chiara ed esplicita formulazione dell’assioma di s. e per teorie assiomatiche degli insiemi. Nel 1922 A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assioma ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] G. Boole, A. De Morgan, E. Schröder, Peano, Zermelo, ecc.), insieme con la prospettiva assiomatica meta-teorica, suggerita dalla Dalla Chiara Scabia), Torino 1973 (cap. VI); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of set theory, ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] o teoremi, di r.: nella logica matematica, assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti...