Uitdrukking (wiskunde): verschil tussen versies

== LabdacalculusLambdacalculus ==

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|labdacalculus]]. Deze labdacalculuslambdacalculus 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 labdacalculuslambdacalculus in sommige gevallen [[beslissingsprobleem|onbeslisbaar]] is. Dit geldt voor enige uitdrukking in enig systeem dat een kracht heeft die vergelijkbaar is met de labdacalculuslambdacalculus.