最終更新日:2022/12/24
This implies that it is impossible in the untyped lambda calculus to do Gödelisation, i.e. to write a function that can convert a term to a representation of (the normal form of) that term...
編集履歴(0)
This implies that it is impossible in the untyped lambda calculus to do Gödelisation, i.e. to write a function that can convert a term to a representation of (the normal form of) that term...