LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] λy·P)=λz·[N/x] [z/y] P se y≠x e y ∉ VL(N) e x ∉ VL(P) e z è la prima variabile ∉ VL(NP). La clausola (f) di questa definizione fa sì che il significato intuitivo di [N/x] (λy ·P) non dipenda dalla scelta della variabile vincolata y.
Se P è un termine ...
Leggi Tutto
Diritto
Diritto civile
Avvenimento futuro e incerto, dall’avveramento del quale viene fatta dipendere l’efficacia del negozio giuridico ovvero la risoluzione del rapporto con questo costituito. È un elemento [...] apposta o, in genere, non sia valida, il negozio di regola è nullo, salvo che la legge non disponga che la clausola relativa si debba considerare come non apposta (per es., nel testamento).
Si hanno varie specie di c.; in base alla sua funzione ...
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 [...] logici di un enunciato (formule senza variabili libere): a ogni formula A si associa un predicato 'x realizza A', dove x è un numero naturale. Clausole tipiche sono
n realizza t=s se e solo se t=s è vero;
n realizza A→B se e solo se per ogni m che ...
Leggi Tutto
Letteratura
Disciplina che ha per oggetto lo studio della versificazione, fondata su un complesso di norme che variano secondo la natura di ciascuna lingua e le convenzioni che si stabiliscono in rapporto [...] classica, qualunque schema isosillabico (con lo stesso numero di sillabe) ripetuto in forma costante e fortemente scandito in clausola (chiusa ritmica) fu sentito come poetico: da qui la fortuna, in età altomedievale, di una produzione poetica ...
Leggi Tutto
Diritto
Diritto privato
Fenomeno squisitamente giuridico per il quale un soggetto subentra ad altro soggetto in un complesso di rapporti giuridici patrimoniali ovvero in un rapporto giuridico patrimoniale [...] Dopo la morte di Carlo II (1661-1700), re di Spagna, salì al trono – secondo la volontà del defunto re (con la clausola, però, che le corone spagnola e francese restassero separate) – Filippo di Borbone (Filippo V, 1683-1746), nipote di Luigi XIV di ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è spesso il risultato della combinazione di più formule in 2 successive tornate elettorali con una soglia di esclusione (o clausola di sbarramento) fra il primo e il secondo turno che provvede a ridurre drasticamente la competizione di liste e ...
Leggi Tutto
clausola
clàuṡola (ant. clàuṡula) s. f. [dal lat. clausŭla, der. di claudĕre «chiudere»]. – 1. a. Conclusione di uno scritto, di una lettera e sim.; chiusa di un periodo, o di un membro del periodo, spec. con riguardo all’ordine delle parole...