That's not a computable function. Function equality (x==K) is undecidable. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		subleq 5 months ago \| parent \| context \| favorite \| on: Programming with Less Than Nothing That's not a computable function. Function equality (x==K) is undecidable.

Jtsummers 5 months ago | [–]

And that's covered in the last chapter of To Mock a Mockingbird (this submission prompted me to pull it off the shelf this morning).

solomonb 5 months ago | [–]

Just postulate function extensionality and move on with life. :D

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact