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
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] Paul Bernays (1888-1977) e indipendentemente da Emil Post (1897-1954) nel 1921. Nel 1929 nella sua dissertazione dottorale KurtGödel dimostra la completezza del calcolo dei predicati del primo ordine. Nel 1949 la dimostrazione di questo risultato è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] . Nella memoria pubblicata sui ‟Monatshefte für Mathematik und Physik" proprio di seguito a quella di KurtGödel, Tarski così efficacemente presenta la tematica generale caratteristica della scuola di Varsavia:
Le discipline deduttive costituiscono ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giuseppe Peano
Clara Silvia Roero
Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] tutto positivo e gli sviluppi successivi della logica presero un’altra strada per merito di Russell, Hilbert e KurtGödel, questi ultimi riconobbero il loro debito nei confronti di Peano.
Le influenze sulla cultura matematica italiana del pensiero ...
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 [...] in fretta” di ogni altra funzione ricorsiva primitiva. Solo nel 1934, raccogliendo un suggerimento di Jacques Herbrand, KurtGödel arriva a definire la nozione generale di funzione ricorsiva. Del resto risultati sulle funzioni ricorsive erano stati ...
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, [...] e quella dei reali. Ossia: la cardinalità del continuo è il più piccolo numero cardinale più che numerabile. Nel 1938 KurtGödel dimostra che se gli assiomi della teoria degli insiemi di Zermelo-Fraenkel sono coerenti, allora essi non riescono a ...
Leggi Tutto
cognitivismo
Approccio allo studio della mente che considera i processi psicologici come l’elaborazione e il trattamento di simboli e informazioni, dove la mente viene rappresentata come un apparato [...] puramente computazionale, nonché per l’intrinseca debolezza dei sistemi computazionali dimostrata dai teoremi di incompletezza di KurtGödel. A partire dalla critica al cognitivismo, sono state proposte nuove teorie della mente che pur conservando ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] obiettivo basilare dell'informatica teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali KurtGödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] potente o più potente dell'aritmetica di Peano (nella formulazione di primo ordine) ammetteva necessariamente, come KurtGödel dimostrò in un corollario al suo primo teorema dell'incompletezza, modelli non isomorfici (Howard 1992). Tuttavia ...
Leggi Tutto
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
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à...