algebra
algebra ramo della matematica che studia il calcolo numerico generalizzandone le operazioni mediante l’introduzione delle lettere dell’alfabeto a rappresentare i numeri. Un’altra caratteristica [...] per un’ulteriore evoluzione dell’algebra verso una maggiore generalizzazione e astrazione. Anche se infatti la teoriadegliinsiemi non nacque in relazione al problema della risoluzione delle equazioni, ma rispondeva piuttosto alle esigenze di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] (ivi compresi gli assiomi di riducibilità, dell’infinito e di scelta) oppure quelli assiomatici per la teoriadegliinsiemi di Zermelo-Fraenkel e di von Neumann, o ancora i sistemi formali della scuola hilbertiana - contengono proposizioni ...
Leggi Tutto
infinito
infinito astrazione matematica (espressa dal simbolo ∞) che indica una grandezza illimitatamente grande o che può essere fatta crescere in modo illimitato. L’esempio più elementare è costituito [...] come infinito attuale, viene pienamente accettato con la nascita della teoriadegliinsiemi, dovuta a G. Cantor, e in particolare con la sua teoria dei numeri cardinali. In teoriadegliinsiemi, secondo la definizione data da R. Dedekind, è detto ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoriadegli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] data, permettendo così di fare infinite scelte e di formare un nuovo insieme senza particolari condizioni costruttive restrittive (→ scelta, assioma della). La teoriadegliinsiemi di Zermelo-Fraenkel con l’aggiunta dell’assioma della scelta (ZF10) è ...
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
L’ipotesi del continuo, formulata da Georg Cantor negli anni Settanta dell’Ottocento, [...] o la falsità dell’ipotesi del continuo, e dall’altro pone il problema di scoprire nuovi assiomi per la teoriadegliinsiemi che rendano possibile dimostrare o refutare l’ipotesi di Cantor. Anche il primo teorema d’incompletezza fornisce un esempio ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il paradosso di Russell (1902) è la più nota smentita al principio di comprensione [...] ad Alfred North Whitehead il sistema dei Principia Mathematica (1910-1913), Russell propone di organizzare tutte le entità della teoriadegliinsiemi in una gerarchia di livelli o tipi: il primo livello è formato da individui, ossia da quegli oggetti ...
Leggi Tutto
dualita
dualità relazione tra due concetti, oggetti o strutture matematiche di una stessa teoria che sussiste se, scambiando il loro posto in uno o più assiomi o teoremi, si ottengono assiomi o teoremi [...] che essi siano trasferiti da un oggetto al suo oggetto duale: per esempio, l’unione e l’intersezione nella teoriadegliinsiemi, problemi di massimo e minimo nella programmazione lineare, spazio vettoriale e relativo spazio vettoriale duale e, più in ...
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 [...] limite forte. Per esempio, ℵ0 è un cardinale inaccessibile. L’esistenza di cardinali inaccessibili diversi da ℵ0 non è dimostrabile nella teoriadegliinsiemi di Zermelo-Fraenkel con l’aggiunta dell’assioma della scelta (ZFC; → Zermelo-Fraenkel ...
Leggi Tutto
continuita
continuità [Der. di continuo "l'essere continuo", nei vari signif. di questo termine] [LSF] Sulla base delle teorie quantistiche, per le quali i corpi sono sostanzialmente discontinui, la [...] carica quando è presente l'energia di rete. ◆ [ALG] Postulato di c.: nella teoriadegliinsiemi (e in partic. nelle sue applicazioni alla geometria e alla teoria dei numeri), postulato fondato su due proprietà che possono essere enunciate in maniera ...
Leggi Tutto
Poincare
Poincaré Jules-Henri (Nancy, Lorena, 1854 - Parigi 1912) matematico, fisico e filosofo della scienza francese. È considerato uno degli ultimi grandi scienziati universali per le sue ricerche [...] principio derivano tra l’altro le antinomie della teoriadegliinsiemi. Critico dell’idea cantoriana dell’infinito attuale , che costituisce il vero e proprio apparato concettuale di una teoria, è puramente convenzionale, e perciò non può dirsi vera o ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...