2 ms·That's not a computable function. Function equality (x==K) is undecidable.by subleq 11mo agoThat's not a computable function. Function equality (x==K) is undecidable.Jtsummers 11mo agoAnd 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 11mo agoJust postulate function extensionality and move on with life. :D