Uitdrukking (wiskunde): verschil tussen versies

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|onbeonbeslisbaar]] is. Dit geldt voor enige uitdrukking in enig systeem dat een kracht heeft die vergelijkbaar is met de lambdacalculus.