|
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy encompasses the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" grc, φιλεῖν , "to love" and σοφία '' 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 mythical answers to such questions. They were specifically interested in the (the cause or first principle) of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
Logic is the study of correct reasoning. It includes both Mathematical logic, formal and informal logic. Formal logic is the science of Validity (logic), deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in Formal language, formal or Natural language, informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 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 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 theory is commonly employed as a foundational ... [...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, 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, ... [...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. Later years From 1980 to 2002 he was coordinating editor of the reviews section of the Association for Symbolic Logic's Journal of Symbolic Logic. Death He died from leukemia in 2010. Selected publications * * * References External links Herbert B. Enderton home pageHerbert Enderton UCLA lectureson YouTube YouT ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 century, Italian mathematician Giuseppe Peano formalized arithmetic with his Peano axioms, which are highly important to the field of mathematical logic today. History The prehistory of arithmetic is limited to a small number of artifacts, which may indicate the conception of addition and subtraction, the best-known being the Ishango bone from central Africa, dating from somewhere between 20,000 and 18,000 BC, although its interpretation is disputed. The earliest written records indicate the Egyptians and Babylonians used all the elementary arithmetic operations: addition, subtraction, multiplication, and division, as early as 2000 BC. These artifacts do not always reveal the specific process used for solving problems, b ... [...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 and Republic of Ireland, 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 may thus vary significantly in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 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 poin ... [...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 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 the identification ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Russell's Paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, which he told Hilbert and Richard Dedekind by letter. According to the unrestricted comprehension principle, for any sufficiently well-defined property, there is the set of all and only the objects that have that property. Let ''R'' be the set of all sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leonard Nelson
Leonard Nelson (; ; 11 July 1882 – 29 October 1927), sometimes spelt Leonhard, was a German mathematician, critical philosopher, and socialist. He was part of the neo-Friesian school (named after post-Kantian philosopher Jakob Friedrich Fries) of neo-Kantianism and a friend of the mathematician David Hilbert. He devised the Grelling–Nelson paradox in 1908 and the related idea of autological words with Kurt Grelling. Neo-Friesian subsequently became an influencer in fields of both philosophy and mathematics, as Nelson's close contacts with scientists and mathematicians influenced their ideas. Despite dying earlier than many of his friends and assistants, his ISK organization lived on after his death, even after being banned by the Nazi Regime in 1933. It is even claimed that Albert Einstein supported it. He's also credited with popularizing the Socratic method in his book ''Die sokratische Methode'' (''The Socratic Method''). Life Early life and education In Nelson ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_Kurt_Grelling.jpg "Click for more on -> Kurt Grelling")
