HOME

TheInfoList



OR:

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 *Czech (surnam ...
scientist A scientist is a person who Scientific method, researches 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, philosophers engag ...
in the area of
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
and a professor of
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
. Born in
Prague Prague ( ; ) is the capital and List of cities and towns in the Czech Republic, largest city of the Czech Republic and the historical capital of Bohemia. Prague, located on the Vltava River, has a population of about 1.4 million, while its P ...
, he worked at the Institute of
Computer Science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
at the
Academy of Sciences of the Czech Republic The Czech Academy of Sciences (abbr. CAS, , 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 to the Royal Bohemian Society of ...
and as a lecturer at the faculty of mathematics and physics at the
Charles University in Prague Charles University (CUNI; , UK; ; ), or historically as the University of Prague (), is the largest university in the Czech Republic. It is one of the oldest universities in the world in continuous operation, the oldest university north of the ...
and at the Faculty of Nuclear Sciences and Physical Engineering of the
Czech Technical University in Prague Czech Technical University in Prague (CTU) () is one of the largest universities in the Czech Republic with 8 faculties, and is one of the oldest institutes of technology in Central Europe. It is also the oldest non-military technical universi ...
.


Academics

Petr Hájek studied at the faculty of mathematics and physics of the
Charles University in Prague Charles University (CUNI; , UK; ; ), or historically as the University of Prague (), is the largest university in the Czech Republic. It is one of the oldest universities in the world in continuous operation, the oldest university north of the ...
. Influenced by
Petr Vopěnka Petr Vopěnka (16 May 1935 – 20 March 2015) was a Czech people, 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 ...
, he specialized in
set theory Set theory is the branch of mathematical logic that studies Set (mathematics), 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 mathema ...
and
arithmetic Arithmetic is an elementary branch of mathematics that deals with numerical operations like addition, subtraction, multiplication, and division. In a wider sense, it also includes exponentiation, extraction of roots, and taking logarithms. ...
, and later also in
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
and
artificial intelligence Artificial intelligence (AI) is the capability of computer, computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of 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 () or Gentle Revolution () was a non-violent transition of power in what was then Czechoslovakia, occurring from 17 November to 28 November 1989. Popular demonstrations against the one-party government of the Communist Pa ...
, he was appointed a senior lecturer (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. Later, he graduated from the Academy of Performing Arts in Prague, where he studied the
pipe organ The pipe organ is a musical instrument that produces sound by driving pressurised air (called ''wind'') through the organ pipes selected from a Musical keyboard, keyboard. Because each pipe produces a single tone and pitch, the pipes are provide ...
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, third grade, in the area of
sciences Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which stu ...
by
President of the Czech Republic The president of the Czech Republic, constitutionally defined as the President of the Republic (), is the head of state of the Czech Republic and the commander-in-chief of the Armed Forces of the Czech Republic. The presidency has largely bee ...
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 second ...
* 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 hono ...
from Silesian University in
Opava Opava (; , ) is a city in the Moravian-Silesian Region of the Czech Republic. It has about 55,000 inhabitants. It lies on the Opava (river), Opava River. Opava is one of the historical centres of Silesia and was a historical capital of Czech Sile ...


Papers

* * * *


See also

*
Semiset In set theory, a semiset is a proper class that is a subclass of a set. In the typical foundations of Zermelo–Fraenkel set theory, semisets are impossible due to the axiom schema of specification. The theory of semisets was proposed and devel ...


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 20th-century 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 Academy of Performing Arts in Prague alumni