SANSONE, Mario (App. III, iii, p. 663)
Roberto Deidier
Critico e storico della letteratura italiana, morto a Roma il 2 gennaio 1996. La sua attività di studioso è rimasta fedele all'iniziale impostazione [...] Grana, 5° vol., Milano 1969, pp. 3547-66; R. Luperini, Il Novecento. Apparati ideologici, ceto intellettuale, sistemiformali, letteratura contemporanea, Torino 1981; N. Sapegno, Linee della critica novecentesca, in Storia della letteratura italiana ...
Leggi Tutto
PARLAMENTO
Piero Calandra
Carlo Ghisalberti
(XXVI, p. 368; App. III, II, p. 366; IV, II, p. 737; v. anche camera, App. II, II, p. 488; senato, App. II, II, p. 806)
Il Parlamento in una democrazia repubblicana. [...] sé, l'esecutivo a dimettersi.
La teoria dell'''onnipotenza'' della legge ha trovato quindi numerosi limiti formali e sostanziali nel nuovo sistema: questo ha reso vano cercare criteri di sovraordinazione e sottordinazione e si è adottata una visione ...
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 [...] , sono state proposte adeguate metodologie per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistemaformale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi ...
Leggi Tutto
Età
Jean S. La Fontaine
Introduzione
Il ciclo di vita
Il processo di crescita e invecchiamento è un fenomeno universale. Uno dei dati biologici fondamentali, comune a tutte le società, è che la vita [...] di vita - si fonda su un'incomprensione di fondo delle differenze tra gradi d'età, generazioni in senso genealogico e sistemiformali di classi d'età. Sociologi e demografi preferiscono ora impiegare il termine 'coorte' o l'espressione 'fascia d'età ...
Leggi Tutto
Architettura e attualità del moderno
Franco Purini
Nel passaggio tra la fine del 20° e l’inizio del 21° sec. l’architettura ha subito un’improvvisa accelerazione dei suoi processi vitali. Questa accelerazione, [...] di una coincidenza organica tra intenzioni generali e risultato finale; la composizione interrotta è respinta a favore di sistemiformali chiusi e definiti; inoltre la forma viene identificata non con il suo processo generativo, ma con sé stessa ...
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 [...] i teoremi di Gödel comportano è l’esistenza di un’inesauribile molteplicità di modelli (nel senso della teoria dei modelli dei sistemiformali assiomatici) che la teoria degli insiemi assiomatica è in grado di fornire e con cui, proprio in virtù dei ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] evidente contrasto con la logica classica e sono state ampiamente indagate e definite per tutti i comuni sistemiformali intuizionisti. La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] svolta di fine Ottocento
Le premesse della ricostruzione della logica nella veste contemporanea di sintassi e semantica dei sistemiformali si individuano da un lato nell’algebrizzazione della logica culminata nell’opera di G. Boole, dall’altro nell ...
Leggi Tutto
MONTANO, Giovanni Battista
. –
Laura Marcucci
Nacque a Milano intorno al 1534. Lo si deduce da F. Villamena che, in un'incisione posta intorno al ritratto del M., lo dichiara alla data della sua morte [...] indirizzare le ulteriori ricerche sulla sua attività, esasperatamente tesa al conseguimento di logiche geometriche attraverso variabili sistemiformali.
Negli anni della progettazione della chiesa dei Falegnami, il M., con il figlio Leone, eseguì la ...
Leggi Tutto
LE COURT, Juste (Giusto)
Francesco Sorce
Nacque nel 1627 a Ypres nelle Fiandre (ora Belgio), dove fu battezzato il 27 agosto nella chiesa di St-Martin. Il padre, Jean, era scultore e con lui dovette [...] Du Quesnoy, il Fiammingo, in S. Maria di Loreto a Roma, testimoniando del precoce interesse del L. per i sistemiformali del classicismo di matrice romana, mediati probabilmente anche dalla conoscenza dell'arte di P.P. Rubens.
Tale tratto stilistico ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...