ペトル・ハジェク

ペトル・ハジェク（チェコ語発音：[ ˈpɛtr̩ ˈɦaːjɛk ]、1940年2月6日 - 2016年12月26日）は、数学論理学^{[ 1 ]}の分野におけるチェコの科学者であり、数学の教授であった。プラハ生まれの彼は、チェコ共和国科学アカデミーのコンピュータ科学研究所で働き、プラハのカレル大学の数学物理学部とプラハのチェコ工科大学の原子力科学・物理工学部で講師を務めた。

ペトル・ハジェクはプラハのカレル大学の数学物理学部で学んだ。^{[ 2 ]}ペトル・ヴォペンカの影響を受け、集合論と算術を専門とし、後に論理学と人工知能も専門とした。^{[ 3 ]}彼はファジー論理の数学的基礎の確立に貢献した。^{[ 3 ]}ビロード革命後、上級講師（1993年）および教授（1997年）に任命された。^{[ 2 ]} 1992年から2000年まで、チェコ共和国科学アカデミーのコンピュータ科学研究所の所長を務めた。^{[ 2 ]} 1996年から2003年まで、クルト・ゲーデル協会の会長も務めた。^{[ 4 ]}

その後、彼はプラハ舞台芸術アカデミーを卒業し、そこでイジー・ラインベルガーに師事してパイプオルガンを学び、教会のオルガン奏者となった。^{[ 5 ]}

• 2002年、チェコ共和国教育大臣メダル^{[ 2 ]}
• 2006年、チェコ共和国大統領ヴァーツラフ・クラウスより科学分野における功労勲章3等を授与される^{[ 2 ] [ 6 ]}
• 2008年、オパヴァのシレジア大学から名誉博士号を取得^{[ 2 ] [ 7 ]}

• ハジェク、ペトル。カラシェク、パベル。クルカ、ペトル (1960)。おお、ダイナミックなロジック。プラハ: 学問です。
• ヴォペンカ、ペトル。ペトル・ハジェク (1972)。半集合の理論。トランス。 Jech, T. および Rousseau, G. Praha: 学術。
• ハジェク、ペトル。ハヴラネク、トマーシュ。キティル、メトデイ K. (1983)。Metoda GUHA: 自動化 tvorba hypertéz。プラハ: 学問です。
• ハジェク、ペトル。パベル・プドラーク (1993)。一階算術のメタ数学。ベルリン：シュプリンガー。

• セミセット

• ペトル・ハジェクの以前のウェブページ
• チェコ共和国国立図書館のデータベース（2021年8月17日時点のアーカイブ）