Diritto
Si chiama c. fortuito qualunque accadimento che renda inevitabile il verificarsi di un evento, costituendo l’unica causa efficiente di esso. Non ha valore concreto la distinzione tra c. fortuito [...] dalla sorpresa di rinvenire un ordine meccanico dove ci si attendeva un ordine finalistico (e viceversa).
La teoria in lingue flessive o agglutinanti, per esprimere un determinato rapporto sintattico: per es., in latino il c. genitivo esprime, di ...
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 [...] costruzione di sistemi formali, nonché nell'analisi delle loro proprietà sintattiche, con l'ausilio di mezzi finitistici", a quella - aventi per base i primi n numeri primi in ordine di grandezza e per esponenti ordinatamente gli n numeri della ...
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 [...] un costo O(f(n)); Ω(f(n)), se ogni algoritmo comporta almeno un costo dell'ordine di f(n); Θ(f(n)), se essa è sia O(f(n)) sia Ω( In un approccio molto utilizzato, di tipo essenzialmente sintattico, il modello di calcolo astratto è costituito da tutte ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] anche modello, sarà completa. Robinson formula anche un criterio sintattico per la model-completezza, provando che T è model sono isomorfi. È facile vedere che se TDO, la teoria degli ordini densi, è └0-categorica ma non categorica per ogni k più che ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] alcune parole, che dal punto di vista sintattico avrebbero dovuto essere classificate tra i categoremi, tempo; per Tommaso il concetto di Creazione implicava una priorità nell'ordine delle cose, ma non una priorità cronologica.
Molte altre prove ...
Leggi Tutto
nesso
nèsso s. m. [dal lat. nexus -us (e, nel sign. 3, nexum -i), der. di nectĕre «connettere, intessere»]. – 1. Connessione, legame, relazione: il n. del discorso; idee e ragionamenti senza nesso, senza alcun n. logico; cercare, stabilire...
caso
caṡo s. m. [dal lat. casus -us, propr. «caduta», der. di cadĕre «cadere»; nel sign. 7, il lat. casus è un calco del gr. πτῶσις (che significava anch’esso propr. «caduta»)]. – 1. Avvenimento fortuito, accidentale e imprevisto: è stato...