Uitdrukking (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k De interwikilinks zijn automatisch verplaatst naar Wikidata onder d:q6498784. |
Label: Misbruikfilter: Experimenteren |
||
Regel 76:
== Lambdacalculus ==
Uitdrukkingen en hun [[evaluatie]] zijn in de jaren dertig van de twintigste eeuw door [[Alonzo Church]] en [[Stephen Kleene]] [[Formeel systeem|geformaliseerd]] in hun [[lambdacalculus]]. Deze lambdacalculus is de laatste tachtig jaar van grote invloed geweest op de ontwikkeling van de moderne wiskunde en [[computertaal|computertalen]]. Eén van de interessantste resultaten is de ontdekking dat de equivalentie van twee uitdrukkingen in de lambdacalculus in sommige gevallen [[beslissingsprobleem|
..
. . .... . . . . . ..
. . . . . . . . .
. . . .... ..... . . ..
. . . . . . . ..
. . .... . . . . . ..
==Zie ook==
|