|
Kurt Grelling
Kurt Grelling (2 March 1886 – September 1942) was a German logician and philosopher, member of the Berlin Circle. Life and work Kurt Grelling was born on 2 March 1886 in Berlin. His father, the Doctor of Jurisprudence Richard Grelling, and his mother, Margarethe (née Simon), were Jewish. Shortly after his arrival in 1905 at University of Göttingen, Grelling began a collaboration with philosopher Leonard Nelson, with whom he tried to solve Russell's paradox, which had shaken the foundations of mathematics when it was announced in 1903. Their 1908 paper included new paradoxes, including a semantic paradox that was named the Grelling–Nelson paradox. He received his doctorate in mathematics from the same university in 1910 with a PhD dissertation on the development of arithmetic in axiomatic set theory, advised by David Hilbert. In a recorded interview with Herbert Enderton, Alfred Tarski mentions a meeting he had with Grelling in 1938, and says that Grelling was th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre-Socratic philosophy, pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" , "to love" and σοφία ''Sophia (wisdom), sophía'', "wisdom". History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology (the nature and origin of the universe), while rejecting unargued fables in place for argued theory, i.e., dogma superseded reason, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Berlin Circle (philosophy)
The Berlin Circle () was a group that maintained logical empiricist views about philosophy. History The "Berlin Circle" had its roots in seminars by Hans Reichenbach between 1926-1928, resulting in the formation of a group that included Reichenbach, Kurt Grelling and Walter Dubislav among others. Independently, the Machist philosopher Joseph Petzoldt and others founded the ''local Berlin group'' (German: "Berliner Ortsgruppe") of the ''International society for empirical philosophy'' (German: "Internationale Gesellschaft für empirische Philosophie"), which was subsequently joined by the members of Reichenbach's group as well. The society was renamed in 1928 as ''Berlin society for empirical philosophy'' (German: "Berliner Gesellschaft für empirische Philosophie"), and after Petzoldt's death in 1929, the society was essentially taken over by Reichenbach's group, who in 1931 rebranded it as ''Berlin society for scientific philosophy'' (German: "Berliner Gesellschaft für wissensc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grace Chisholm Young
Grace Chisholm Young (née Chisholm, 15 March 1868 – 29 March 1944) was an English mathematician. She was educated at Girton College, Cambridge, England and continued her studies at Göttingen University in Germany, where in 1895 she received a doctorate. Her early writings were published under the name of her husband, William Henry Young, and they collaborated on mathematical work throughout their lives. For her work on calculus (1914–16), she was awarded the Gamble Prize for Mathematics by Girton College. Early life She was the youngest of three surviving children. Her father was a senior civil servant, with the title Warden of the Standards in charge of the Weights and Measures Department. The two girls were taught at home by their mother, father and a governess which was the custom for upper-class family during that time. Her family encouraged her to become involved in social work, helping the poor in London. She had aspirations of studying medicine, but her family wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Henry Young
William Henry Young FRS (London, 20 October 1863 – Lausanne, 7 July 1942) was an English mathematician. Young was educated at City of London School and Peterhouse, Cambridge. He worked on measure theory, Fourier series, differential calculus, amongst other fields, and made contributions to the study of functions of several complex variables. He was the husband of Grace Chisholm Young, with whom he authored and co-authored 214 papers and 4 books. Two of their children became professional mathematicians ( Laurence Chisholm Young, Cecilia Rosalind Tanner). Young's Theorem was named after him. In 1913 he was the first to be appointed to the newly created chair of Hardinge Professorship of Pure Mathematics in Calcutta University which he held from 1913 to 1917. He also held the part-time Professorship of Philosophy and the History of Mathematics at the University of Liverpool from 1913 to 1919. He was elected a Fellow of the Royal Society on 2 May 1907. He served as the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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, type theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school, 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.#FefA, Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Herbert Enderton
Herbert Bruce Enderton (April 15, 1936 – October 20, 2010) was an American mathematician. He was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at the University of California, Berkeley. Enderton also contributed to recursion theory, the theory of definability, models of analysis, computational complexity, and the history of logic. He earned his Ph.D. at Harvard in 1962. He was a member of the American Mathematical Society from 1961 until his death. Personal life He lived in Santa Monica. He married his wife, Cathy, in 1961 and they had two sons; Eric and Bert. Death He died from leukemia in 2010. Selected publications * * * References External links Herbert B. Enderton home pageHerbert Enderton UCLA lectureson YouTube YouTube is an American social media and online video sharing platform owned by Google. YouTube was founded on February 14, 2005, by Steve Chen, Cha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Arithmetic systems can be distinguished based on the type of numbers they operate on. Integer arithmetic is about calculations with positive and negative integers. Rational number arithmetic involves operations on fractions of integers. Real number arithmetic is about calculations with real numbers, which include both rational and irrational numbers. Another distinction is based on the numeral system employed to perform calculations. Decimal arithmetic is the most common. It uses the basic numerals from 0 to 9 and their combinations to express numbers. Binary arithmetic, by contrast, is used by most computers and represents numbers as combinations of the basic numerals 0 and 1. Computer arithmetic deals with the specificities of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PhD Dissertation
A thesis (: theses), or dissertation (abbreviated diss.), is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.International Standard ISO 7144: Documentation�Presentation of theses and similar documents International Organization for Standardization, Geneva, 1986. In some contexts, the word ''thesis'' or a cognate is used for part of a bachelor's or master's course, while ''dissertation'' is normally applied to a doctorate. This is the typical arrangement in American English. In other contexts, such as within most institutions of the United Kingdom, South Africa, the Commonwealth Countries, and Brazil, the reverse is true. The term graduate thesis is sometimes used to refer to both master's theses and doctoral dissertations. The required complexity or quality of research of a thesis or dissertation can vary by country, university, or program, and the required minimum study period m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paradox
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites". In logic, many paradoxes exist that are known to be invalid arguments, yet are nevertheless valuable in promoting critical thinking, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself and showed that attempts to found set theory on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Mathematics
Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theorems, proof (mathematics), proofs, algorithms, etc. in particular. This may also include the philosophy of mathematics, philosophical study of the relation of this framework with reality. The term "foundations of mathematics" was not coined before the end of the 19th century, although foundations were first established by the ancient Greek philosophers under the name of Aristotle's logic and systematically applied in Euclid's Elements, Euclid's ''Elements''. A mathematical assertion is considered as truth (mathematics), truth only if it is a theorem that is proved from true premises by means of a sequence of syllogisms (inference rules), the premises being either already proved theorems or self-evident assertions called axioms or postulat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
