Look, I was merely trying to give the author more information by verifying your observation. Your remark to me seems reasonable only if the author can see how many upvotes/downvotes a certain comment has. I don't know if he can.
I think they meant it's inconsistent with the 'memory value recorded vs memory address value' distinction in a Turing machine (as in, it's not consistent with its physical instantiation: "the real world"), not inconsistent with axioms of formal logic. I'm getting confused because I think these are two or more different research camps (computability, philosophy, logic, etc) and I don't know how much jargon is shared.
http://norvig.com/ipython/README.html "
https://news.ycombinator.com/item?id=12470109