logica intuizionista
logica intuizionista teoria logica nata nel contesto dell’→ intuizionismo, filosofia della matematica elaborata da L.E.J. Brouwer nel 1907. Secondo Brouwer in matematica sono da [...] o falsità di un certo enunciato A in un numero finito di passi) ha avuto il merito di creare un terreno fertile per la teoriadella → ricorsività e della → calcolabilità. Per questo motivo la logica intuizionista è stata recuperata nelle applicazioni ...
Leggi Tutto
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] di formalizzazione e di costruzione su basi logiche dell’insieme delleteorie matematiche. Tale limite si esprime affermando che dell’indagine dall’ambito fondazionale ad altri ambiti, quale quello delle definizioni costruttive e dellacalcolabilità ...
Leggi Tutto
computazione
computazione procedimento di calcolo completamente specificato, cioè composto da un numero finito di operazioni elementari o a loro volta scomponibili in operazioni elementari. La computazione [...] in ingresso, è effettuata attraverso un algoritmo espresso in un determinato linguaggio formale. La teoriadella computazione definisce le caratteristiche che devono avere gli algoritmi e i linguaggi in cui essi sono espressi (→ calcolabilità). ...
Leggi Tutto
Le società occidentali contemporanee sono spesso state definite società del consumo di massa, intendendo con ciò che gran parte della vita dei loro membri ruota intorno all'acquisto e consumo di merci [...] prevedibilità, la calcolabilità e il controllo tramite la sostituzione del lavoro umano con quello delle macchine. L' che implica, in termini che Miller trae dalla teoria hegeliana dell'oggettivazione, un movimento duale di esternalizzazione prima e ...
Leggi Tutto
Enciclopedia delle Scienze Sociali I Supplemento (2001)
GLOBALIZZAZIONE
M. Rosaria Ferrarese; Ronald Dore
Aspetti istituzionali di M. Rosaria Ferrarese
Globalizzazione e profezie marxiane
Della globalizzazione sono state date svariate definizioni, che [...] risponde a un intento di 'calcolabilità' e associa attese di pianificazione e governo dell'economia (v. Weber, 1922). Libertà e proprietà alle origini del pensiero borghese: la teoriadell'individualismo possessivo da Hobbes a Locke, Milano 1973).
...
Leggi Tutto
STATO
Gianfranco Poggi
Lucio Levi
Stato moderno
di Gianfranco Poggi
'Stato' e 'Stato moderno'
La trattazione che segue presuppone una risposta che si presume corretta, ma non è incontrovertibile, [...] l'unico compatibile con le esigenze di calcolabilitàdelle risorse economiche private e di redditività del law and State, Cambridge, Mass., 1945 (tr. it.: Teoria generale del diritto e dello Stato, Milano 1966⁵).
Lucatello, G., Lo Stato federale, ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
La sfida della cupola
Roberto Masiero
David Zannoner
Le cupole e la scienza
L’ideazione e la costruzione delle cupole, dal Quattrocento al Settecento, ha alimentato la sperimentazione e la formalizzazione [...] la modernità si dà ancora il primato della prassi sulla teoria: la trattatistica architettonica, prima della nascita di un’editoria dedicata all’ edilizi, con la ‘calcolabilità’ delle forme, tutto questo pone fine alla stagione delle cupole e ai suoi ...
Leggi Tutto
ALIENAZIONE
Giuseppe Bedeschi e Alessandro Cavalli
Alienazione
di Giuseppe Bedeschi
Il concetto di alienazione in Hegel
Hegel è il primo pensatore moderno che abbia elaborato una vera e propria teoria [...] completa inversione.Come si vede, nel Capitale teoriadell'alienazione e teoria del feticismo si saldano intimamente. Il concetto e razionali: il principio della razionalizzazione fondata sul calcolo, sulla calcolabilità. La crescente divisione e ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Storia e Politica (2013)
Santi Romano
Maurizio Fioravanti
Uno dei massimi giuristi del Novecento. Giuspubblicista, coltivò parimenti i campi del diritto costituzionale e del diritto amministrativo, fornendo contributi decisivi, [...] calcolabilità e imparzialità all’azione amministrativa, e anche a fare argine nei confronti delle tendenze più estreme del regime, che predicavano la subordinazione dello dogmatica giuridica al piano ultimo dellateoria generale. Aveva anche messo ...
Leggi Tutto
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] , il LISP. Da ricordare anche l’importante contributo di Ch. alla semantica logica, sviluppo originale dellateoria di Frege sul senso e la denotazione delle espressioni linguistiche (A formulation of the logic of sense and denotation, 1951). ...
Leggi Tutto