Mathematical paradoxes

Richard's paradox

In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics. Kurt Gödel specifically cites Richard's antinomy as a semantical analogue to his syntactical incompleteness result in the introductory section of "On Formally Undecidable Propositions in Principia Mathematica and Related Systems I". The paradox was also a motivation for the development of predicative mathematics. (Wikipedia).

Video thumbnail

Newcomb's paradox | Famous Math Problems 7 | NJ Wildberger

Newcomb's paradox was first studied by American physicist William Newcomb, and popularized by articles by Robert Nozick and famously Martin Gardner in one of his 1974 Mathematical Games columns in Scientific American. The paradox involves notions of free will, determinism, choice, probabil

From playlist Famous Math Problems

Video thumbnail

Even More Paradoxical: The Twin Paradox in Curved Spacetime

The Twin Paradox gets a stranger, even more mind-bending upgrade in General Relativity's world of curved spacetime. We explore the surprising and relatively unknown results to these new scenarios, while getting our toes wet in some of GR's conceptual frameworks. And finally, after several

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

J. Richard Gott III - Is Time Travel Possible?

Free access Closer to Truth's library of 5,000 videos: http://bit.ly/2UufzC7 Some scientists take time travel seriously. Should you? What does time travel reveal about the nature of space and time? What about the laws of physics under extreme conditions? And don't forget those 'Grandfathe

From playlist Is Time Travel Possible? - CTT Interview Series

Video thumbnail

The Andromeda Paradox Explained: Loss of simultaneity in special relativity

#SpecialRelativity Bob is sitting on a park bench feeding pigeons. He sees Alice heading in his direction, enjoying a morning run. “How are you?” he calls. Breathless, she responds. “Fine. But an armada from the Andromeda Galaxy has just departed for Earth.” Bob laughs. “No, it hasn’t!” Wh

From playlist Special Relativity - A Gentle Introduction

Video thumbnail

Relativity: how people get time dilation wrong

Einstein’s special theory of relativity is notorious for being easy to misuse, with the result that sometimes result in claims of paradoxes. When one digs more carefully into the theory, you find that no such paradoxes actually exist. In this video, Fermilab’s Dr. Don Lincoln describes a

From playlist Relativity

Video thumbnail

Russell's Paradox - A Ripple in the Foundations of Mathematics

Bertrand Russell's set theory paradox on the foundations of mathematics, axiomatic set theory and the laws of logic. A celebration of Gottlob Frege. Thank you to Professor Joel David Hamkins for your help with this video. Hi! I'm Jade. Subscribe to Up and Atom for physics, math and com

From playlist Math

Video thumbnail

3 Paradoxes That Gave Us Calculus

Watch over 2,400 documentaries for free for 30 days AND get a free Nebula account by signing up at https://curiositystream.com/upandatom and using the code "upandatom". Once you sign up you'll get an email about Nebula. If you don't get one, contact the curiosity stream support team and th

From playlist Math

Video thumbnail

J. Richard Gott - How Can Space and Time be the Same Thing?

What does it mean for space and time to be the same thing? Not related to each other, but literally two descriptions of precisely the same entity called 'spacetime'? One cannot understand existence without understanding spacetime. Free access to Closer to Truth's library of 5,000 videos:

From playlist What is Time? - Closer To Truth - Core Topic

Video thumbnail

What is Bertrand Russels Barber Paradox?

Logical paradoxes are some of the most infuriating and frustrating problems that we can try to solve. As humans, we always want to find an answer and we naturally assume that an answer must exist. In the case of Bertrand Russell's Barber Paradox, a solution does exist, but it becomes even

From playlist Concerning Questions

Video thumbnail

Relativity 5c - twin paradox redux 1

Here we extend our video 5a (https://youtu.be/kN_d7eknfYk) treatment of the twin "paradox" of special relativity. Apologies to Richard Feynman for my typo at 2:46 which renamed him Feynmann. This while I was literally reading my copy of the Feynman Lectures to get the quote in question.

From playlist Relativity

Video thumbnail

How to Solve the Liar Paradox

Most paradoxes either stem from the misunderstanding of a topic, or aren't really paradoxes. However, here is a paradox that seems to contradict logic itself. What's going on here? And what does the liar paradox have to do with computer science? #some2

From playlist Summer of Math Exposition 2 videos

Video thumbnail

What is God's Own Being? | Episode 1706 | Closer To Truth

What is God's own being? To what kind of entity does the word “God” refer? What is this God that all worship or dismiss? What, supposedly, is God’s nature? What are God’s traits? Featuring interviews with Richard Swinburne, Robert Spitzer, Varadaraja V. Raman, and Neil N. Gillman. Season

From playlist Big Questions About God - Closer To Truth - Core Topic

Video thumbnail

Lecture 12.3: The Amazing Alan Turing - Richard Buckland (extension lecture) UNSW 2008

We had a gap at the end of Lecture 12 so Richard gives an unplanned and impromptu talk about some of the contributions of the amazing thinker Alan Turing. So much to say, so little time, such fast talking. We chat about 3 different major contributions he made to the world - his decrypt

From playlist CS1: Higher Computing - Richard Buckland UNSW

Video thumbnail

Time Travel Paradoxes in Doctor Who and Futurama | Sci-Phi: Science Fiction as Philosophy

If a time traveler from the future hands you a written speech to give, and you give it and it changes the world, and he dictates it word-for-word to give you in the past so you can give the speech, where did the speech come from? Einstein said the only difference between past, present, and

From playlist Science

Video thumbnail

Why the number 0 was banned for 1500 years

Watch over 2,400 documentaries for free for 30 days AND get a free Nebula account by signing up at https://curiositystream.com/upandatom. Once you sign up you'll get an email about Nebula! Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :) ht

From playlist Math

Video thumbnail

Why it took 379 pages to prove 1+1=2

Sign up to Brilliant to receive a 20% discount with this link! https://brilliant.org/upandatom/ Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :) https://www.patreon.com/upandatom Visit the Up and Atom store https://store.nebula.app/collecti

From playlist Math

Video thumbnail

Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2

My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im

From playlist Summer of Math Exposition 2 videos

Video thumbnail

RSA Conference USA 2010: Dealing with Threats in Cyberspace without Creating Big Brother 2/6

Clip 2/6 MODERATOR: Quentin Hardy, National Editor, Forbes Magazine PANELISTS: Marc Rotenberg. Michael Chertoff. Richard Clarke Nation states are engaged in massive cyber espionage against the private sector, as well as against other governments. New cyber war military commands also

From playlist RSA Conference USA 2010

Video thumbnail

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

Explore Gödel’s Incompleteness Theorem, a discovery which changed what we know about mathematical proofs and statements. -- Consider the following sentence: “This statement is false.” Is that true? If so, that would make the statement false. But if it’s false, then the statement is true.

From playlist New TED-Ed Originals

Video thumbnail

Mark Burstein - The Literary Englishman & the "Scientific American" - G4G14 Apr 2022

"The Literary Englishman and The Scientific American" discusses Martin Gardner's affinity for Lewis Carroll as expressed in his "Mathematical Games," where Carroll was the most mentioned individual over the life of the column. Along with various diversions and digressions, the lavishly ill

From playlist G4G14 Videos

Related pages

Set theory | Arithmetic | Solomon Feferman | Löb's theorem | Map (mathematics) | Ordinal definable set | Curry's paradox | Berry paradox | Foundations of mathematics | Algorithmic information theory | Zermelo–Fraenkel set theory | Proof theory | Impredicativity | Real analysis | Natural number | Mathematics | Tarski's undefinability theorem | Real number | Halting problem | Prime number | Axiom | Hermann Weyl | Canonical form | Kleene–Rosser paradox | Russell's paradox | Cantor's diagonal argument | Metamathematics