Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’opera di Karl Marx prende forma negli anni Quaranta e giunge ai suoi esiti maturi [...] in questo senso, una “comunità illusoria”. L’incompletezza dell’emancipazione politica può essere saturata solo con scientifica. Il programma di Marx sarà d’ora in avanti quello di formulare i teoremi dell’emancipazione umana. E a ciò dedicherà ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] con il teorema di incompletezza, che ammetteva l’esistenza di teoremi ‘veri’ ma non dimostrabili. Questo teorema non è 3,1>.
A questo punto, descriviamo la trasformazione da DM in D(defM). D(defM) avrà il numero doppio dei nodi di DM poiché, per ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] più lungo di n bit. Ripercorriamo ora la storia della materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra ...
Leggi Tutto
protezione sociale
Alberto Nucciarelli
Sistema di misure di intervento pubblico esercitate mediante l’erogazione di servizi economico-sociali destinati alla correzione degli assetti distributivi del [...] informative (➔ asimmetria informativa) o incompletezza dei mercati. I servizi sociali di requisiti di merito può comportare, d’altro canto, l’attivazione di servizi diretti teorema fondamentale dell’economia del benessere, ➔ benessere, teoremi dell ...
Leggi Tutto
Godel, Kurt
Gödel, Kurt
Matematico e filosofo austriaco, naturalizzato statunitense (Brno 1906 - Princeton 1978). Libero docente di matematica nell’univ. di Vienna (1933-38), fu uno degli studiosi che [...] scelgono una volta per tutte più numeri interi a, b, c, d,..., da farsi corrispondere ordinatamente ai vari segni del sistema T. Ciò fatto apporto di G. è il teorema di incompletezza sintattica. È questo il più celebre dei teoremi di G. e fu da lui ...
Leggi Tutto
formalismo
formalismo concezione della matematica secondo la quale una teoria matematica è, essenzialmente, il complesso linguistico che la descrive, organizzato in un particolare sistema assiomatico [...] maggior rappresentante di quest’ultima specie di formalismo è stato D. Hilbert, per il quale tutte le teorie matematiche, la certezza della sua non-contraddittorietà: ma per il teorema di incompletezza di → Gödel tale non contradditorietà non può ...
Leggi Tutto
metateoria
metateoria teoria che ha come oggetto di studio un’altra teoria, che ne costituisce la sua teoria oggetto, di cui indaga caratteristiche, formalizzazioni, sintassi e semantica. I risultati [...] teoria oggetto può, in quanto teoria, essere a sua volta oggetto d’indagine razionale di un’altra teoria che ne costituisce a sua volta la in cui K. Gödel dimostrò il teorema di incompletezza (→ Gödel, teorema di). La distinzione netta fra teoria ...
Leggi Tutto
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...