|
Hajnal Andréka
Hajnal Ilona Andréka (also known as Hajnalka Andréka, born November 17, 1947) is a Hungarian mathematician specializing in algebraic logic. She is a research professor emeritus at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences. Education and career Andréka was born on November 17, 1947, in Budapest. She earned a diploma in mathematics in 1971 from Eötvös Loránd University, completed a Ph.D. there in 1975, and earned a candidate's degree in 1978. In 1992, she earned a Dr. rer. nat. degree from the Hungarian Academy of Sciences. She worked in the Hungarian Ministry of Heavy Industries from 1971 to 1977, and has been affiliated with the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences since 1977. Books Andréka's books include: *''Cylindric Set Algebras'' (with Leon Henkin, Donald Monk, Alfred Tarski, and István Németi, Lecture Notes in Mathematics 883, Springer, 1981, ) *''Universal Algebraic Logic: Dedicated t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hungarians
Hungarians, also known as Magyars ( ; hu, magyarok ), are a nation and ethnic group native to Hungary () and historical Hungarian lands who share a common culture, history, ancestry, and language. The Hungarian language belongs to the Uralic language family. There are an estimated 15 million ethnic Hungarians and their descendants worldwide, of whom 9.6 million live in today's Hungary. About 2–3 million Hungarians live in areas that were part of the Kingdom of Hungary before the Treaty of Trianon in 1920 and are now parts of Hungary's seven neighbouring countries, Slovakia, Ukraine, Romania, Serbia, Croatia, Slovenia, and Austria. Significant groups of people with Hungarian ancestry live in various other parts of the world, most of them in the United States, Canada, Germany, France, the United Kingdom, Chile, Brazil, Australia, and Argentina. Hungarians can be divided into several subgroups according to local linguistic and cultural characteristics; subgroups with distinc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Von Neumann Computer Society
The John von Neumann Computer Society ( hu, Neumann János Számítógép-tudományi Társaság) is the central association for Hungarian researchers of Information communication technology and official partner of the International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ... founded in 1968. References External linksOfficial website Professional associations based in Hungary Information technology organizations based in Europe Computer science organizations Organizations established in 1968 {{compu-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
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 with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Women Mathematicians
A woman is an adult female human. Prior to adulthood, a female human is referred to as a girl (a female child or adolescent). The plural ''women'' is sometimes used in certain phrases such as "women's rights" to denote female humans regardless of age. Typically, women inherit a pair of X chromosomes, one from each parent, and are capable of pregnancy and giving birth from puberty until menopause. More generally, sex differentiation of the female fetus is governed by the lack of a present, or functioning, SRY-gene on either one of the respective sex chromosomes. Female anatomy is distinguished from male anatomy by the female reproductive system, which includes the ovaries, fallopian tubes, uterus, vagina, and vulva. A fully developed woman generally has a wider pelvis, broader hips, and larger breasts than an adult man. Women have significantly less facial and other body hair, have a higher body fat composition, and are on average shorter and less muscular than men. Througho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Hungarian Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius (AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman emperor, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfréd Rényi Prize
The Alfréd Rényi Prize is awarded biennially by the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Science The Hungarian Academy of Sciences ( hu, Magyar Tudományos Akadémia, MTA) is the most important and prestigious learned society of Hungary. Its seat is at the bank of the Danube in Budapest, between Széchenyi rakpart and Akadémia utca. Its ma ... in honor of founder Alfréd Rényi. By the current rules it is given to one or two fellows of the Institute in recognition of their outstanding performance in mathematics research of the previous five-year period. Members of the Hungarian Academy of Sciences and the director are not eligible. Laureates See also * List of mathematics awards * List of prizes named after people References {{DEFAULTSORT:Alfred Renyi Prize Awards of the Hungarian Academy of Sciences Awards established in 1972 External Links Official Website ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
László Kalmár
László Kalmár (27 March 1905, Edde – 2 August 1976, Mátraháza) was a Hungarian mathematician and Professor at the University of Szeged. Kalmár is considered the founder of mathematical logic and theoretical computer science in Hungary. Biography Kalmár was of Jewish ancestry. His early life mixed promise and tragedy. His father died when he was young, and his mother died when he was 17, the year he entered the University of Budapest, making him essentially an orphan. Kalmár's brilliance manifested itself while in Budapest schools. At the University of Budapest, his teachers included Kürschák and Fejér. His fellow students included the future logician Rózsa Péter. Kalmár graduated in 1927. He discovered mathematical logic, his chosen field, while visiting Göttingen in 1929. Upon completing his doctorate at Budapest, he took up a position at the University of Szeged. That university was mostly made up of staff from the former University of Kolozsvár, a major ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gyula Farkas (natural Scientist)
Gyula Farkas de Kisbarnak or Julius Farkas de Kisbarnak ( Hungarian: ''kisbarnaki Farkas Gyula'') (March 28, 1847 – December 27, 1930) was a Hungarian mathematician and physicist. Biography He was born as member of the Roman Catholic Hungarian noble family Farkas de Kisbarnak, which can trace back their origins to the first half of the 17th century. His father was Farkas Ferenc de Kisbarnak (1820–1882), administrator of the states of Réde, property of the county Esterházys; his mother was Cecília Hoffmann (1826–1907). His paternal grandparents were János Farkas de Kisbarnak (1769–1822), state administrator of Súr (property of the Counts Zichys) and Anna Fiber. His maternal grandparents were István Hoffmann, states cashier and Rozália Vitmáier. His nephew was vitéz Ferenc Farkas de Kisbarnak Chief Scout of the Hungarian Boy Scouts, commanding officer of the Royal Ludovica Military Academy, Captain General of the Order of Vitéz. His other nephew was Gyula Fark ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic . Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator . Calculus of relations A homogeneous binary relation is found in the power set of ''X'' × ''X'' for some set ''X'', while a heterogeneous relation is found in the power set of ''X'' × ''Y'', where ''X'' ≠ ''Y''. Whether a g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Women Mathematicians")
