Algorithmic unsolvability in geometry, AMS meeting, Ames, Iowa (invited). Conference Paper uri icon