Tupper自我指涉公式：图象里竟然包含式子本身

乌木

1楼说“在0 <= x <= 105，n <= y <= n + 16的范围内，这个不等式对应的图象……”
我老眼昏花可能看错，好像那图像的大小为：
X：110－2－2＝106，不是105吧？
y：20－1－2＝17，不是16 吧？
此外，在X－Y平面的其他地方，这图像还会出现吗？

乌木

谢谢。原来如此。
这类问题要留心，比如说一个这类图像的宽度范围为x＝0，那么，并非只剩一条几何上的线了，而是一条宽度为一个单元格的纵向“带”。如果误解为一条几何线的话，该图形的y范围值再怎么大，面积就总是零了。
对吗？