Klimenta w Pradze.
Działalność naukowa Hájek zajmował się logiką matematyczną i jej zastosowaniami, przede wszystkim teorią mnogości, arytmetyką, logiką rozmytą, analizą danych oraz przetwarzaniem informacji niepewnej. Jest uznawany za jednego z głównych twórców matematycznych podstaw logiki rozmytej.
Był autorem lub współautorem licznych monografii i kilkuset prac naukowych. Do jego najważniejszych książek należą The Theory of Semisets, Mechanizing Hypothesis Formation, Metamathematics of First-Order Arithmetic oraz Metamathematics of Fuzzy Logic.
Działalność organizacyjna i wyróżnienia Był członkiem Association for Symbolic Logic, dwukrotnie zasiadał w jej radzie, a w latach 1999–2003 był prezesem Kurt Gödel Society. Należał także do Uczonego Towarzystwa Republiki Czeskiej od 1996 roku.
Za działalność naukową otrzymał między innymi medal Akademii Nauk Republiki Czeskiej De scientia et humanitate optime meritis oraz Medal Za Zasługi prezydenta Republiki Czeskiej w 2006 roku.
Wybrane publikacje The Theory of Semisets (z Petrem Vopěnką). Mechanizing Hypothesis Formation (z Tomášem Havránkiem). Metamathematics of First-Order Arithmetic (z Pavlem Pudlákiem). Metamathematics of Fuzzy Logic.
Przypisy
Kategoria:Czescy matematycy XX wieku Kategoria:Logicy matematyczni Kategoria:Absolwenci Uniwersytetu Karola Kategoria:Ludzie urodzeni w Pradze Kategoria:Urodzeni w 1940 Kategoria:Zmarli w 2016