Advertisement

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

  • Yuri Matijasevič
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Yuri Matijasevič
    • 1
  1. 1.Leningrad Branch Steklov Inst.of MathematicsLeningradUSSR

Personalised recommendations