Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] (X,Y) è definito come la lunghezza in bit del più breve programma per U che calcola la coppia (X,Y), che si esprime in LISP come (X Y). Il contenuto di informazione relativo H(X∣Y) è definito come la lunghezza in bit del più breve programma per U che ...
Leggi Tutto
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 [...] modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono basati sul l. calcolo.
medicina Punto l. Punto antropologico del cranio corrispondente all’incontro della sutura ...
Leggi Tutto