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 research to advance knowledge in an area of the natural sciences. In classical antiquity, there was no real ancient analog of a modern scientist. Instead, philosophers engaged in the philosop ...

in the area of

mathematical logic Mathematical logic is the study of 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 forma ...

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 ) , image_name = Carolinum_Logo.svg , image_size = 200px , established = , type = Public, Ancient , budget = 8.9 billion CZK , rector = Milena Králíčková , faculty = 4,057 , administrative_staff = 4,026 , students = 51,438 , under ...

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 universities in the Czech Republic with 8 faculties, and is one of the oldest institutes of technology in Central Europe. It ...

Academics

Petr Hájek studied at the Faculty of Mathematics and Physics of the

. 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 concern ...

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 prem ...

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 ...

. 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 completel ...

. 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 conce ...

(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öde ...

. 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 of ...

, 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 ...

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 govern ...

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 ho ...

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. Opava is one of the historical centres of Silesia. It was a historical capital of ...

Papers

* * * *

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

Academics

Awards

Papers

See also

References

External links