La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco KurtGödel aveva già dimostrato, nel 1940, che questi due assiomi sono consistenti con Zermelo-Fraenkel; quindi, il contributo di Cohen ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] , la patria di Kant. La cosa più interessante di quel convegno però è la breve comunicazione (Tav. V) di un giovane logico viennese, KurtGödel (1906-1978), che passa quasi inosservata ma ha effetti devastanti sulle sorti del programma hilbertiano ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] Bernays e KurtGödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG (Bernays-Gödel). Con sconfitta temporanea. Ciò emerse nel 1931 dagli sbalorditivi risultati di Gödel in base ai quali se T è una qualsiasi teoria formale ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] che il programma hilbertiano potesse essere realizzato, un giovane virtualmente sconosciuto al di fuori di Vienna, KurtGödel (1906-1978), osservò quanto segue:
Secondo la concezione formalista, alle asserzioni dotate di significato della matematica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] 1918).
Nei primi anni Trenta ci si cominciò a chiedere quale fosse allora la classe delle funzioni calcolabili. Alonzo Church, KurtGödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un ...
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
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
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
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Trenta, di una nozione precisa di algoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, KurtGödel, Jacques Herbrand, Alan M. Turing e Stephen C. Kleene ‒ non influì sull'intuizionismo; ciò tuttavia non deve ...
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à...