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 [...] delle funzioni. Church se ne servì per dare una risposta negativa (1936) al cosiddetto Entscheidungsproblem posto da D. Hilbert nel 1928: esiste una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] moderna la differenziazione tra assiomi e p. è venuta meno a partire dalla fine del 19° sec., specialmente per opera di G. Frege, G. Peano, B. Russell e D. Hilbert. Oggi per assioma o p. si intende un enunciato primitivo di una teoria (➔ assioma). ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è ...
Leggi Tutto
hilbertiano
〈i-〉 agg. – Relativo al matematico ted. D. Hilbert (1862-1943). In partic., spazio h., spazio vettoriale completo (in cui cioè qualsiasi successione convergente di punti converga a un punto dello spazio stesso) nel quale sia definito...
risolubilita
risolubilità s. f. [der. di risolubile]. – Il fatto di essere risolubile, la condizione di ciò che può essere risolto: r. di un dubbio, di un problema, di un enigma; r. di un contratto, in diritto privato; r. di un problema geometrico...