Petr Hájek: A Scientific Biography
Abstract
Petr Hájek is a renowned Czech logician, whose record in mathematical logic spans half a century. His results leave a permanent imprint in all of his research areas, which can be delimited roughly as set theory, arithmetic, fuzzy logic and reasoning under uncertainty, and information retrieval; some of his results have enjoyed successful applications.