Ricerca scientifica e tecnologica
Antonio Ruberti e Claudio Gori Giorgi
Sommario: 1. Introduzione: a) l'interazione tra ricerca e sviluppo economico; b) caratteri della ricerca scientifica nel Novecento. [...] alla relatività e alla teoria dei quanti, poi alla meccanica quantistica, alla fisica nucleare, al teorema di KurtGödel.
Questo stato di latenza può costituire una spiegazione dello scarso interesse pubblico verso la scienza, almeno in confronto ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] o risplendenti o, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da KurtGödel nel suo teorema d'indecidibilità, non siano semplici traduzioni aritmetiche di proprietà metamatematiche. Prototipo di questi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] da quello di insieme è ripresa con le teorie delle classi, a opera prima di Paul Bernays (1888-1977) e poi di KurtGödel (1906-1978), nella teoria GB. Le classi proprie sarebbero le totalità inconsistenti di Cantor; se ne può parlare a patto che non ...
Leggi Tutto
Design della comunicazione
Giovanni Lussu
Le attività progettuali connesse alla comunicazione, in particolare alla comunicazione visiva, si diversificano e si ridefiniscono in relazione alle innovazioni [...] e design della comunicazione. Neurath, una notevole figura di intellettuale impegnato a tutto campo (era stato, con Rudolf Carnap e KurtGödel, uno dei membri del Circolo di Vienna, fondato nel 1922 da Moritz Schlick), si era trovato ad affrontare la ...
Leggi Tutto
Logica, matematica, evoluzione biologica
Carlo Cellucci
L’influenza della tradizione antievoluzionista
Nei primi anni del nuovo secolo si è imposta all’attenzione una questione che nel Novecento era [...] un problema di teoria dei numeri e di voler trovare assiomi per risolverlo. In base al primo teorema di incompletezza di KurtGödel, non vi è alcuna garanzia che tali assiomi siano gli assiomi dell’aritmetica di Giuseppe Peano; perciò si deve essere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] presto. Il primo passo avanti veramente significativo fu compiuto da KurtGödel (1906-1978) il quale, nel 1938, dimostrò che scuola di Hilbert negli anni Venti. Infine, nel 1931, Gödel pubblicò i suoi teoremi di incompletezza, che rivelarono l' ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] dall’algoritmo ma dalla natura – classica o quantistica – del sistema fisico con cui esso viene eseguito.
Fin da quando KurtGödel (1906-1978) enunciò i suoi teoremi d’incompletezza, si sa che l’universalità costringe a pagare un prezzo molto alto ...
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 [...] no. È naturale associare la parola ‘vero’ al sì e la parola ‘falso’ al no.
Nel 1931, il logico matematico KurtGödel sconvolse il mondo dei suoi colleghi con il teorema di incompletezza, che ammetteva l’esistenza di teoremi ‘veri’ ma non dimostrabili ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Catalani
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La filosofia della scienza del Novecento può essere divisa più o meno convenzionalmente [...] scienziati che si riunivano periodicamente a Vienna (da Carnap al matematico Hans Hahn, dal sociologo Otto Neurath al logico KurtGödel) allo scopo di difendere una nuova visione scientifica del mondo, che coniugasse la tradizione empirista di Hume e ...
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, [...] materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da KurtGödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra descritto e chiediamoci se la proposizione 'questa ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...