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)
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 [...] teorema aggiunge che l’aritmetica non può dimostrare con i propri mezzi la sua coerenza.
L’intuizione di GödelKurtGödel
Appendice agli atti del Secondo convegno di epistemologia delle scienze esatte di Königsberg
Un sistema formale si dice ...
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
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] era stata collocata da Hilbert al secondo posto della lista dei problemi aperti.
Tuttavia, nel 1931, il giovane logico austriaco KurtGödel risponde in senso negativo a entrambe le congetture: se la teoria formale dell’aritmetica è coerente, allora è ...
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
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à...