Editing Ambiguity (section)

== Mathematical interpretation of ambiguity ==
[[File:Necker cube and impossible cube.svg|The [[Necker cube]] and [[impossible cube]], an underdetermined and overdetermined object, respectively.|thumb]]
In mathematics and logic, ambiguity can be considered to be an instance of the logical concept of [[underdetermination]]—for example, <math>X=Y</math> leaves open what the value of <math>X</math> is—while overdetermination, except when like <math>X=1, X=1, X=1</math>, is a [[Self-refuting idea|self-contradiction]], also called [[inconsistency]], [[paradoxicalness]], or [[oxymoron]], or in mathematics an [[inconsistent system]]—such as {{nowrap|<math>X=2, X=3</math>,}} which has no solution.

Logical ambiguity and self-contradiction is analogous to visual ambiguity and [[impossible object]]s, such as the Necker cube and impossible cube, or many of the drawings of [[M. C. Escher]].<ref>{{cite journal|last=Goldstein|first=Laurence|year=1996|title=Reflexivity, Contradiction, Paradox and M. C. Escher|journal=[[Leonardo (journal)|Leonardo]]|volume=29|issue=4|pages=299–308|doi=10.2307/1576313|jstor=1576313|s2cid=191403643}}</ref>