Seinosuke Toda (戸 田 誠 之 助, Toda Seinosuke , nacido el 15 de enero de 1959) es un científico informático que trabaja en la Universidad Nihon de Tokio . [1] Toda obtuvo su Ph.D. del Instituto de Tecnología de Tokio en 1992, bajo la supervisión de Kojiro Kobayashi. [2] Recibió el Premio Gödel 1998 por demostrar el teorema de Toda en la teoría de la complejidad computacional , que establece que cada problema en la jerarquía polinomial tiene una reducción de Turing en tiempo polinomial a un problema de conteo .[3]
Notas
- ^ S. Toda Archivado el 18 de agosto de 2007 en la Wayback Machine de la Universidad de Nihon.
- ^ Seinosuke Toda en el Proyecto de genealogía matemática
- ^ "Premio Gödel 1998" . www.sigact.org . Consultado el 5 de diciembre de 2010 .