Faster access than browser!
176 relations: Abelian group, Abstract algebra, Adam Mickiewicz University in Poznań, Affine geometry, Alfred North Whitehead, Algebra Universalis, Algebraic logic, Alonzo Church, American Mathematical Monthly, American National Biography, Analytic philosophy, Andrzej Ehrenfeucht, Andrzej Mostowski, Annulus (mathematics), Ashkenazi Jews, Association for Symbolic Logic, Atheism, Automorphism, Axiom of choice, Axiomatic system, Ball (mathematics), Banach–Tarski paradox, Berkeley, California, Bertrand Russell, Binary relation, Biology, Bjarni Jónsson, British Academy, Buffalo, New York, Cambridge University Press, Cardinal number, Catholic Church, Charles Sanders Peirce, Chen Chung Chang, City College of New York, Congress Poland, Correspondence theory of truth, Cylindric algebra, Dana Scott, Decidability (logic), Deflationary theory of truth, Dictionary of Scientific Biography, Domain of discourse, Donald Davidson (philosopher), Erich Leo Lehmann, Erlangen program, Euclidean geometry, Evert Willem Beth, Felix Klein, Finitary relation, ..., First-order logic, Formal language, Formal system, Gödel's incompleteness theorems, Geometry, Gottlob Frege, Guggenheim Fellowship, Haim Gaifman, Harvard University, Hilbert's axioms, History of the Jews in Poland, Homomorphism, Honorary degree, Howard Jerome Keisler, If and only if, Institut Henri Poincaré, Institute for Advanced Study, Interior algebra, Intersection (set theory), Invasion of Poland, Ivor Grattan-Guinness, Jan Łukasiewicz, Jan Woleński, John Corcoran (logician), John Etchemendy, José Miguel Sagüillo, Journal of Symbolic Logic, Julia Robinson, Karl Menger, Karl Popper, Kenneth Arrow, Kurt Gödel, Lattice (order), Leśniewski, Leon Chwistek, Leon Henkin, List of things named after Alfred Tarski, Logic, Logical conjunction, Logical consequence, Logical disjunction, Lwów–Warsaw school, Mario Pieri, Marseille, Mathematical logic, Mathematician, Mathematics, Measure (mathematics), Mereology, Metamathematics, Miller Institute, Model theory, National Academy of Sciences, Natural number, Nazism, Negation, Order type, Oxford University Press, Partially ordered set, Patrick Suppes, Paul Cézanne University, Peano axioms, Philosophy, Philosophy of language, Point (geometry), Polish language, Polish–Soviet War, Polygon, Pontifical Catholic University of Chile, Primitive notion, Princeton, New Jersey, Principia Mathematica, Projective geometry, Propositional calculus, Quantifier (logic), Quantifier elimination, Real closed field, Real number, Relation algebra, Richard Montague, Robert Lawson Vaught, Roger Lyndon, Roger Maddux, Royal Netherlands Academy of Arts and Sciences, Rudolf Carnap, Semantic theory of truth, Semantics, Set theory, Solid geometry, Solomon Feferman, Stanford Encyclopedia of Philosophy, Stanisław Leśniewski, Stefan Banach, Stefan Mazurkiewicz, Subset, T-schema, Tadeusz Kotarbiński, Tarski monster group, Tarski's axioms, Tarski's undefinability theorem, Topology, Truth, Truth function, Truth value, Two-element Boolean algebra, Type theory, Union (set theory), United States, Unity of science, Universe (mathematics), University College London, University of Calgary, University of California, Berkeley, University of California, Los Angeles, University of Lviv, University of Vienna, University of Warsaw, Vienna Circle, Wacław Sierpiński, Wanda Szmielew, Warsaw, Warsaw School (mathematics), Wilfrid Hodges, Willard Van Orman Quine, World War II, Zermelo–Fraenkel set theory. Expand index (126 more) »
Abelian group
In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written.
New!!: Alfred Tarski and Abelian group · See more »
Abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures.
New!!: Alfred Tarski and Abstract algebra · See more »
Adam Mickiewicz University in Poznań
Adam Mickiewicz University in Poznań (Uniwersytet im., Polish abbreviation UAM) is one of the major Polish universities, located in the city of Poznań, Greater Poland, in the west of the country.
New!!: Alfred Tarski and Adam Mickiewicz University in Poznań · See more »
Affine geometry
In mathematics, affine geometry is what remains of Euclidean geometry when not using (mathematicians often say "when forgetting") the metric notions of distance and angle.
New!!: Alfred Tarski and Affine geometry · See more »
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
New!!: Alfred Tarski and Alfred North Whitehead · See more »
Algebra Universalis
Algebra Universalis is an international scientific journal focused on universal algebra and lattice theory.
New!!: Alfred Tarski and Algebra Universalis · See more »
Algebraic logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
New!!: Alfred Tarski and Algebraic logic · See more »
Alonzo Church
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science.
New!!: Alfred Tarski and Alonzo Church · See more »
American Mathematical Monthly
The American Mathematical Monthly is a mathematical journal founded by Benjamin Finkel in 1894.
New!!: Alfred Tarski and American Mathematical Monthly · See more »
American National Biography
The American National Biography (ANB) is a 24-volume biographical encyclopedia set that contains about 17,400 entries and 20 million words, first published in 1999 by Oxford University Press under the auspices of the American Council of Learned Societies.
New!!: Alfred Tarski and American National Biography · See more »
Analytic philosophy
Analytic philosophy (sometimes analytical philosophy) is a style of philosophy that became dominant in the Western world at the beginning of the 20th century.
New!!: Alfred Tarski and Analytic philosophy · See more »
Andrzej Ehrenfeucht
Andrzej Ehrenfeucht (born August 8, 1932) is a Polish American mathematician and computer scientist.
New!!: Alfred Tarski and Andrzej Ehrenfeucht · See more »
Andrzej Mostowski
Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician.
New!!: Alfred Tarski and Andrzej Mostowski · See more »
Annulus (mathematics)
In mathematics, an annulus (the Latin word for "little ring" is anulus/annulus, with plural anuli/annuli) is a ring-shaped object, a region bounded by two concentric circles.
New!!: Alfred Tarski and Annulus (mathematics) · See more »
Ashkenazi Jews
Ashkenazi Jews, also known as Ashkenazic Jews or simply Ashkenazim (אַשְׁכְּנַזִּים, Ashkenazi Hebrew pronunciation:, singular:, Modern Hebrew:; also), are a Jewish diaspora population who coalesced in the Holy Roman Empire around the end of the first millennium.
New!!: Alfred Tarski and Ashkenazi Jews · See more »
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic.
New!!: Alfred Tarski and Association for Symbolic Logic · See more »
Atheism
Atheism is, in the broadest sense, the absence of belief in the existence of deities.
New!!: Alfred Tarski and Atheism · See more »
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself.
New!!: Alfred Tarski and Automorphism · See more »
Axiom of choice
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.
New!!: Alfred Tarski and Axiom of choice · See more »
Axiomatic system
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
New!!: Alfred Tarski and Axiomatic system · See more »
Ball (mathematics)
In mathematics, a ball is the space bounded by a sphere.
New!!: Alfred Tarski and Ball (mathematics) · See more »
Banach–Tarski paradox
The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in 3‑dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball.
New!!: Alfred Tarski and Banach–Tarski paradox · See more »
Berkeley, California
Berkeley is a city on the east shore of San Francisco Bay in northern Alameda County, California.
New!!: Alfred Tarski and Berkeley, California · See more »
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Alfred Tarski and Bertrand Russell · See more »
Binary relation
In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.
New!!: Alfred Tarski and Binary relation · See more »
Biology
Biology is the natural science that studies life and living organisms, including their physical structure, chemical composition, function, development and evolution.
New!!: Alfred Tarski and Biology · See more »
Bjarni Jónsson
Bjarni Jónsson (February 15, 1920 – September 30, 2016) was an Icelandic mathematician and logician working in universal algebra, lattice theory, model theory and set theory.
New!!: Alfred Tarski and Bjarni Jónsson · See more »
British Academy
The British Academy is the United Kingdom's national academy for the humanities and the social sciences.
New!!: Alfred Tarski and British Academy · See more »
Buffalo, New York
Buffalo is the second largest city in the state of New York and the 81st most populous city in the United States.
New!!: Alfred Tarski and Buffalo, New York · See more »
Cambridge University Press
Cambridge University Press (CUP) is the publishing business of the University of Cambridge.
New!!: Alfred Tarski and Cambridge University Press · See more »
Cardinal number
In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.
New!!: Alfred Tarski and Cardinal number · See more »
Catholic Church
The Catholic Church, also known as the Roman Catholic Church, is the largest Christian church, with more than 1.299 billion members worldwide.
New!!: Alfred Tarski and Catholic Church · See more »
Charles Sanders Peirce
Charles Sanders Peirce ("purse"; 10 September 1839 – 19 April 1914) was an American philosopher, logician, mathematician, and scientist who is sometimes known as "the father of pragmatism".
New!!: Alfred Tarski and Charles Sanders Peirce · See more »
Chen Chung Chang
Chen Chung Chang is a mathematician who works in model theory.
New!!: Alfred Tarski and Chen Chung Chang · See more »
City College of New York
The City College of the City University of New York (more commonly referred to as the City College of New York, or simply City College, CCNY, or City) is a public senior college of the City University of New York (CUNY) in New York City.
New!!: Alfred Tarski and City College of New York · See more »
Congress Poland
The Kingdom of Poland, informally known as Congress Poland or Russian Poland, was created in 1815 by the Congress of Vienna as a sovereign state of the Russian part of Poland connected by personal union with the Russian Empire under the Constitution of the Kingdom of Poland until 1832.
New!!: Alfred Tarski and Congress Poland · See more »
Correspondence theory of truth
The correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes (i.e., corresponds with) that world.
New!!: Alfred Tarski and Correspondence theory of truth · See more »
Cylindric algebra
The notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of equational first-order logic.
New!!: Alfred Tarski and Cylindric algebra · See more »
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.
New!!: Alfred Tarski and Dana Scott · See more »
Decidability (logic)
In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas, or, more precisely, an algorithm that can and will return a boolean true or false value that is correct (instead of looping indefinitely, crashing, returning "don't know" or returning a wrong answer).
New!!: Alfred Tarski and Decidability (logic) · See more »
Deflationary theory of truth
In philosophy and logic, a deflationary theory of truth is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.
New!!: Alfred Tarski and Deflationary theory of truth · See more »
Dictionary of Scientific Biography
The Dictionary of Scientific Biography is a scholarly reference work that was published from 1970 through 1980.
New!!: Alfred Tarski and Dictionary of Scientific Biography · See more »
Domain of discourse
In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.
New!!: Alfred Tarski and Domain of discourse · See more »
Donald Davidson (philosopher)
Donald Herbert Davidson (March 6, 1917 – August 30, 2003) was an American philosopher.
New!!: Alfred Tarski and Donald Davidson (philosopher) · See more »
Erich Leo Lehmann
Erich Leo Lehmann (20 November 1917 – 12 September 2009) was an American statistician, who made a major contribution to nonparametric hypothesis testing.
New!!: Alfred Tarski and Erich Leo Lehmann · See more »
Erlangen program
The Erlangen program is a method of characterizing geometries based on group theory and projective geometry.
New!!: Alfred Tarski and Erlangen program · See more »
Euclidean geometry
Euclidean geometry is a mathematical system attributed to Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry: the Elements.
New!!: Alfred Tarski and Euclidean geometry · See more »
Evert Willem Beth
Evert Willem Beth (7 July 1908 – 12 April 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
New!!: Alfred Tarski and Evert Willem Beth · See more »
Felix Klein
Christian Felix Klein (25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group theory.
New!!: Alfred Tarski and Felix Klein · See more »
Finitary relation
In mathematics, a finitary relation has a finite number of "places".
New!!: Alfred Tarski and Finitary relation · See more »
First-order logic
First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
New!!: Alfred Tarski and First-order logic · See more »
Formal language
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.
New!!: Alfred Tarski and Formal language · See more »
Formal system
A formal system is the name of a logic system usually defined in the mathematical way.
New!!: Alfred Tarski and Formal system · See more »
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
New!!: Alfred Tarski and Gödel's incompleteness theorems · See more »
Geometry
Geometry (from the γεωμετρία; geo- "earth", -metron "measurement") is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space.
New!!: Alfred Tarski and Geometry · See more »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
New!!: Alfred Tarski and Gottlob Frege · See more »
Guggenheim Fellowship
Guggenheim Fellowships are grants that have been awarded annually since 1925 by the John Simon Guggenheim Memorial Foundation to those "who have demonstrated exceptional capacity for productive scholarship or exceptional creative ability in the arts".
New!!: Alfred Tarski and Guggenheim Fellowship · See more »
Haim Gaifman
Haim Gaifman is a logician, probability theorist, and philosopher of language.
New!!: Alfred Tarski and Haim Gaifman · See more »
Harvard University
Harvard University is a private Ivy League research university in Cambridge, Massachusetts.
New!!: Alfred Tarski and Harvard University · See more »
Hilbert's axioms
Hilbert's axioms are a set of 20 assumptions proposed by David Hilbert in 1899 in his book Grundlagen der Geometrie (tr. The Foundations of Geometry) as the foundation for a modern treatment of Euclidean geometry.
New!!: Alfred Tarski and Hilbert's axioms · See more »
History of the Jews in Poland
The history of the Jews in Poland dates back over 1,000 years.
New!!: Alfred Tarski and History of the Jews in Poland · See more »
Homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces).
New!!: Alfred Tarski and Homomorphism · See more »
Honorary degree
An honorary degree, in Latin a degree honoris causa ("for the sake of the honor") or ad honorem ("to the honor"), is an academic degree for which a university (or other degree-awarding institution) has waived the usual requirements, such as matriculation, residence, a dissertation and the passing of comprehensive examinations.
New!!: Alfred Tarski and Honorary degree · See more »
Howard Jerome Keisler
Howard Jerome Keisler (born 3 December 1936) is an American mathematician, currently professor emeritus at University of Wisconsin–Madison.
New!!: Alfred Tarski and Howard Jerome Keisler · See more »
If and only if
In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.
New!!: Alfred Tarski and If and only if · See more »
Institut Henri Poincaré
The Henri Poincaré Institute (or IHP for Institut Henri Poincaré) is a mathematics research institute part of Sorbonne University, in association with the Centre national de la recherche scientifique (CNRS).
New!!: Alfred Tarski and Institut Henri Poincaré · See more »
Institute for Advanced Study
The Institute for Advanced Study (IAS) in Princeton, New Jersey, in the United States, is an independent, postdoctoral research center for theoretical research and intellectual inquiry founded in 1930 by American educator Abraham Flexner, together with philanthropists Louis Bamberger and Caroline Bamberger Fuld.
New!!: Alfred Tarski and Institute for Advanced Study · See more »
Interior algebra
In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set.
New!!: Alfred Tarski and Interior algebra · See more »
Intersection (set theory)
In mathematics, the intersection A ∩ B of two sets A and B is the set that contains all elements of A that also belong to B (or equivalently, all elements of B that also belong to A), but no other elements.
New!!: Alfred Tarski and Intersection (set theory) · See more »
Invasion of Poland
The Invasion of Poland, known in Poland as the September Campaign (Kampania wrześniowa) or the 1939 Defensive War (Wojna obronna 1939 roku), and in Germany as the Poland Campaign (Polenfeldzug) or Fall Weiss ("Case White"), was a joint invasion of Poland by Germany, the Soviet Union, the Free City of Danzig, and a small Slovak contingent that marked the beginning of World War II.
New!!: Alfred Tarski and Invasion of Poland · See more »
Ivor Grattan-Guinness
Ivor Owen Grattan-Guinness (23 June 1941 – 12 December 2014) was a historian of mathematics and logic.
New!!: Alfred Tarski and Ivor Grattan-Guinness · See more »
Jan Łukasiewicz
Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, a city in the Galician kingdom of Austria-Hungary.
New!!: Alfred Tarski and Jan Łukasiewicz · See more »
Jan Woleński
Jan Hertrich-Woleński (also known as Jan Woleński; born 21 September 1940) is a Polish philosopher specializing in the history of the Lwów–Warsaw school of logic and in analytic philosophy.
New!!: Alfred Tarski and Jan Woleński · See more »
John Corcoran (logician)
John Corcoran (born 1937) is an American logician, philosopher, mathematician, and historian of logic.
New!!: Alfred Tarski and John Corcoran (logician) · See more »
John Etchemendy
John W. Etchemendy (born 1952 in Reno, Nevada) was Stanford University's twelfth Provost.
New!!: Alfred Tarski and John Etchemendy · See more »
José Miguel Sagüillo
José Miguel Sagüillo is Catedrático and Professor of Logic at the University of Santiago de Compostela.
New!!: Alfred Tarski and José Miguel Sagüillo · See more »
Journal of Symbolic Logic
The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.
New!!: Alfred Tarski and Journal of Symbolic Logic · See more »
Julia Robinson
Julia Hall Bowman Robinson (December 8, 1919 – July 30, 1985) was an American mathematician renowned for her contributions to the fields of computability theory and computational complexity theory–most notably in decision problems.
New!!: Alfred Tarski and Julia Robinson · See more »
Karl Menger
Karl Menger (January 13, 1902 – October 5, 1985) was an Austrian-American mathematician.
New!!: Alfred Tarski and Karl Menger · See more »
Karl Popper
Sir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian-British philosopher and professor.
New!!: Alfred Tarski and Karl Popper · See more »
Kenneth Arrow
Kenneth Joseph "Ken" Arrow (23 August 1921 – 21 February 2017) was an American economist, mathematician, writer, and political theorist.
New!!: Alfred Tarski and Kenneth Arrow · See more »
Kurt Gödel
Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.
New!!: Alfred Tarski and Kurt Gödel · See more »
Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.
New!!: Alfred Tarski and Lattice (order) · See more »
Leśniewski
Leśniewski (feminine Leśniewska) is a Polish surname.
New!!: Alfred Tarski and Leśniewski · See more »
Leon Chwistek
Leon Chwistek (Kraków, Austria-Hungary, 13 June 1884 – 20 August 1944, Barvikha near Moscow, Russia) was a Polish avant-garde painter, theoretician of modern art, literary critic, logician, philosopher and mathematician.
New!!: Alfred Tarski and Leon Chwistek · See more »
Leon Henkin
Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California), Oroville Mercury-Register, November 24, 2006.
New!!: Alfred Tarski and Leon Henkin · See more »
List of things named after Alfred Tarski
In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians.
New!!: Alfred Tarski and List of things named after Alfred Tarski · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Alfred Tarski and Logic · See more »
Logical conjunction
In logic, mathematics and linguistics, And (∧) is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true.
New!!: Alfred Tarski and Logical conjunction · See more »
Logical consequence
Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.
New!!: Alfred Tarski and Logical consequence · See more »
Logical disjunction
In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true.
New!!: Alfred Tarski and Logical disjunction · See more »
Lwów–Warsaw school
The Lwów–Warsaw school (Szkoła lwowsko-warszawska) was a Polish school of thought founded by Kazimierz Twardowski in 1895 in Lwów.
New!!: Alfred Tarski and Lwów–Warsaw school · See more »
Mario Pieri
Mario Pieri (22 June 1860 – 1 March 1913) was an Italian mathematician who is known for his work on foundations of geometry.
New!!: Alfred Tarski and Mario Pieri · See more »
Marseille
Marseille (Provençal: Marselha), is the second-largest city of France and the largest city of the Provence historical region.
New!!: Alfred Tarski and Marseille · See more »
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
New!!: Alfred Tarski and Mathematical logic · See more »
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
New!!: Alfred Tarski and Mathematician · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Alfred Tarski and Mathematics · See more »
Measure (mathematics)
In mathematical analysis, a measure on a set is a systematic way to assign a number to each suitable subset of that set, intuitively interpreted as its size.
New!!: Alfred Tarski and Measure (mathematics) · See more »
Mereology
In philosophy and mathematical logic, mereology (from the Greek μέρος meros (root: μερε- mere-, "part") and the suffix -logy "study, discussion, science") is the study of parts and the wholes they form.
New!!: Alfred Tarski and Mereology · See more »
Metamathematics
Metamathematics is the study of mathematics itself using mathematical methods.
New!!: Alfred Tarski and Metamathematics · See more »
Miller Institute
The Miller Institute for Basic Research in Science was established on the University of California, Berkeley campus in 1955 after Adolph C. Miller and his wife, Mary Sprague Miller, made a donation to the University.
New!!: Alfred Tarski and Miller Institute · See more »
Model theory
In mathematics, model theory is the study of classes of mathematical structures (e.g. groups, fields, graphs, universes of set theory) from the perspective of mathematical logic.
New!!: Alfred Tarski and Model theory · See more »
National Academy of Sciences
The National Academy of Sciences (NAS) is a United States nonprofit, non-governmental organization.
New!!: Alfred Tarski and National Academy of Sciences · See more »
Natural number
In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").
New!!: Alfred Tarski and Natural number · See more »
Nazism
National Socialism (Nationalsozialismus), more commonly known as Nazism, is the ideology and practices associated with the Nazi Party – officially the National Socialist German Workers' Party (Nationalsozialistische Deutsche Arbeiterpartei or NSDAP) – in Nazi Germany, and of other far-right groups with similar aims.
New!!: Alfred Tarski and Nazism · See more »
Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P (¬P), which is interpreted intuitively as being true when P is false, and false when P is true.
New!!: Alfred Tarski and Negation · See more »
Order type
In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection (each element matches exactly one in the other set) f: X → Y such that both f and its inverse are strictly increasing (order preserving i.e. the matching elements are also in the correct order).
New!!: Alfred Tarski and Order type · See more »
Oxford University Press
Oxford University Press (OUP) is the largest university press in the world, and the second oldest after Cambridge University Press.
New!!: Alfred Tarski and Oxford University Press · See more »
Partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.
New!!: Alfred Tarski and Partially ordered set · See more »
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.
New!!: Alfred Tarski and Patrick Suppes · See more »
Paul Cézanne University
Paul Cézanne University (also referred to as Paul Cézanne University Aix-Marseille III) (French: Université Paul Cézanne Aix-Marseille III) was a public research university based in the heart of Provence (South East of France), in both Aix-en-Provence and Marseille.
New!!: Alfred Tarski and Paul Cézanne University · See more »
Peano axioms
In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.
New!!: Alfred Tarski and Peano axioms · See more »
Philosophy
Philosophy (from Greek φιλοσοφία, philosophia, literally "love of wisdom") is the study of general and fundamental problems concerning matters such as existence, knowledge, values, reason, mind, and language.
New!!: Alfred Tarski and Philosophy · See more »
Philosophy of language
Philosophy of language explores the relationship between language and reality.
New!!: Alfred Tarski and Philosophy of language · See more »
Point (geometry)
In modern mathematics, a point refers usually to an element of some set called a space.
New!!: Alfred Tarski and Point (geometry) · See more »
Polish language
Polish (język polski or simply polski) is a West Slavic language spoken primarily in Poland and is the native language of the Poles.
New!!: Alfred Tarski and Polish language · See more »
Polish–Soviet War
The Polish–Soviet War (February 1919 – March 1921) was fought by the Second Polish Republic, Ukrainian People's Republic and the proto-Soviet Union (Soviet Russia and Soviet Ukraine) for control of an area equivalent to today's western Ukraine and parts of modern Belarus.
New!!: Alfred Tarski and Polish–Soviet War · See more »
Polygon
In elementary geometry, a polygon is a plane figure that is bounded by a finite chain of straight line segments closing in a loop to form a closed polygonal chain or circuit.
New!!: Alfred Tarski and Polygon · See more »
Pontifical Catholic University of Chile
The Pontifical Catholic University of Chile (UC) (Pontificia Universidad Católica de Chile) is one of the six Catholic Universities existing in the Chilean university system and one of the two Pontifical Universities in the country, along with the Pontifical Catholic University of Valparaíso.
New!!: Alfred Tarski and Pontifical Catholic University of Chile · See more »
Primitive notion
In mathematics, logic, and formal systems, a primitive notion is an undefined concept.
New!!: Alfred Tarski and Primitive notion · See more »
Princeton, New Jersey
Princeton is a municipality with a borough form of government in Mercer County, New Jersey, United States, that was established in its current form on January 1, 2013, through the consolidation of the Borough of Princeton and Princeton Township.
New!!: Alfred Tarski and Princeton, New Jersey · See more »
Principia Mathematica
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
New!!: Alfred Tarski and Principia Mathematica · See more »
Projective geometry
Projective geometry is a topic in mathematics.
New!!: Alfred Tarski and Projective geometry · See more »
Propositional calculus
Propositional calculus is a branch of logic.
New!!: Alfred Tarski and Propositional calculus · See more »
Quantifier (logic)
In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
New!!: Alfred Tarski and Quantifier (logic) · See more »
Quantifier elimination
Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science.
New!!: Alfred Tarski and Quantifier elimination · See more »
Real closed field
In mathematics, a real closed field is a field F that has the same first-order properties as the field of real numbers.
New!!: Alfred Tarski and Real closed field · See more »
Real number
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
New!!: Alfred Tarski and Real number · See more »
Relation algebra
In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation.
New!!: Alfred Tarski and Relation algebra · See more »
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher.
New!!: Alfred Tarski and Richard Montague · See more »
Robert Lawson Vaught
Robert Lawson Vaught (April 4, 1926 – April 2, 2002) was a mathematical logician, and one of the founders of model theory.
New!!: Alfred Tarski and Robert Lawson Vaught · See more »
Roger Lyndon
Roger Conant Lyndon (December 18, 1917 – June 8, 1988) was an American mathematician, for many years a professor at the University of Michigan.
New!!: Alfred Tarski and Roger Lyndon · See more »
Roger Maddux
Roger Maddux (born 1948) is an American mathematician specializing in algebraic logic.
New!!: Alfred Tarski and Roger Maddux · See more »
Royal Netherlands Academy of Arts and Sciences
The Royal Netherlands Academy of Arts and Sciences (Koninklijke Nederlandse Akademie van Wetenschappen, abbreviated: KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands.
New!!: Alfred Tarski and Royal Netherlands Academy of Arts and Sciences · See more »
Rudolf Carnap
Rudolf Carnap (May 18, 1891 – September 14, 1970) was a German-born philosopher who was active in Europe before 1935 and in the United States thereafter.
New!!: Alfred Tarski and Rudolf Carnap · See more »
Semantic theory of truth
A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.
New!!: Alfred Tarski and Semantic theory of truth · See more »
Semantics
Semantics (from σημαντικός sēmantikós, "significant") is the linguistic and philosophical study of meaning, in language, programming languages, formal logics, and semiotics.
New!!: Alfred Tarski and Semantics · See more »
Set theory
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
New!!: Alfred Tarski and Set theory · See more »
Solid geometry
In mathematics, solid geometry is the traditional name for the geometry of three-dimensional Euclidean space.
New!!: Alfred Tarski and Solid geometry · See more »
Solomon Feferman
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician with works in mathematical logic.
New!!: Alfred Tarski and Solomon Feferman · See more »
Stanford Encyclopedia of Philosophy
The Stanford Encyclopedia of Philosophy (SEP) combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users.
New!!: Alfred Tarski and Stanford Encyclopedia of Philosophy · See more »
Stanisław Leśniewski
Stanisław Leśniewski (March 30, 1886 – May 13, 1939) was a Polish mathematician, philosopher and logician.
New!!: Alfred Tarski and Stanisław Leśniewski · See more »
Stefan Banach
Stefan Banach (30 March 1892 – 31 August 1945) was a Polish mathematician who is generally considered one of the world's most important and influential 20th-century mathematicians.
New!!: Alfred Tarski and Stefan Banach · See more »
Stefan Mazurkiewicz
Stefan Mazurkiewicz (25 September 1888 – 19 June 1945) was a Polish mathematician who worked in mathematical analysis, topology, and probability.
New!!: Alfred Tarski and Stefan Mazurkiewicz · See more »
Subset
In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.
New!!: Alfred Tarski and Subset · See more »
T-schema
The T-schema or truth schema (not to be confused with 'Convention T') is used to give an inductive definition of truth which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth.
New!!: Alfred Tarski and T-schema · See more »
Tadeusz Kotarbiński
Tadeusz Kotarbiński (31 March 1886 – 3 October 1981), was a Polish philosopher, logician and ethicist.
New!!: Alfred Tarski and Tadeusz Kotarbiński · See more »
Tarski monster group
In the area of modern algebra known as group theory, a Tarski monster group, named for Alfred Tarski, is an infinite group G, such that every proper subgroup H of G, other than the identity subgroup, is a cyclic group of order a fixed prime number p. A Tarski monster group is necessarily simple.
New!!: Alfred Tarski and Tarski monster group · See more »
Tarski's axioms
Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry, called "elementary," that is formulable in first-order logic with identity, and requiring no set theory.
New!!: Alfred Tarski and Tarski's axioms · See more »
Tarski's undefinability theorem
Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics.
New!!: Alfred Tarski and Tarski's undefinability theorem · See more »
Topology
In mathematics, topology (from the Greek τόπος, place, and λόγος, study) is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing.
New!!: Alfred Tarski and Topology · See more »
Truth
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard.
New!!: Alfred Tarski and Truth · See more »
Truth function
In logic, a truth function is a function that accepts truth values as input and produces a truth value as output, i.e., the input and output are all truth values.
New!!: Alfred Tarski and Truth function · See more »
Truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.
New!!: Alfred Tarski and Truth value · See more »
Two-element Boolean algebra
In mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain.
New!!: Alfred Tarski and Two-element Boolean algebra · See more »
Type theory
In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.
New!!: Alfred Tarski and Type theory · See more »
Union (set theory)
In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.
New!!: Alfred Tarski and Union (set theory) · See more »
United States
The United States of America (USA), commonly known as the United States (U.S.) or America, is a federal republic composed of 50 states, a federal district, five major self-governing territories, and various possessions.
New!!: Alfred Tarski and United States · See more »
Unity of science
The unity of science is a thesis in philosophy of science that says that all the sciences form a unified whole.
New!!: Alfred Tarski and Unity of science · See more »
Universe (mathematics)
In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.
New!!: Alfred Tarski and Universe (mathematics) · See more »
University College London
University College London (UCL) is a public research university in London, England, and a constituent college of the federal University of London.
New!!: Alfred Tarski and University College London · See more »
University of Calgary
The University of Calgary (U of C or UCalgary) is a public research university located in Calgary, Alberta, Canada.
New!!: Alfred Tarski and University of Calgary · See more »
University of California, Berkeley
The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public research university in Berkeley, California.
New!!: Alfred Tarski and University of California, Berkeley · See more »
University of California, Los Angeles
The University of California, Los Angeles (UCLA) is a public research university in the Westwood district of Los Angeles, United States.
New!!: Alfred Tarski and University of California, Los Angeles · See more »
University of Lviv
The University of Lviv (Львівський університет, Uniwersytet Lwowski, Universität Lemberg, briefly known as the Theresianum in the early 19th-century), presently the Ivan Franko National University of Lviv (Львівський національний університет імені Івана Франка) is the oldest university foundation in Ukraine, dating from 1661 when the Polish King, John II Casimir, granted it its first royal charter.
New!!: Alfred Tarski and University of Lviv · See more »
University of Vienna
The University of Vienna (Universität Wien) is a public university located in Vienna, Austria.
New!!: Alfred Tarski and University of Vienna · See more »
University of Warsaw
The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.
New!!: Alfred Tarski and University of Warsaw · See more »
Vienna Circle
The Vienna Circle (Wiener Kreis) of Logical Empiricism was a group of philosophers and scientists drawn from the natural and social sciences, logic and mathematics who met regularly from 1924 to 1936 at the University of Vienna, chaired by Moritz Schlick.
New!!: Alfred Tarski and Vienna Circle · See more »
Wacław Sierpiński
Wacław Franciszek Sierpiński (14 March 1882 – 21 October 1969) was a Polish mathematician.
New!!: Alfred Tarski and Wacław Sierpiński · See more »
Wanda Szmielew
Wanda Montlak Szmielew (1918–1976) was a Polish mathematical logician (of Jewish descent) who first proved the decidability of the first-order theory of abelian groups.
New!!: Alfred Tarski and Wanda Szmielew · See more »
Warsaw
Warsaw (Warszawa; see also other names) is the capital and largest city of Poland.
New!!: Alfred Tarski and Warsaw · See more »
Warsaw School (mathematics)
Warsaw School of Mathematics is the name given to a group of mathematicians who worked at Warsaw, Poland, in the two decades between the World Wars, especially in the fields of logic, set theory, point-set topology and real analysis.
New!!: Alfred Tarski and Warsaw School (mathematics) · See more »
Wilfrid Hodges
Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician, known for his work in model theory.
New!!: Alfred Tarski and Wilfrid Hodges · See more »
Willard Van Orman Quine
Willard Van Orman Quine (known to intimates 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 of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement.
New!!: Alfred Tarski and Willard Van Orman Quine · See more »
World War II
World War II (often abbreviated to WWII or WW2), also known as the Second World War, was a global war that lasted from 1939 to 1945, although conflicts reflecting the ideological clash between what would become the Allied and Axis blocs began earlier.
New!!: Alfred Tarski and World War II · See more »
Zermelo–Fraenkel set theory
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.
New!!: Alfred Tarski and Zermelo–Fraenkel set theory · See more »
Redirects here:
A. Tarski, Alfred Tajtelbaum, Alfred Teitelbaum.
References
[1] https://en.wikipedia.org/wiki/Alfred_Tarski
