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»:
"Lambdakalkulus eller lambdakalkylen[trenger referanse] (også kjent som -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.
You can customize Referansejakt by providing a list of articles. This gives you a link that you can share with others so they browse Referansejakt limited to the articles you provided.
Hvor ønsker du å importere artikler fra?
Use the search box below to find and add articles to your custom Referansejakt. You can remove an article by clicking it in the preview below.
Please enter Wikipedia article titles to import, one per line, in the area below:
PetScan is a tool for querying Wikipedia and defining lists of articles. PetScan assigns IDs to queries so their results can be imported into other tools.
Please create your query in PetScan and paste its ID below:
Pagepile is a tool for defining lists of Wikipedia articles. Pagepile assigns IDs to lists so their results can be imported into other tools.
Please create your list in Pagepile and paste its ID below:
Please wait, your custom Referansejakt is being computed. This may take a few minutes…
You can press Tilbake or close this dialog to cancel.
Your custom Referansejakt has been created!
You can copy and share the link above to allow other people to use it, or start browsing it now!
Sorry, your custom Referansejakt failed to be created or came up empty!
Forsøk igjen og husk følgende tips: