Lambda calcolo
sistema formale definito nel 1936 dal matematico Alonzo Church / Da Wikipedia, l'enciclopedia encyclopedia
Caro Wikiwand AI, Facciamo breve rispondendo semplicemente a queste domande chiave:
Puoi elencare i principali fatti e statistiche su Lambda calcolo?
Riassumi questo articolo per un bambino di 10 anni
MOSTRA TUTTE LE DOMANDE
Il lambda calcolo o λ-calcolo è un sistema formale definito nel 1936 dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Le prime sono espresse per mezzo di un linguaggio formale, che stabilisce quali siano le regole per formare un termine, il secondo con un sistema di riscrittura, che definisce come i termini possano essere ridotti e semplificati.
Questa voce o sezione sull'argomento Matematica è priva o carente di note e riferimenti bibliografici puntuali.