Predicate logic

Tarski's World

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).

Video thumbnail

Mr Teh Tarik

awesome showcase of a Pattani man doing teh tarik in the middle of Chatuchak Market.

From playlist Amazing Stuff

Video thumbnail

Flyboard Family Official

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

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

The BuShou of HanZi :囗

A brief description of the BuShou of 囗.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :禾

A brief description of the BuShou of 禾.

From playlist The BuShou of HanZi

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

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

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

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

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

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

Video thumbnail

The BuShou of HanZi :耳

A brief description of the BuShou of 耳.

From playlist The BuShou of HanZi

Video thumbnail

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

Video thumbnail

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"

Video thumbnail

The BuShou of HanZi :宀

A brief description of the BuShou of 宀.

From playlist The BuShou of HanZi

Video thumbnail

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

Video thumbnail

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

Related pages

First-order logic | Alfred Tarski | Jon Barwise