Advertisement

A Proof We All Missed

  • Richard J. Lipton
Chapter

Abstract

Neil Immerman and Robert Szelepcsényi are two computer scientists who are famous for solving a long standing open problem [69, 126]. What is interesting is that they solved the problem at the same time, in 1987, and with essentially the same method. Independently. Theory is like that sometimes.

Keywords

Conventional Wisdom Regular Language Weak Generator Homework Problem Nondeterministic Turing Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  1. 1.Georgia Institute of TechnologyCollege of Computing School of Computer ScienceAtlantaUSA

Personalised recommendations