La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] svolge il ruolo di card(X) per
Su questa base, si può procedere a definire 0, sc e ℕ proprio come si è fatto per gli insiemi.
e Abraham Fraenkel, Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG ...
Leggi Tutto
Catone l'Uticense
Mario Fubini
Marco Porcio C. (95 - 46 a.C.) è ricordato in If XIV 13-15, e in più luoghi del Convivio e della Monarchia (di cui si dirà più avanti); personaggio dei canti i e II del [...] c. di G. Vinay, Firenze 1950; M. Apollonio, D., Milano 1951, passim; A. Renaudet, D. humaniste, Parigi 1952, 506-511, 535-536; E. Fraenkel, Lucan als Mittler des antiken Pathos, in " Vorträge der Bibliothek Warburg " III (1923-24) 252; P. Renucci, D ...
Leggi Tutto
Clizia
Daria Perocco
La seconda e ultima commedia originale di M. a noi pervenuta, C., è in prosa, in cinque atti inframmezzati da canzoni; le circostanze di composizione sono state ricostruite grazie [...] è meglio fare e pentirsi, che non fare e pentirsi» M. a Francesco Vettori, 25 febbr. 1514). Nel caso il destino gli fosse che il lessico militare era presente già in Plauto (E. Fraenkel, Plautinisches im Plautus, 1922, trad. it. Elementi plautini ...
Leggi Tutto
matematica
matematica termine che deriva dal greco mathematiché (sottinteso téchne, dove máthema significa conoscenza, sapere) e dal corrispondente sostantivo neutro plurale latino mathematica (le cose [...] cui impostazione è anche detta strutturalismo perché erige la matematica a partire dagli insiemi, sistemati assiomaticamente (si vedano per esempio gli assiomi di → Zermelo-Fraenkel) e considerando strutture algebriche, d’ordine e topologiche e loro ...
Leggi Tutto
Dittatura
Karl Dietrich Bracher
Il concetto
Il concetto di dittatura, come tutti i concetti storico-politici fondamentali, ha subito nel corso della sua storia bimillenaria un mutamento di significato, [...] , M., De la dictature, Paris 1961 (tr. it.: La dittatura, Milano 1961).
Fraenkel, E., Bracher, K.D. (a cura di), Staat und Politik, nuova ed., Frankfurt a.M. 1964.
Friedrich, C.J., Brzezinski, Z.K., Totalitarian dictatorship and autocracy, Cambridge ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] teoria di → Zermelo-Fraenkel e la teoria a − b)(a + b) = b(a − b);
• dividendo da entrambe le parti per a − b, si ottiene a + b = b;
• sappiamo per ipotesi che a = b e perciò sostituiamo b ad a, ottenendo a + a = a;
• perciò 2a = a e, dividendo per a ...
Leggi Tutto
MOMIGLIANO, Arnaldo Dante
Riccardo Di Donato
MOMIGLIANO, Arnaldo Dante (Arnaldo Dante Aronne). – Nacque a Caraglio (Cuneo) il 5 sett. 1908 da Salomone Riccardo, commerciante di granaglie, e da Ilda [...] 'ambiente oxoniense il M. si legò – tra gli esuli tedeschi – a F. Jacoby ed Ed. Fraenkel, tra gli Inglesi gli fu costantemente amico H. Last. Continuò ininterrottamente a lavorare producendo manoscritti che presero, alla fine della guerra, forma di ...
Leggi Tutto
Hilbert, problemi di
Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici [...] ’indipendenza di questo asserto nel sistema di assiomi di → Zermelo-Fraenkel. Il problema non è quindi decidibile, nel senso che è stato risolto dal matematico ucraino V.I. Arnol’d e da A.N. Kolmogorov nel 1957: ogni funzione continua di n variabili ...
Leggi Tutto
FESTA, Nicola
Piero Treves
Nacque a Matera il 17 nov. 1866 da Francesco e da Lucia Mazzei in una famiglia modestamente agiata, capace comunque di permettere al figlio la frequentazione del locale ginnasio-liceo [...] . doveva diventare quasi un figlio d'anima, il discepolo prediletto.
A Firenze il F., pur di carattere chiuso e difficile, si trovò tosto avvertì il suo cordialmente severo recensore E. Fraenkel) e nessun tentativo o proposito d'individuare finalità, ...
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
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] di grafici (insiemi di coppie ordinate), che ne congelano il comportamento computazionale. Contrariamente a quanto avviene nella teoria assiomatica degli insiemi di Zermelo-Fraenkel (per l’assioma di fondazione), nel λ-calcolo una funzione può essere ...
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...