Dirk Van Dalen
Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science. Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis ''Extension problems in intuitionistic plane Projective geometry.'' From 1964 to 1966 Van Dalen taught logic and mathematics at MIT, and later Oxford. From 1967 he was professor at the University of Utrecht. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the Royal Dutch Academy of Sciences for bringing the works of Brouwer to international attention. Works * 1958: (with Yehoshua Bar-Hillel and Azriel Levy) ''Foundations of Set Theory'', North Holland Publishing * 1963: Extension problems in intuitionistic plane projective geometry * 1978: (with H.C. Doets and H. De Swart) ''Sets: Naive, Axiomatic and Applied'', Pergamon Press * 1980: ''Logic and Structure'', ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dirk Van Dalen
Dirk van Dalen (born 20 December 1932, Amsterdam) is a Dutch mathematician and historian of science. Van Dalen studied mathematics and physics and astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he received his Ph.D. in 1963 from the University of Amsterdam for the thesis ''Extension problems in intuitionistic plane Projective geometry.'' From 1964 to 1966 Van Dalen taught logic and mathematics at MIT, and later Oxford. From 1967 he was professor at the University of Utrecht. In 2003 Dirk van Dalen was awarded the Academy Medal 2003 of the Royal Dutch Academy of Sciences for bringing the works of Brouwer to international attention. Works * 1958: (with Yehoshua Bar-Hillel and Azriel Levy) ''Foundations of Set Theory'', North Holland Publishing * 1963: Extension problems in intuitionistic plane projective geometry * 1978: (with H.C. Doets and H. De Swart) ''Sets: Naive, Axiomatic and Applied'', Pergamon Press * 1980: ''Logic and Structure'', ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Heinz-Dieter Ebbinghaus
Heinz-Dieter Ebbinghaus (born 22 February 1939 in Hemer, Province of Westphalia) is a German mathematician and logician. He received his PhD in 1967 at the University of Münster under Hans Hermes and Dieter Rödding. Ebbinghaus has written various books on logic, set theory and model theory, including a seminal work on Ernst Zermelo. His book ''Einführung in die mathematische Logik'', joint work with Jörg Flum and Wolfgang Thomas, first appeared in 1978 and became a standard textbook of mathematical logic in the German-speaking area. It is currently in its sixth edition (). An English edition of ''Mathematical Logic'' was published in the Springer-Verlag Undergraduate Texts in Mathematics Undergraduate Texts in Mathematics (UTM) (ISSN 0172-6056) is a series of undergraduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are small yellow boo ... series in 1984 (), with a second editio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Massachusetts Institute Of Technology School Of Science Faculty
Massachusetts (Massachusett language, Massachusett: ''Muhsachuweesut [Massachusett writing systems, məhswatʃəwiːsət],'' English: , ), officially the Commonwealth of Massachusetts, is the most populous U.S. state, state in the New England region of the Northeastern United States. It borders on the Atlantic Ocean and Gulf of Maine to the east, Connecticut and Rhode Island to the south, New Hampshire and Vermont to the north, and New York (state), New York to the west. The state's capital and List of municipalities in Massachusetts, most populous city, as well as its cultural and financial center, is Boston. Massachusetts is also home to the urban area, urban core of Greater Boston, the largest metropolitan area in New England and a region profoundly influential upon American History of the United States, history, academia, and the Economy of the United States, research economy. Originally dependent on agriculture, fishing, and trade. Massachusetts was transformed into a manuf ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. Truth and proof The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician can ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Historians Of Science
The history of science covers the development of science from ancient times to the present. It encompasses all three major branches of science: natural, social, and formal. Science's earliest roots can be traced to Ancient Egypt and Mesopotamia around 3000 to 1200 BCE. These civilizations' contributions to mathematics, astronomy, and medicine influenced later Greek natural philosophy of classical antiquity, wherein formal attempts were made to provide explanations of events in the physical world based on natural causes. After the fall of the Western Roman Empire, knowledge of Greek conceptions of the world deteriorated in Latin-speaking Western Europe during the early centuries (400 to 1000 CE) of the Middle Ages, but continued to thrive in the Greek-speaking Eastern Roman (or Byzantine) Empire. Aided by translations of Greek texts, the Hellenistic worldview was preserved and absorbed into the Arabic-speaking Muslim world during the Islamic Golden Age. The recovery and as ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Historians Of Mathematics
The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments have come to light only in a few locales. From 3000 BC the Mesopotamian states of Sumer, Akkad and Assyria, followed closely by Ancient Egypt and the Levantine state of Ebla began using arithmetic, algebra and geometry for purposes of taxation, commerce, trade and also in the patterns in nature, the field of astronomy and to record time and formulate calendars. The earliest mathematical texts available are from Mesopotamia and Egypt – ''Plimpton 322'' ( Babylonian c. 2000 – 1900 BC), the '' Rhind Mathematical Papyrus'' (Egyptian c. 1800 BC) and the ''Moscow Mathematical Papyrus'' (Egyptian c. 1890 BC). All of these texts mention the so-called Pythagorean triples, so, by inference, the Pythagorean theorem seems to be the most ancient a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dutch Logicians
Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People Ethnic groups * Germanic peoples, the original meaning of the term ''Dutch'' in English ** Pennsylvania Dutch, a group of early Germanic immigrants to Pennsylvania *Dutch people, the Germanic group native to the Netherlands Specific people * Dutch (nickname), a list of people * Johnny Dutch (born 1989), American hurdler * Dutch Schultz (1902–1935), American mobster born Arthur Simon Flegenheimer * Dutch Mantel, ring name of American retired professional wrestler Wayne Maurice Keown (born 1949) * Dutch Savage, ring name of professional wrestler and promoter Frank Stewart (1935–2013) Arts, entertainment, and media Fictional characters * Dutch (''Black Lagoon''), an African-American character from the Japanese manga and anime ''Black L ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dutch Mathematicians
Dutch commonly refers to: * Something of, from, or related to the Netherlands * Dutch people () * Dutch language () Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People Ethnic groups * Germanic peoples, the original meaning of the term ''Dutch'' in English ** Pennsylvania Dutch, a group of early Germanic immigrants to Pennsylvania *Dutch people, the Germanic group native to the Netherlands Specific people * Dutch (nickname), a list of people * Johnny Dutch (born 1989), American hurdler * Dutch Schultz (1902–1935), American mobster born Arthur Simon Flegenheimer * Dutch Mantel, ring name of American retired professional wrestler Wayne Maurice Keown (born 1949) * Dutch Savage, ring name of professional wrestler and promoter Frank Stewart (1935–2013) Arts, entertainment, and media Fictional characters * Dutch (''Black Lagoon''), an African-American character from the Japanese manga and anime ''Black ... [...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]   |
|
1932 Births
Year 193 ( CXCIII) was a common year starting on Monday (link will display the full calendar) of the Julian calendar. At the time, it was known as the Year of the Consulship of Sosius and Ericius (or, less frequently, year 946 ''Ab urbe condita''). The denomination 193 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe for naming years. Events By place Roman Empire * January 1 – Year of the Five Emperors: The Roman Senate chooses Publius Helvius Pertinax, against his will, to succeed the late Commodus as Emperor. Pertinax is forced to reorganize the handling of finances, which were wrecked under Commodus, to reestablish discipline in the Roman army, and to suspend the food programs established by Trajan, provoking the ire of the Praetorian Guard. * March 28 – Pertinax is assassinated by members of the Praetorian Guard, who storm the imperial palace. The Empire is auctioned off ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Yuri Gurevich
Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines. Gurevich was born and educated in the Soviet Union. He taught mathematics there and then in Israel before moving to the United States in 1982. The best-known work of his Soviet period is on the ''classical decision problem''. In Israel, Gurevich worked with Saharon Shelah on monadic second-order theories. The ''Forgetful Determinacy Theorem'' of Gurevich– Harrington is of that period as well. From 1982 to 1998, Gurevich taught computer science at the University of Michigan, where he started to work on various aspects of computational complexity theory including average case complexity. He became one of the founders of the emerging field of finite model theory. Most importantly, he became interested in the problem of what an algorithm is. This led him to the theory of abstract state machines (ASMs). The ASM Thesis s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |