Mathematical logic

Rosser's trick

In mathematical logic, Rosser's trick is a method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent (Smorynski 1977, p. 840; Mendelson 1977, p. 160). This method was introduced by J. Barkley Rosser in 1936, as an improvement of Gödel's original proof of the incompleteness theorems that was published in 1931. While Gödel's original proof uses a sentence that says (informally) "This sentence is not provable", Rosser's trick uses a formula that says "If this sentence is provable, there is a shorter proof of its negation". (Wikipedia).

Video thumbnail

Rope Trick for my neighborhood

During my show, a rope is spotted in my sleeve. I pull it...

From playlist My Magic

Video thumbnail

The Middle Finger Trick

This is my entry to Ericsurf6's contest. http://www.youtube.com/watch?v=yYlHLoGqNT0 Find me on FaceBook: http://www.facebook.com/pages/YouTube-TyYanns-page/130204640380067

From playlist Other...

Video thumbnail

Vanishing Coin Trick! (How to)

Add me on Facebook http://www.facebook.com/brusspup This is a great little trick to perform at a party. Really simple but great effect. You can use any type of material or color you want. Follow me on Twitter: http://www.twitter.com/brusspup

From playlist Magic Tricks

Video thumbnail

Card teleportation trick with Libby

A card teleportation illusion demonstrated with Libby. Follow Libby on Facebook here: https://www.facebook.com/LibbyJeisman123 See another trick with Libby here: https://www.youtube.com/watch?v=ik1ZZQOsP6U https://www.youtube.com/watch?v=iNYIFBNp3aA

From playlist Magic

Video thumbnail

Huge Finger Board Trick!

1 quick super finger board trick. Slow motion!

From playlist Funny Videos, Parodies, Odds and ends!

Video thumbnail

C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13

In Chapter 12, Lazy Evaluation, Dr. Meijer takes us on a journey into the world of order of evaluation (when expressions are evaluated). In the case of lazy evaluation, computation is delayed until the result of the computation is known to be required. Most programming languages that most

From playlist Haskell - Functional Programming Fundamentals (Dr. Erik Meijer )

Video thumbnail

Volker Diekert: Recognizable languages are Church-Rosser congruential

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist SPECIAL 7th European congress of Mathematics Berlin 2016.

Video thumbnail

Teen Mom Vanished: The Disappearance of Cherisse Houle (Missing Teenager Documentary) | Real Stories

Teen Mom Vanished: The Disappearance of Cherisse Houle (Missing Teenager Documentary) | Real Stories In 2009, 17-year-old Cherisse Houle’s body was found near Sturgeon Creek, in rural Manitoba. Cherisse was a vulnerable teenager with a tumultuous life. She was a mother herself, trying to

From playlist Taken

Video thumbnail

Live CEOing Ep 342: Combinators in Wolfram Language and Wolfram Physics

In this episode of Live CEOing, Stephen Wolfram discusses the language design of Wolfram Language functions relating to combinators and the Wolfram Physics Project. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

MegaFavNumbers: LCM(1 to 113) = 955,888,052,326,228,459,513,511,038,256,280,353,796,626,534,577,600

Music - Bolero by Ravel Mathematica Adobe After Effects MegaFavNumbers Sources: https://en.wikipedia.org/wiki/Chebyshev_function Approximate Formulas for Some Functions of Prime Numbers by J. Barkley Rosser and Lowell Schoenfeld: https://projecteuclid.org/download/pdf_1/euclid.ijm/125563

From playlist MegaFavNumbers

Video thumbnail

10 Amazing demonstration, Magnus effect!

In this video i show magnus effect with explanation (football shoots, Flettner rotor, and basketball).

From playlist MECHANICS

Video thumbnail

14.1 Molecular Mass, the Mole, and Avogadro's Number

This video covers Section 14.1 of Cutnell & Johnson Physics 10e, by David Young and Shane Stadler, published by John Wiley and Sons. The lecture is part of the course General Physics - Life Sciences I and II, taught by Dr. Boyd F. Edwards at Utah State University. This video was produced

From playlist Lecture 14. The Ideal Gas Law and Kinetic Theory

Video thumbnail

How explained Slinky down stairs!!!

In this video i show and explained slinky move down stairs!

From playlist MECHANICS

Video thumbnail

Presidential Eyeglasses and Forgotten History

You can find my glasses at GlassesUSA.com. Check them out here for a great offer & free shipping https://bit.ly/HistoryGuy-GlassesUSA (Additional rules may apply, free shipping to US & CA) My Glasses: Ottoto Mexicali - https://bit.ly/HistoryGuy-Mexicali Elliot - https://bit.ly/HistoryGu

From playlist History without War

Video thumbnail

Make A Vortex Cannon!

Add me on facebook: (Click the LIKE button on facebook to add me) https://www.facebook.com/pages/Brusspup/158773774166995 This is such a simple project with really fun results. The box doesn't have to be the exact dimensions as the one in the video. You can experiment with the size. You

From playlist Cool Science Tricks

Video thumbnail

Construction's SMEs Need You! | The B1M

The construction industry is made up of thousands of small and medium sized enterprises - and they need people like you! For more by The B1M subscribe now - http://ow.ly/GxW7y Funded by Neighbourhood Services Company (NSC) and CITB under the BIM 4 Education initiative. Our thanks to Clas

From playlist BIM for SMEs | The B1M

Video thumbnail

Amazing Trick

cool watch the whole thing it very cool at the end...

From playlist Interesting Videos

Video thumbnail

Jason Rosenhouse - Raymond Smullyan's Mathematics - G4G13 Apr 2018

I give an overview of Smullyan's mathematical research

From playlist G4G13 Videos

Video thumbnail

Arduino: Hobbyist Electronics to Orbit! - Computerphile

Arduinos are used extensively in hobbyist electronics and hacker culture, but what is an arduino & how can you use them? Joe explains how they're used in both hobby projects and space programmes.... Raspberry Pi Hardware: http://www.youtube.com/watch?v=sx2HjuZBuo0 Texting Cabbage with a R

From playlist Arduino

Video thumbnail

Sleight of Hand Magic Card Trick, Revealed!

A super simple, yet effective trick. Learn in seconds!

From playlist Magic Tricks

Related pages

Elliott Mendelson | Mathematical logic | Diagonal lemma | Peano axioms | Gödel's incompleteness theorems | Jon Barwise