Computability theorists | Philosophers of mathematics | Model theorists

Alfred Tarski

Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; 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. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models." (Wikipedia).

Alfred Tarski
Video thumbnail

Hitler - The Road to Revenge

Portraits of Power - Hitler - The Road to Revenge Narrated by Henry Fonda Adolf Hitler (20 April 1889 -- 30 April 1945) was an Austrian-born German politician and the leader of the Nazi Party (German: Nationalsozialistische Deutsche Arbeiterpartei (NSDAP); National Socialist German Worker

From playlist Portraits of Power - Those who shaped the Twentieth Century

Video thumbnail

(PP 1.1) Measure theory: Why measure theory - The Banach-Tarski Paradox

A playlist of the Probability Primer series is available here: http://www.youtube.com/view_play_list?p=17567A1A3F5DB5E4 You can skip the measure theory (Section 1) if you're not interested in the rigorous underpinnings. If you choose to do this, you should start with "(PP 1.S) Measure

From playlist Probability Theory

Video thumbnail

John Searle Interview on Perception & Philosophy of Mind

One of America’s most prominent philosophers says his field has been tilting at windmills for nearly 400 years. Representationalism (or indirect realism)---the idea that we don’t directly perceive external objects in the world, but only our own inner mental images or representations of obj

From playlist Philosophy of Mind

Video thumbnail

Hitler - Revenge to Ruin

Portraits of Power - Hitler - Revenge to Ruin Narrated by Henry Fonda Adolf Hitler (20 April 1889 -- 30 April 1945) was an Austrian-born German politician and the leader of the Nazi Party (German: Nationalsozialistische Deutsche Arbeiterpartei (NSDAP); National Socialist German Workers Pa

From playlist Portraits of Power - Those who shaped the Twentieth Century

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Kurt Gödel Centenary - Part I

Institute for Advanced Study November 17, 2006 Karl Sigmund (University of Vienna) Solomon Feferman (Stanford University) More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

Lenin & Trotsky - Their Rise To Power I WHO DID WHAT IN WW1?

Felshtinsky, Yuri: Lenin, Trotsky, Germany and the Treaty of Brest- Ltivosk. The Collapse of the World Revolution. November 1917- November 1918, Milford 2012: http://amzn.to/2oILHmK Swain, Geoffrey: Trotsky and the Russian Revolution. New York 2014: http://amzn.to/2CY0gqF Swain, Geoffre

From playlist Who Did What In WW1?

Video thumbnail

Mark Sapir - The Tarski numbers of groups.

Mark Sapir (Vanderbilt University, USA) The Tarski number of a non-amenable group is the minimal number of pieces in a paradoxical decomposition of the group. It is known that a group has Tarski number 4 if and only if it contains a free non-cyclic subgroup, and the Tarski numbers of tors

From playlist T1-2014 : Random walks and asymptopic geometry of groups.

Video thumbnail

The Banach–Tarski Paradox

Support Vsauce, your brain, Alzheimer's research, and other YouTube educators by joining THE CURIOSITY BOX: a seasonal delivery of viral science toys made by Vsauce! A portion of all proceeds goes to Alzheimer's research and our Inquisitive Fellowship, a program that gives money and resour

From playlist Science

Video thumbnail

Konstantin Mischaikow interviewed by Tomas Gedeon (October 26, 2022)

Konstantin Mischaikow interviewed by Tomas Gedeon (October 26, 2022) For more on the interview series, along with the advertisement posters, please see https://www.aatrn.net/interviews

From playlist AATRN Interviews

Video thumbnail

Der Nürnberger Prozess - Das Urteil (4/9) / Hauptkriegsverbrecher-Prozess

Wolfram Heinrich Friedrich Sievers, Geschäftsführer der nationalsozialistischen Forschungsgemeinschaft Deutsches Ahnenerbe, Anatomisches Institut, Reichsuniversität Straßburg, Skelettsammlung, Anklage für den Generalstab und der deutschen Wehrmacht, Telford Taylor, Kommissarbefehl, politis

From playlist Der Nürnberger Prozess - Das Urteil

Video thumbnail

Death by infinity puzzles and the Axiom of Choice

In this video the Mathologer sets out to commit the perfect murder using infinitely many assassins and, subsequently, to get them off the hook in court. The story is broken up into three very tricky puzzles. Challenge yourself to figure them out before the Mathologer reveals his own soluti

From playlist Recent videos

Video thumbnail

This Math Theorem Proves that 1=1+1 | The Banach-Tarskis Paradox

Mathematicians are in nearly universal agreement that the strangest paradox in math is the Banach-Tarski paradox, in which you can split one ball into a finite number of pieces, then rearrange the pieces to get two balls of the same size. Interestingly, only a minority of mathematicians ha

From playlist Math and Statistics

Video thumbnail

Stalin - Man and Image

Portraits of Power - Stalin - Man and Image Narrated by Herny Fonda Joseph Stalin (18 December 1878 -- 5 March 1953), was the leader of the Soviet Union from the mid-1920s until his death in 1953. Adolf Hitler, Winston Churchill, Stalin was a small man, he was not physically imposant, hi

From playlist Portraits of Power - Those who shaped the Twentieth Century

Related pages

Stefan Mazurkiewicz | If and only if | Wanda Szmielew | Topology | Stefan Banach | John Corcoran (logician) | Polygon | Real number | Finitary relation | Annulus (mathematics) | Mario Pieri | Charles Sanders Peirce | Weak interpretability | Alfred North Whitehead | First-order logic | Abelian group | Erlangen program | Gödel's incompleteness theorems | Algebra Universalis | T-schema | Logical consequence | Interpretability | Zermelo–Fraenkel set theory | Ball (mathematics) | Natural number | Hilbert's axioms | Tarski's undefinability theorem | Tarski's circle-squaring problem | Geometry | Chen Chung Chang | Set theory | Truth value | Negation | Solomon Feferman | Alonzo Church | Gottlob Frege | Karl Popper | Automorphism | Intersection (set theory) | Affine geometry | Two-element Boolean algebra | Mereology | Formal language | Banach–Tarski paradox | Bjarni Jónsson | Homomorphism | Mathematics | Algebraic logic | Cylindric algebra | Relation algebra | Solid geometry | Wacław Sierpiński | Type theory | Mathematical logic | Projective geometry | Primitive notion | Quantifier elimination | Tarski's axioms | Euclidean geometry | Semantic theory of truth | Model theory | Julia Robinson | Decidability (logic) | Binary relation | Point (geometry) | Order type | Cardinal number | Union (set theory) | Felix Klein | Tarski monster group | Rudolf Carnap | Subset | Quantifier (logic) | Principia Mathematica | Kenneth Arrow | Abstract algebra | Abstract algebraic logic | Willard Van Orman Quine | Bertrand Russell | Logical conjunction | Metamathematics