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 [...] di lezioni tenuto all'Università di Leningrado. Nonostante gli spazi di Sobolev venissero usati abitualmente già dalla prima metà del secolo, questo libro, per la sua completezza su un paziente.
1964
Teoremadi Sharkovski sulle orbite periodiche. Il ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] tutti, il teoremadi compattezza – sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] cumulativa, seppur non consegue una condizione finale dicompletezza almeno vi si approssima asintoticamente. La scienza matematica (dal teoremadiGödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ...
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 [...] all'opera Grundlagen der Mathematik (Fondamenti della matematica, 1934) ‒ che i teoremidiGödel segnassero il fallimento del suo programma. Ma egli doveva già aver preso visione di un altro risultato che sconvolgeva la sua concezione complessiva. Il ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] dei fenomeni sonori, mentre un centinaio di anni fa, per pubblicizzare la completezza e l'unicità, sarebbe stato più scoperta questa nuova e più semplice via di dimostrare i teoremidiGödel, riformulandoli in proposizioni sull'informazione e la ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] noto corollario del teoremadiGödel.
Pochi anni dopo (1940) un teorema dimostrato da James n, j, k≥0
si può dimostrare un teoremadicompletezza generalizzato rispetto a classi di modelli in cui le proprietà di R rientrano nello schema
[2] ∀w1, w2, ...
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 [...] Gödel, Stephen Kleene, Alan Turing e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti interrogativi riguardanti la completezza e la consistenza delle teorie logiche e il potere computazionale dei sistemi formali di ...
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 [...] cardinali indagando con completezza le leggi cardinali in presenza e assenza dell'assioma di scelta, rilevando inverso del teoremadi Nielsen-Schreier.
Dopo il lavoro diGödel, restava aperto il problema dell'indipendenza dell'assioma di scelta e ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] necessarie e sufficienti affinché una formula di T sia un teoremadi T. Una prima soluzione di questo problema è espressa dal teoremadicompletezza semantica diGödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida ...
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ù [...] tutti, il teoremadi compattezza ‒ sui modelli di insiemi di formule in linguaggi elementari con numero di costanti extralogiche arbitrario. Più o meno negli stessi anni Tarski pubblica i risultati ottenuti nei primi anni Trenta sulla completezza e ...
Leggi Tutto