Referansejakt

Wikipedia-utdraget nedenfor støttes ikke av noen pålitelig kilde. Kan du finne en?

Klikk på Den fikser jeg! for å gå til Wikipedia og fikse utdraget, eller på Neste for å se et annet. Se Wikipedia:Bruk av kilder om du lurer på noe. Lykke til!

På siden «Lambdakalkyle»:

Denne teksten er del av artikkelens ingress der referanser ikke alltid kreves. Se Wikipedia:Bruk_av_kilder for mer informasjon.

"

Lambdakalkulus eller lambdakalkylen[trenger referanse] (også kjent som λ {\displaystyle \lambda } -kalkylen) er et formelt system innenfor informatikk, logikk og matematikk utviklet av Alonzo Church i 1930-årene. Formålet var å undersøke fundamentet for matematikk, men Stephen Kleene og J.B. Rosser viste i 1935 at systemet er, logisk sett, inkonsistent. I 1940 presenterte Alonzo Church et typesystem for lambdakalkylen som gir opphav til et konsistent system, men som begrenser beregnbarhetsstryket betraktelig.