En 1961, Hao Wang notó conexiones entre problemas de geometría (especialmente acerca de las teselaciones) y una cierta clase de problema de decisión.