Login / Signup

What should we do having proved a decision problem to be unsolvable?

Yuri Matijasevic
Published in: Algorithms in Modern Mathematics and Computer Science (1979)
Keyphrases