Provability, Complexity, Grammars (AMS Translations - Series 2) (American Mathematical Society Translations) - Hardcover

Beklemishev, Lev Dmitrievich; Pentus, Mati Reinovich; Vereshchagin, Nikolai Konstantinovich

 
9780821810781: Provability, Complexity, Grammars (AMS Translations - Series 2) (American Mathematical Society Translations)

Synopsis

The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory.

"synopsis" may belong to another edition of this title.

Synopsis

The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory.

"About this title" may belong to another edition of this title.