Mathematical logic | Computability theory | Proof theory | Ramsey theory

Slicing the Truth

Slicing the Truth: On the Computability Theoretic and Reverse Mathematical Analysis of Combinatorial Principles is a book on reverse mathematics in combinatorics, the study of the axioms needed to prove combinatorial theorems. It was written by Denis R. Hirschfeldt, based on a course given by Hirschfeldt at the National University of Singapore in 2010, and published in 2014 by World Scientific, as volume 28 of the Lecture Notes Series of the Institute for Mathematical Sciences, National University of Singapore. (Wikipedia).

Slicing the Truth
Video thumbnail

Time Warp - Paper Cut

Watch more at http://dsc.discovery.com/videos/time-warp/ A paper cut in slow motion reveals its true nature: the parting of a molecular sea.

From playlist Time Warp

Video thumbnail

The Butcher: Dave Cuts Steaks on the Bandsaw | Exclusive | History

Judge Dave gives viewers tips on how proper-sized steaks are trimmed on the bandsaw. #TheButcher Subscribe for more from The Butcher and other great HISTORY shows: http://histv.co/SubscribeHistoryYT Find out more about the show and watch full episodes on our site: http://po.st/the-butcher

From playlist The Butcher | Official Series Playlist | History

Video thumbnail

The Butcher: Mystery Meat | Exclusive | History

These alternatives to beef and chicken taste better than they look in this exclusive video from "The Butcher". #TheButcher Subscribe for more from The Butcher and other great HISTORY shows: http://histv.co/SubscribeHistoryYT Find out more about the show and watch full episodes on our site

From playlist The Butcher | Official Series Playlist | History

Video thumbnail

Cut the letter E part 2

Part 1 is here: https://youtu.be/OGtrnIhy1JM Music by Bertrand Laurence http://www.bertrandlaurence.com used with permission. Find me on FaceBook: https://www.facebook.com/YouTubeTyYann

From playlist Tricks and Math Puzzles

Video thumbnail

Fair Division: The Last Diminisher Method

This video explains and provides an example of the last diminisher method of fair division. Site: http://mathispower4u.com

From playlist Fair Division

Video thumbnail

CUT A CIRCLE table saw from 2x4's DIY flywheels and tables

This is my favorite method of cutting a circle out of wood. Works for all diameter.

From playlist Woodworking like a Boss

Video thumbnail

How It's Made: Razor Blades

Stream Full Episodes of How It's Made: https://www.discoveryplus.com/show/how-its-made Subscribe to Science Channel: http://bit.ly/SubscribeScience Like us on Facebook: https://www.facebook.com/ScienceChannel Follow us on Twitter: https://twitter.com/ScienceChannel Follow us on Instag

From playlist How It's Made

Video thumbnail

Learn what fractions are - learn math online

👉 Learn how to understand the concept of fractions using parts of a whole. Fractions are parts of a whole and this concept can be illustrated using bars and circles. This concept can also be extended to understand equivalent fractions. When a whole bar is divided into, say, two equal parts

From playlist Learn About Fractions

Video thumbnail

Yongsoo Yang - Neural network-assisted atomic electron tomography - IPAM at UCLA

Recorded 26 October 2022. Yongsoo Yang of the Korea Advanced Institute of Science and Technology presents "Neural network-assisted atomic electron tomography" at IPAM's Mathematical Advances for Multi-Dimensional Microscopy Workshop. Abstract: Functional properties of nanomaterials strongl

From playlist 2022 Mathematical Advances for Multi-Dimensional Microscopy

Video thumbnail

Daniel Rueckert: "Deep learning and shape modelling for medical image reconstruction, segmentati..."

Deep Learning and Medical Applications 2020 "Deep learning and shape modelling for medical image reconstruction, segmentation and analysis" Daniel Rueckert, Imperial College London Abstract: This talk will discuss deep learning approaches for the reconstruction, super-resolution and segm

From playlist Deep Learning and Medical Applications 2020

Video thumbnail

Demetri Psaltis - Machine Learning for 3D Optical Imaging - IPAM at UCLA

Recorded 13 October 2022. Demetri Psaltis of the École Polytechnique Fédérale de Lausanne (EPFL) presents "Machine Learning for 3D Optical Imaging" at IPAM's Diffractive Imaging with Phase Retrieval Workshop. Abstract: In optical diffraction tomography (ODT), the 3D shape of an object is r

From playlist 2022 Diffractive Imaging with Phase Retrieval - - Computational Microscopy

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

Marvels of Space-Time | Episode 705 | Closer To Truth

Einstein showed that space and time are essentially the same thing-a single entity, space-time. But space and time seem so radically different. How could space and time be literally the same thing? Featuring interviews with Max Tegmark, J. Gott, Juan Maldacena, Fotini Markopoulou, and Joh

From playlist Closer To Truth | Season 7

Video thumbnail

Can Yule solve my problems - Alex Bellos

Oxford Mathematics Christmas Lecture: Can Yule solve my problems - Alex Bellos In our Oxford Mathematics Christmas Lecture Alex Bellos challenges you with some festive brainteasers as he tells the story of mathematical puzzles from the middle ages to modern day. Alex is the Guardian’s pu

From playlist Oxford Mathematics Public Lectures

Video thumbnail

Avi Loeb - What is the Large-Scale Structure of the Universe?

Galaxies and clusters of galaxies, untold billions of them, adorn the cosmos. How did such large-scale structure of the universe come about? The universe started as a hot soup. What stirred the soup into the vast ensemble of breathtaking objects that populate the universe? What was the pro

From playlist Closer To Truth - Avi Loeb Interviews

Video thumbnail

Ellen Zhoung - Machine learning for determining protein structure and dynamics from cryo-EM images

Recorded 14 November 2022. Ellen Zhong of Princeton University presents "Machine learning for determining protein structure and dynamics from cryo-EM images" at IPAM's Cryo-Electron Microscopy and Beyond Workshop. Abstract: Major technological advances in cryo-electron microscopy (cryo-EM)

From playlist 2022 Cryo-Electron Microscopy and Beyond

Video thumbnail

Stabbed: Britain's Knife Problem (Crime Documentary) | Real Stories

Featuring discussions with police, local politicians, teachers, students, and survivors, this powerful, hard-hitting documentary reveals the truth about knife crime in Britain. Shopkeepers sell lethal weapons to children; students confess that they "feel naked" if they don’t have a knife;

From playlist Crime Documentaries

Video thumbnail

Daniel Rueckert: "Deep learning in medical imaging"

New Deep Learning Techniques 2018 "Deep learning in medical imaging: Techniques for image reconstruction, super-resolution and segmentation" Daniel Rueckert, Imperial College London Abstract: This talk will introduce framework for reconstructing MR images from undersampled data using a d

From playlist New Deep Learning Techniques 2018

Video thumbnail

Cynthia Dwork - The Multi-X Framework Pt. 3/4 - IPAM at UCLA

Recorded 13 July 2022. Cynthia Dwork of Harvard University SEAS presents "The Multi-X Framework" at IPAM's Graduate Summer School on Algorithmic Fairness. Abstract: A third general notion of fairness lies between the individual and group notions. We call this “multi-X,” where “multi” refer

From playlist 2022 Graduate Summer School on Algorithmic Fairness

Video thumbnail

How to rewrite a negative integer to a fraction

👉 Learn how to understand the concept of fractions using parts of a whole. Fractions are parts of a whole and this concept can be illustrated using bars and circles. This concept can also be extended to understand equivalent fractions. When a whole bar is divided into, say, two equal parts

From playlist Learn About Fractions

Related pages

Order embedding | Ramsey's theorem | Laver's theorem | Reverse mathematics | Low basis theorem | Combinatorics | Forcing (mathematics) | Peano axioms | IP set | Conservative extension | Infinitary combinatorics | Induced subgraph | Computability theory | Second-order arithmetic | Hypergraph | Graph coloring | Axiom | Dushnik–Miller theorem | Edge coloring | Kruskal's tree theorem