Tracing unsolvability : a mathematical, historical and philosophical analysis with a special focus on tag systems