Metadata
Author: WikiMatrix
Data
English[en]
Church proved that there is no computable function which decides for two given λ-calculus expressions whether they are equivalent or not.
Dutch[nl]
Church bewees dat er geen berekenbare functie bestaat die kan beslissen voor twee gegeven λ-calculus-expressies of ze gelijkwaardig zijn of niet.