Valore, teorie del
Giorgio Lunghini
Fabio Ranchetti
Introduzione
Per 'teoria del valore' si possono intendere due cose distinte: la determinazione quantitativa dei rapporti secondo cui le merci vengono [...] si tratterebbe di dare al problema la forma di quei problemi delle scienze della natura che ammettono definizione e decidibilità matematica. Leggendo il Capitale, tuttavia, pare più convincente l'idea di una 'trasformazione' come processo reale, come ...
Leggi Tutto
Roberto Poli
Abstract
Vengono esaminati gli aspetti strutturali e funzionali delle nullità degli atti del processo civile, anche nei rapporti con le altre specie di invalidità degli atti giuridici, con [...] del potere esercitato, la rinnovazione invece opera ex nunc, “rispetto al vizio del procedimento”, rimuovendo l’impedimento alla decidibilità della causa nel merito e, in tal modo, “recuperando” quegli effetti sul procedimento – vale a dire la sua ...
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 [...] formule nei sequenti e quindi la proprietà della sottoformula ci permetterebbe di estendere anche al primo ordine la decidibilità che abbiamo nel caso enunciativo. Stesso discorso per le disgiunzioni di Herbrand, che sarebbero tutte di lunghezza ...
Leggi Tutto
metafisica
Termine non utilizzato nella filosofia antica, ed entrato nell’uso in epoca tardo-antica e medievale, dapprima per designare i trattati di Aristotele che seguono quelli di fisica («μετὰ τὰ [...] in Confirmable and influential metaphysics (Mind, 65, 1957) ha proposto una «m. influente», rimodulando il rapporto fra decidibilità empirica e falsificabilità delle affermazioni della m., che possono influire sull’elaborazione e sugli sviluppi della ...
Leggi Tutto
SOCIOLOGIA
Raymond Boudon
Costantino Cipolla
Roberto Cipriani
Filippo Barbano
Filippo Barbano
(XXXI, p. 1019; App. III, II, p. 761; IV, III, p. 356)
Logica ed epistemologia della sociologia. - Le [...] dell'agire sociale, i cui lati sono le regole o codici normativi dell'agire, le decisioni nelle molteplici situazioni di decidibilità e il consenso nelle condizioni di scambio, utilità, individuazione e identità. È in quest'area che si registrano i ...
Leggi Tutto
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 solleva un intenso dibattito in quanto si pone in antitesi con la spiegazione neodarwiniana del cambiamento evolutivo.
1968
Decidibilità della teoria dei campi finiti. L'americano James Ax dimostra che esiste un algoritmo per decidere se una ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] poliedro e di complesso cellulare. Nello stesso anno riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebre di Boole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebre di Boole ...
Leggi Tutto
Cibernetica
Ernest H. Hutten
di Ernest H. Hutten
Cibernetica
sommario: 1. Introduzione storica. 2. L'epistemologia delle macchine. 3. La struttura informativa delle macchine. 4. Sistema, processo, informazione [...] '. Ma con ciò siamo anche pervenuti ad uno dei problemi fondamentali della matematica: il cosiddetto problema della decidibilità o della decisione (Gödel). La nozione metamatematica di costruttività porta al problema di trovare un procedimento che ...
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 [...] che presenta gli assiomi per il calcolo dei predicati, rispetto al quale viene posta la questione della completezza e della decidibilità. L’epoca d’oro della logica era alle porte. Le rose stavano fiorendo, ma non in Italia, dove il giovane ...
Leggi Tutto
decidibilita
decidibilità s. f. [der. di decidibile]. – La qualità o la condizione di essere decidibile, sia in senso generico, sia nel sign. specifico della logica matematica.