Petr Hájek (; 6 February 1940 – 26 December 2016) was a
Czech
Czech may refer to:
* Anything from or related to the Czech Republic, a country in Europe
** Czech language
** Czechs, the people of the area
** Czech culture
** Czech cuisine
* One of three mythical brothers, Lech, Czech, and Rus'
Places
* Czech, ...
scientist
A scientist is a person who conducts Scientific method, scientific research to advance knowledge in an Branches of science, area of the natural sciences.
In classical antiquity, there was no real ancient analog of a modern scientist. Instead, ...
in the area of
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
and a professor of
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
. Born in
Prague
Prague ( ; cs, Praha ; german: Prag, ; la, Praga) is the capital and largest city in the Czech Republic, and the historical capital of Bohemia. On the Vltava river, Prague is home to about 1.3 million people. The city has a temperate ...
, he worked at the Institute of
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
at the
Academy of Sciences of the Czech Republic
The Czech Academy of Sciences (abbr. CAS, cs, Akademie věd České republiky, abbr. AV ČR) was established in 1992 by the Czech National Council as the Czech successor of the former Czechoslovak Academy of Sciences and its tradition goes back ...
and as a lecturer at the Faculty of Mathematics and Physics at the
Charles University in Prague
Charles University ( cs, Univerzita Karlova, UK; la, Universitas Carolina; german: Karls-Universität), also known as Charles University in Prague or historically as the University of Prague ( la, Universitas Pragensis, links=no), is the oldest an ...
and at the Faculty of Nuclear Sciences and Physical Engineering of the
Czech Technical University in Prague
Czech Technical University in Prague (CTU, cs, České vysoké učení technické v Praze, ČVUT) is one of the largest university, universities in the Czech Republic with 8 faculties, and is one of the oldest institutes of technology in Centra ...
.
Academics
Petr Hájek studied at the Faculty of Mathematics and Physics of the
Charles University in Prague
Charles University ( cs, Univerzita Karlova, UK; la, Universitas Carolina; german: Karls-Universität), also known as Charles University in Prague or historically as the University of Prague ( la, Universitas Pragensis, links=no), is the oldest an ...
.
Influenced by
Petr Vopěnka
Petr Vopěnka (16 May 1935 – 20 March 2015) was a Czech mathematician. In the early seventies, he developed alternative set theory (i.e. alternative to the classical Cantor theory), which he subsequently developed in a series of articles and m ...
, he specialized in
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
and
arithmetic
Arithmetic () is an elementary part of mathematics that consists of the study of the properties of the traditional operations on numbers— addition, subtraction, multiplication, division, exponentiation, and extraction of roots. In the 19th ...
, and later also in
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
and
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech re ...
.
He contributed to establishing the mathematical fundamentals of
fuzzy logic
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely ...
.
[ Following the ]Velvet Revolution
The Velvet Revolution ( cs, Sametová revoluce) or Gentle Revolution ( sk, Nežná revolúcia) was a non-violent transition of power in what was then Czechoslovakia, occurring from 17 November to 28 November 1989. Popular demonstrations agains ...
, he was appointed a senior lecturer
Senior lecturer is an academic rank. In the United Kingdom, Ireland, New Zealand, Australia, Switzerland, and Israel senior lecturer is a faculty position at a university or similar institution. The position is tenured (in systems with this concep ...
(1993) and a professor (1997).[ From 1992 to 2000 he held the position of chairman of the Institute of Computer Science at the Academy of Sciences of the Czech Republic.][ From 1996 to 2003 he was also president of the ]Kurt Gödel Society The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, ...
.
Later, he graduated from the Academy of Performing Arts in Prague
The Academy of Performing Arts in Prague ( cs, Akademie múzických umění v Praze, AMU) is a university in the centre of Prague, Czech Republic, specialising in the study of music, dance, drama, film, television and multi-media. It is the larg ...
, where he studied the pipe organ
The pipe organ is a musical instrument that produces sound by driving pressurized air (called ''wind'') through the organ pipes selected from a keyboard. Because each pipe produces a single pitch, the pipes are provided in sets called ''ranks ...
under Jiří Reinberger to become an organ player in a church.
Awards
* 2002, Medal of the Minister of Education of the Czech Republic[
* 2006, ]Medal of Merit Several countries award a military or civil medal called Medal of Merit:
* Medal of Merit (Czech Republic)
* Medal of Merit (Denmark)
* Medal of Merit of the Dominican Woman
* Medal of Merit of the National People's Army (East Germany)
* Medal o ...
, third grade, in the area of sciences
Science is a systematic endeavor that builds and organizes knowledge in the form of testable explanations and predictions about the universe.
Science may be as old as the human species, and some of the earliest archeological evidence for ...
by President of the Czech Republic
The president of the Czech Republic is the head of state of the Czech Republic and the commander-in-chief of the Armed Forces of the Czech Republic.
The president mostly has ceremonial powers as the day-to-day business of the executive governm ...
Václav Klaus
Václav Klaus (; born 19 June 1941) is a Czech economist and politician who served as the second president of the Czech Republic from 2003 to 2013. From July 1992 until the dissolution of Czechoslovakia in January 1993, he served as the secon ...
[
* 2008, ]doctor honoris causa
An honorary degree is an academic degree for which a university (or other degree-awarding institution) has waived all of the usual requirements. It is also known by the Latin phrases ''honoris causa'' ("for the sake of the honour") or ''ad hon ...
from Silesian University in Opava
Opava (; german: Troppau, pl, Opawa) is a city in the Moravian-Silesian Region of the Czech Republic. It has about 55,000 inhabitants. It lies on the river Opava (river), Opava. Opava is one of the historical centres of Silesia. It was a histori ...
Papers
*
*
*
*
See also
* Semiset
{{distinguish, Semialgebraic set
In set theory, a semiset is a proper class that is a subclass of a set.
The theory of semisets was proposed and developed by Czech mathematicians Petr Vopěnka and Petr Hájek (1972). It is based on a modification ...
References
External links
Petr Hájek's former webpage
Databases of the National Library of the Czech Republic
{{DEFAULTSORT:Hajek, Petr
1940 births
2016 deaths
Charles University alumni
Czech scientists
Mathematicians from Prague
Set theorists
Recipients of Medal of Merit (Czech Republic)
Academic staff of Czech Technical University in Prague
Scientists from Prague