Tarski's World is a computer-based introduction to first-order logic written by Jon Barwise and John Etchemendy. It is named after the mathematical logician Alfred Tarski. The package includes a book, which serves as a textbook and manual, and a computer program which together serve as an introduction to the semantics of logic through games in which simple, three-dimensional worlds are populated with various geometric figures and these are used to test the truth or falsehood of first-order logic sentences. The program is also included in Language, Proof and Logic package. The programme was later extended into Hyperproof. (Wikipedia).
awesome showcase of a Pattani man doing teh tarik in the middle of Chatuchak Market.
From playlist Amazing Stuff
New official movie "Flyboard Family" by Zapata Racing and Friends more informations please contact zapata-racing.com Zapata Racing is proud to introduce you the video of the first flyboard® world cup Click on this link http://youtu.be/BkZ8euApHRo
From playlist Forces
Fela Kuti (Nigeria, 1973) - Gentleman (Full Album)
From playlist World
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
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
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
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.
Kurt Gödel Centenary - Part III
John W. Dawson, Jr. Pennsylvania State University November 17, 2006 More videos on http://video.ias.edu
From playlist Kurt Gödel Centenary
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
Infinity shapeshifter vs. Banach-Tarski paradox
Take on solid ball, cut it into a couple of pieces and rearrange those pieces back together into two solid balls of exactly the same size as the original ball. Impossible? Not in mathematics! Recently Vsauce did a brilliant video on this so-called Banach-Tarski paradox: https://youtu.be/s
From playlist Recent videos
The Mathematical Truth | Enrico Bombieri
Enrico Bombieri, Professor Emeritus, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/bombieri October 29, 2010 In this lecture, Professor Enrico Bombieri attempts to give an idea of the numerous different notions of truth in mathematics.
From playlist Mathematics
Silvia Steila: An overview over least fixed points in weak set theories
Given a monotone function on a complete lattice the least fixed point is defined as the minimum among the fixed points. Tarski Knaster Theorem states that every monotone function on a complete lattice has a least fixed point. There are two standard proofs of Tarski Knaster Theorem. The f
From playlist Workshop: "Proofs and Computation"
Robert Ghrist (8/29/21): Laplacians and Network Sheaves
This talk will begin with a simple introduction to cellular sheaves as a generalized notion of a network of algebraic objects. With a little bit of geometry, one can often define a Laplacian for such sheaves. The resulting Hodge theory relates the geometry of the Laplacian to the algebraic
From playlist Beyond TDA - Persistent functions and its applications in data sciences, 2021
Ozzy and Jack's World Detour: A Thousand Year Hangover | Sundays 10/9c | History
Check out all-new episodes of Ozzy and Jack's World Detour Sunday nights 10/9c on HISTORY. #OzzyAndJack Subscribe for more from Ozzy & Jack's World Detour and other great HISTORY shows: http://histv.co/SubscribeHistoryYT Find out more about the show and watch full episodes on our site:
From playlist Ozzy & Jack's World Detour: Official Series Playlist | A&E