Leonid Levin
personne
mathématicien russe
Leonid Anatolievich Levin (russe : Леонид Анатольевич Левин, né le 2 novembre 1948 à Dnipropetrovsk, RSS d'Ukraine) est un informaticien et logicien russo-ukraino-américain. Il est connu notamment pour avoir découvert la notion de NP-complétude en même temps que Stephen Cook et pour des résultats renforçant les théorèmes d'incomplétude de Gödel.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Leonid_Levin
Lien Wikidata : https://www.wikidata.org/wiki/Q92966
Propriétés
- date_naissance
- +1948-11-0
- genre_personne
- masculin
- lieu_naissance
- {"qid": "Q48256", "label": "Dnipro"}
- nationalite
- Union soviétique
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, informaticien ou informaticienne