|
Alfred Tarski
Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983. Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Warsaw
Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and largest city of Poland. The metropolis stands on the River Vistula in east-central Poland, and its population is officially estimated at 1.86 million residents within a greater metropolitan area of 3.1 million residents, which makes Warsaw the 7th most-populous city in the European Union. The city area measures and comprises 18 districts, while the metropolitan area covers . Warsaw is an Alpha global city, a major cultural, political and economic hub, and the country's seat of government. Warsaw traces its origins to a small fishing town in Masovia. The city rose to prominence in the late 16th century, when Sigismund III decided to move the Polish capital and his royal court from Kraków. Warsaw served as the de facto capital of the Polish–Lithuanian Commonwealth until 1795, and subsequently as the seat of Napoleon's Duchy of Warsaw. The 19 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Julia Robinson
Julia Hall Bowman Robinson (December 8, 1919July 30, 1985) was an American mathematician noted for her contributions to the fields of computability theory and computational complexity theory—most notably in decision problems. Her work on Hilbert's tenth problem (now known as Matiyasevich's theorem or the MRDP theorem) played a crucial role in its ultimate resolution. Robinson was a 1983 MacArthur Fellow. Early years Robinson was born in St. Louis, Missouri, the daughter of Ralph Bowers Bowman and Helen (Hall) Bowman. Her father owned a machine equipment company while her mother was a school teacher before marriage. Her mother died when Robinson was 2 years old and her father remarried. Her older sister was the mathematical popularizer and biographer Constance Reid and her younger sister is Billie Comstock. When she was 9 years old, she was diagnosed with scarlet fever which was shortly followed by rheumatic fever. This caused her to miss two years of school. When she was we ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patrick Suppes
Patrick Colonel Suppes (; March 17, 1922 – November 17, 2014) was an American philosopher who made significant contributions to philosophy of science, the theory of measurement, the foundations of quantum mechanics, decision theory, psychology and educational technology. He was the Lucie Stern Professor of Philosophy Emeritus at Stanford University and until January 2010 was the Director of the Education Program for Gifted Youth also at Stanford. Early life and career Suppes was born on March 17, 1922, in Tulsa, Oklahoma. He grew up as an only child, later with a half brother George who was born in 1943 after Patrick had entered the army. His grandfather, C. E. Suppes, had moved to Oklahoma from Ohio. Suppes' father and grandfather were independent oil men. His mother died when he was a young boy. He was raised by his stepmother, who married his father before he was six years old. His parents did not have much formal education.Cf. Suppes autobiography Suppes began college ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Willard Van Orman Quine
Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities.Colyvan, Mark"Indispensability Arguments in the Philosophy of Mathematics" The Stanford Encycloped ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian-British philosopher, academic and social commentator. One of the 20th century's most influential philosophers of science, Popper is known for his rejection of the classical inductivist views on the scientific method in favour of empirical falsification. According to Popper, a theory in the empirical sciences can never be proven, but it can be falsified, meaning that it can (and should) be scrutinised with decisive experiments. Popper was opposed to the classical justificationist account of knowledge, which he replaced with critical rationalism, namely "the first non-justificational philosophy of criticism in the history of philosophy". In political discourse, he is known for his vigorous defence of liberal democracy and the principles of social criticism that he believed made a flourishing open society possible. His political philosophy embraced ideas from major democratic political ideologies, i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erich Leo Lehmann
Erich Leo Lehmann (20 November 1917 – 12 September 2009) was a German-born American statistician, who made a major contribution to nonparametric hypothesis testing. He is one of the eponyms of the Lehmann–Scheffé theorem and of the Hodges–Lehmann estimator of the median of a population. Early life Lehmann was born in Strasbourg, Alsace-Lorraine in 1917 to a family of Ashkenazi Jewish ancestry. He grew up in Frankfurt am Main, Germany, until the Machtergreifung in 1933 his family fled to Switzerland to escape the Nazis. He graduated from high school in Zurich, and studied mathematics for two years at Trinity College, Cambridge. Following that, he emigrated to the United States, arriving in New York in late 1940. He enrolled in University of California, Berkeley as a post-graduate student—albeit without a prior degree—in 1941. Career Lehmann obtained his MA in mathematics in 1942 and his PhD (under Jerzy Neyman) in 1946, at the University of California, Berkeley, w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donald Davidson (philosopher)
Donald Herbert Davidson (March 6, 1917 – August 30, 2003) was an American philosopher. He served as Slusser Professor of Philosophy at the University of California, Berkeley, from 1981 to 2003 after having also held teaching appointments at Stanford University, Rockefeller University, Princeton University, and the University of Chicago. Davidson was known for his charismatic personality and the depth and difficulty of his thought. His work exerted considerable influence in many areas of philosophy from the 1960s onward, particularly in philosophy of mind, philosophy of language, and action theory. While Davidson was an analytic philosopher, and most of his influence lies in that tradition, his work has attracted attention in continental philosophy as well, particularly in literary theory and related areas. Personal life Davidson was married three times. His first wife was the artist Virginia Davidson, with whom he had his only child, a daughter, Elizabeth (Davidson) Boyer. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Corcoran (logician)
John Corcoran ( ; 20 March 1937 - 8 January 2021) was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice. His work on Aristotle's logic of the ''Prior Analytics'' is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. His mathematical results on definitional equivalence of formal character-string theories, sciences of strings of characters over finite alphabets, are foundational for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers." Biography Carnap's father had risen from being a poor ribbon-weaver to be the owner of a ribbon-making factory. His mother came from an academic family; her father was an educational reformer and her oldest brother was the archaeologist Wilhelm Dörpfeld. As a ten-year-old, Carnap accompanied Wilhelm Dörpfeld on an expedition to Greece. Carnap was raised in a profoundly religious Protestant family, but later became an atheist. He began his formal education at the Barmen Gymnasium and the Gymnasium in Jena. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. He also intently studied Immanuel Kant's '' Critique of Pure ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kenneth Arrow
Kenneth Joseph Arrow (23 August 1921 – 21 February 2017) was an American economist, mathematician, writer, and political theorist. He was the joint winner of the Nobel Memorial Prize in Economic Sciences with John Hicks in 1972. In economics, he was a major figure in post-World War II neo-classical economic theory. Many of his former graduate students have gone on to win the Nobel Memorial Prize themselves. His most significant works are his contributions to social choice theory, notably "Arrow's impossibility theorem", and his work on general equilibrium analysis. He has also provided foundational work in many other areas of economics, including endogenous growth theory and the economics of information. Education and early career Arrow was born on 23 August 1921, in New York City. Arrow's mother, Lilian (Greenberg), was from Iași, Romania, and his father, Harry Arrow, was from nearby Podu Iloaiei. The Arrow family were Romanian Jews. His family was very supportive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jan Łukasiewicz
Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle, offering one of the earliest systems of many-valued logic. Contemporary research on Aristotelian logic also builds on innovative works by Łukasiewicz, which applied methods from modern logic to the formalization of Aristotle's syllogistic. The Łukasiewicz approach was reinvigorated in the early 1970s in a series of papers by John Corcoran and Timothy Smiley that inform modern translations of ''Prior Analytics'' by Robin Smith in 1989 and Gisela Striker in 2009. Łukasiewicz is regarded as one of the most important historians of logic. Life He was born in Lemberg in Austria-Hungary (now Lviv, Ukra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul Weiss cal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
