It definitely seems worth knowing about and understanding, but stuff like needing to specify a universal turing machine does still give me pause. It doesn’t make it uninsightful, but I do still think there is more work to do to really understand induction.
It definitely seems worth knowing about and understanding, but stuff like needing to specify a universal turing machine does still give me pause. It doesn’t make it uninsightful, but I do still think there is more work to do to really understand induction.