logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] realizza A – dà una costruzione d′ che realizza B o di ∀xA in termini di una costruzione che per ogni a dell’universo del discorso fornisce una costruzione che realizza A(a). Se – come proposto da Luifren Brouwer – interpretiamo ←A come A→⊥, dove ⊥ è ...
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 [...] 'inizio del mondo erano basate su considerazioni relative all'infinito. L'opinione prevalente nel Medioevo era che Dio e l'Universo fossero eterni, ma in modo diverso. Dio era eterno in senso atemporale, mentre il mondo era eterno in senso temporale ...
Leggi Tutto
irreversibilita
irreversibilità [Comp. di in- neg. e reversibilità "proprietà di ciò che non è reversibile"] [MCS] Impossibilità che un sistema a molte particelle percorra a ritroso la sua evoluzione. [...] stimò tale tempo e trovò che il suo ordine di grandezza doveva essere di gran lunga più grande dell'età dell'Universo già per sistemi con qualche decina di particelle. ◆ [FTC] [TRM] Fattore di i.: v. refrigerazione: IV 771 b. ◆ [TRM] Grado di ...
Leggi Tutto
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] . Si parla di "t. f. in senso ampio" quando si associa al sistema formale T la sua interpretazione in un universo, quando cioè si aggiungono considerazioni semantiche a quelle sintattiche.
Ordinariamente nella costruzione di una t. f. T (anche se ...
Leggi Tutto
Planck Max
Planck 〈plank〉 Max [STF] (Kiel 1858 - Gottinga 1947) Prof. di fisica teorica nell'univ. di Kiel (1885), poi nell'univ. di Berlino (1889); socio straniero dei Lincei (1914); ebbe il premio [...] 78 e. ◆ [ASF] Epoca di P.: nel quadro della teoria cosmologica del big bang, periodo di tempo compreso tra t=0 (nascita dell'Universo) e tp= 5.39 10-44 s (tempo di P.), quest'ultimo pari al tempo impiegato per percorrere la lunghezza di P. (v. oltre ...
Leggi Tutto
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 [...] casualità è poi alla base della metafisica di C.S. Peirce, il quale pone il c. come un carattere stabile dell’universo che ne spiega la varietà e diversità. Al fondamentale uso della nozione di c. fatto dall’evoluzionismo darwiniano si riallaccia J ...
Leggi Tutto
Introduzione. - La teoria delle c. è di recente costruzione, ma, per la sua stessa natura, è oggi già penetrata diffusamente nella matematica. Essa rappresenta, nel pensiero matematico, un momento di sintesi, [...] nell'assumere la teoria degl'insiemi con gli assiomi di Zermelo-Fraenkel, e postulare inoltre l'esistenza di un universo U definito come un insieme (di insiemi) soggetto a certe condizioni di chiusura rispetto alle usuali operazioni della teoria ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] equivalenze fuzzy. In questa rappresentazione, gli insiemi fuzzy appaiono come coppie (X′,X″) di normali sottoinsiemi di un certo universo con una sorta di distanza (che proviene dalle equivalenze fuzzy), e si opera su di essi in modo tradizionale ...
Leggi Tutto
linea
lìnea [Lat. linea, da linum "filo di lino"] [LSF] Ente geometrico che si estende nel senso della lunghezza e, estensiv., denomin. di corpi o dispositivi nei quali la lunghezza prevale sulle altre [...] e il verso del vettore del campo: v. campi, teoria classica dei: I 472 f. ◆ [RGR] L. del mondo: lo stesso che l. d'universo (v. oltre). ◆ [MCF] L. di corrente: le linee del campo di velocità di una corrente fluida. ◆ [ALG] L. di curvatura: v. curve e ...
Leggi Tutto
Frattali
Luciano Pietronero
La geometria frattale permette di caratterizzare le strutture che godono della proprietà di invarianza di scala. Il termine frattale (dal latino fractus, rotto o frammentato) [...] e in questo senso sono molte le affinità con la teoria del caos deterministico.
La struttura frattale dell'Universo a grande scala
Un esempio particolarmente rilevante dell'applicazione di questi concetti è fornita dalle strutture osservate nell ...
Leggi Tutto
universo1
univèrso1 agg. [dal lat. universus «tutto intero», comp. di unus «uno» e versus, part. pass. di vertĕre «volgere»; propr. «volto tutt’intero nella stessa direzione»], ant. – Tutto quanto, tutto intero: quel Salmo che comincia: «Segnore...
universo2
univèrso2 s. m. [dal lat. universum, neutro sostantivato dell’agg. universus: v. universo1]. – 1. L’ambiente in cui hanno sede tutti i corpi materiali esistenti e tutti i fenomeni naturali; anche, l’insieme dei corpi stessi: gli...