Seinosuke Toda
Encyclopedia
is a computer scientist working at the Nihon University
in Tokyo
. He was a recipient of the 1998 Gödel Prize
for proving Toda's theorem
.
Nihon University
Nihon University is the largest university in Japan. Akiyoshi Yamada, the minister of justice, founded Nihon Law School in October 1889....
in Tokyo
Tokyo
, ; officially , is one of the 47 prefectures of Japan. Tokyo is the capital of Japan, the center of the Greater Tokyo Area, and the largest metropolitan area of Japan. It is the seat of the Japanese government and the Imperial Palace, and the home of the Japanese Imperial Family...
. He was a recipient of the 1998 Gödel Prize
Gödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
for proving Toda's theorem
Toda's theorem
Toda's theorem was proven by Seinosuke Toda in his paper "PP is as Hard as the Polynomial-Time Hierarchy" and was given the 1998 Gödel Prize. The theorem states that the entire polynomial hierarchy PH is contained in PPP; this implies a closely related statement, that PH is contained in P#P...
.
External links
- S. Toda at the Nihon University.