It would seem superficially this is correct A=A, necessarily and infallibly true but it is false for non-trivial A and where the EQUAL SIGN means equal in essence, not just equal in description. This is a consequence of the dictionary … Continue reading Dictionary halting problem makes A=A fallible