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 di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida ...
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 [...] dello schema
[1] m□nA ╔ □ jkA m, 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, w3, w4
((w1Rmw2 w1Rjw3)⊃∃w4(w2Rnw4 w3Rkw4))
dove m,j ...
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 viene matematica (dal teoremadi Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] proprietà analoghe alla ω-logica: una proprietà dicompletezza, risultati sull'eliminazione del taglio, corollari analoghi al principio della sottoformula e ‒ ammesse formule infinite ‒ anche un teoremadi interpolazione.
Un approccio analogo si può ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] suoi assiomi, inclusi alcuni teoremi degli Elementi di Euclide e il piccolo teoremadi Pierre de Fermat; infine di logica matematica che presenta gli assiomi per il calcolo dei predicati, rispetto al quale viene posta la questione della completezza ...
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
di Massimiliano Caramia e Paolo Dell'Olmo
L'obiettivo del processo decisionale è quello di migliorare lo stato di un individuo o di un'organizzazione in termini di uno o più criteri. Il trattamento delle [...] una sola soluzione. Diversi paradossi testimoniano la difficoltà di formalizzare questo tipo di d. collettive. Il teorema dell'impossibilità di Arrow stabilisce la non esistenza di una funzione di utilità del gruppo (ossia una funzione che aggreghi ...
Leggi Tutto
Caos
Robert L. Devaney
Introduzione storica
Secondo l'accezione più comune, il termine ‛caos' significa totale annientamento dell'ordine o assenza di qualsiasi struttura. Analogamente, in matematica, [...] di periodo n, e n viene prima di k nell'ordinamento di Sarkovskii, F ha anche un ciclo di periodo k. Si noti la potenza di questo teorema dimensione è compresa fra le due. Per completezzadi informazione, la dimensione frattale dell'immagine nella ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] sia semanticamente completa, cioè che ogni teorema dimostrabile nella teoria matematica originaria trovi il che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a ...
Leggi Tutto