Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] a 2,17K per l’He4), un andamento che ricorda la forma della lettera l.
Matematica
L. calcolo (o λ-calcolo) Sistemaformale sviluppato negli anni 1930 da A. Church, con il contributo di S.C. Kleene, allo scopo di studiare la computabilità delle ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] può essere fatto in un dato campo di indagine.
Fisica
La d. formale (o relazione di d.) di una grandezza è un’equazione che implicita, quando si costruisce una teoria matematica come sistema ipotetico-deduttivo, rappresenta lo studio di un insieme ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] “appartenere a”, “essere vicino a”, “situato fra”, ecc., “angoli uguali”, “segmenti disuguali”, ecc,), costituiscono il sistemaformale mediante il quale H., nel suo trattato Grundlagen der Geometrie (“Fondamenti della geometria”, 1899) riformulò la ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] organico di enunciati nel quale si può, in generale, cominciare con alcuni o con altri enunciati. (b) In un sistemaformale, l'ultima formula di una dimostrazione (detta anche enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule ...
Leggi Tutto
assioma
assiòma [Der. del lat. axíoma -atis, dal gr. axíoma -atos, da áxios "degno"] [ALG] [FAF] Principio certo per immediata evidenza e costituente la base per l'ulteriore ricerca. Nella matematica, [...] sinon. di postulato, da cui tuttavia si distingue, spec. nella logica matematica, quando gli a. di un sistemaformale indicano le proprietà che costituiscono una definizione implicita degli enti e delle relazioni cui si riferiscono, a prescindere ...
Leggi Tutto
estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] occupata da un determinato ente e anche la relativa misura. ◆ [FAF] (a) Di un termine, un concetto, un predicato, un sistemaformale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti gli oggetti ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistemaformale, T; ciò fatto, si consideri un'espressione qualsiasi A di T; essa è costituita da una certa successione di segni di ...
Leggi Tutto
realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti gli enunciati dimostrabili del sistemaformale risultino asserzioni vere nella struttura: se una r. di questo genere esiste si dice anche che il ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] d.; scienze d., quelle (per es., la matematica) che si basano sul metodo analitico e sulla deduzione; sistema d., ogni sistemaformale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé ...
Leggi Tutto
dimostrabile
dimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistemaformale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
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,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...