formula decidibile
formula decidibile in un calcolo logico, formula ben formata a tale che o essa stessa o la sua negazione ￢a (si legge «non a») siano dimostrabili formalmente in tale calcolo. Ciò equivale [...] fu costruito da Gödel per dimostrare l’incompletezza sintattica dell’aritmetica formalizzata da un sistema di assiomi (→ Gödel, teoremadi). Lo scopo della dimostrazione ideata da Gödel è quello di mostrare che esiste una formula a, scritta ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] della m. hilbertiana non dipende però tanto da questa difficoltà quanto dal teorema d'incompletezzadi Gödel.
La metamatematica di Gödel. - La novità del metodo metamatematico di K. Gödel sta nel fatto che egli, oltre alla teoria matematica oggetto ...
Leggi Tutto
Privatizzazione
Alessandro Petretto
Privatizzazione delle imprese pubbliche e liberalizzazione dei mercati
Il termine privatizzazione può essere impiegato con numerosi significati e accezioni, trattandosi, [...] in un contesto diincompletezza contrattuale, in secondo luogo, i conflitti di interessi tra i livelli di governo nella rimozione delle restrittive ipotesi alla base del 'teorema' di Sappington e Stiglitz - contratti generalmente incompleti, costi ...
Leggi Tutto
Proprieta
Walter Euchner
Walter Santagata
Antonio Gambaro
di Walter Euchner, Walter Santagata, Antonio Gambaro
PROPRIETÀ
Filosofia e politica di Walter Euchner
Introduzione
Il rapporto tra proprietà [...] lo stesso risultato.
Secondo alcuni autori il cosiddetto teoremadi Coase non sarebbe altro che una tautologia (v. schiavitù e della sua estinzione partendo dall'ipotesi dell'incompletezza del diritto di proprietà sulla persona altrui (v. Barzel, 1977 ...
Leggi Tutto
La scienza in Cina: dai Qin-Han ai Tang. Tre scuole di pensiero
Zheng Jianjian
Marc Kalinowski
Jean Levi
Tre scuole di pensiero
I moisti e il 'Canone moista'
di Zheng Jianjian
Fondatore della scuola [...] moista è dunque un concetto eminentemente topologico. L'incompletezzadi questa proposizione viene integrata altrove, nella proposizione LV essere vista come una forma embrionale del famoso teoremadi Cantor all'interno della teoria dei numeri reali ...
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 [...] in un corollario al suo primo teorema dell'incompletezza, modelli non isomorfici (Howard 1992). Tuttavia nel corso dei primi due decenni del XX sec., gli esponenti della Scuola di Marburgo, nel tentativo di realizzare il loro programma, produssero un ...
Leggi Tutto
Azione sociale
Raymond Boudon
Introduzione
Eliminiamo innanzi tutto un possibile equivoco: non useremo qui l'espressione 'azione sociale' nel senso politico, che oggi spesso gli viene dato, di mezzo [...] una certa incompletezza d'informazione risultano spesso insufficienti per il sociologo che si propone di comprendere l' classici di filosofia politica. Ad esempio, tutto Il contratto sociale di Rousseau è fondato su un teoremadi possibilità ...
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 [...] anni Venti. Infine, nel 1931, Gödel pubblicò i suoi teoremidiincompletezza, che rivelarono l'esistenza di profonde limitazioni insite nel programma formalista perseguito dagli allievi di Hilbert. Nonostante questo scacco, gli sforzi per provare la ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] dall’inglese Alan M. Turing (1912-1954) nel suo tentativo di trovare una soluzione costruttiva al problema aperto da Gödel con i suoi teoremidiincompletezza individuando problemi che fossero dimostrabilmente indimostrabili, un oracolo è una specie ...
Leggi Tutto
Alberto Vespaziani
Abstract
L’interpretazione costituzionale dipende dalla teoria della costituzione e dalla teoria dell’interpretazione. Non esiste un grado zero dell’interpretazione, le interpretazioni [...] discorso sulle regole dell’interpretazione, con i suoi decaloghi ed imperativi costringenti, incontra il dilemma del teorema dell’incompletezzadi Gödel (Tribe, L.H., The Invisible Constitution, Oxford, 2008, 153 ss.): come si debbono interpretare le ...
Leggi Tutto
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...
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à...