Philosophers of mathematics

Solomon Feferman

Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. (Wikipedia).

Solomon Feferman
Video thumbnail

Pierre de Fermat: Biography of a Great Thinker

As a mathematician, Pierre de Fermat is known as the "Prince of Amateurs." He was actually a lawyer, but worked on math as a hobby. He helped found probability theory and analytic geometry, and made many contributions to number theory. He is possibly best known for "Fermat's Last Theore

From playlist It Starts With Literacy

Video thumbnail

Everything you need to know about Fermilab

Fermilab is one of the world’s finest laboratories dedicated to studying fundamental questions about nature. In this video, Fermilab’s own Dr. Don Lincoln talks about some of Fermilab’s leading research efforts that will lead the field for the next decade or two. If you want to learn more

From playlist LBNF/DUNE/PIP-II

Video thumbnail

A moment with Aaron Sauers

Aaron Sauers is a bridge between Fermilab and industry. As Fermilab's patent and licensing executive, he works with the lab's inventors to find ways that their innovations can help tackle problems and improve our everyday lives. By exploring areas of common interest between the lab and pri

From playlist Better know a researcher

Video thumbnail

Richard Feynman Thinking Part 1 of 2

Richard Phillips Feynman was an American physicist known for the path integral formulation of quantum mechanics, the theory of quantum electrodynamics and the physics of the super fluidity of super cooled liquid helium, as well as work in particle physics (he proposed the Parton model). Fo

From playlist Feynman's Lectures

Video thumbnail

No question too small

A renowned physicist and recipient of numerous science awards, including the Nobel Prize, famed former Fermilab Director Leon Lederman was everyman to the kids he met. Fermilab's Dee Hahn recounts how Lederman entertained the children at the Fermilab daycare center.

From playlist 50th Anniversary

Video thumbnail

Michael Rathjen: The Ubiquity of Schütte's Search Trees

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Progressions of theories along paths through Kleene's $\mathcal O$, adding the consistency of the previous theory at every successor step, can deduce every true $\Pi^0_1$

From playlist Workshop: "Proof, Computation, Complexity"

Video thumbnail

Fermium - Periodic Table of Videos

Fermium is named after a pioneer in the field of radioactivity and nuclear power, Enrico Fermi. More links in description below ↓↓↓ Support Periodic Videos on Patreon: https://www.patreon.com/periodicvideos A video on every element: http://bit.ly/118elements More at http://www.periodicv

From playlist With Portuguese subtitles (Português) - Periodic Videos

Video thumbnail

Kurt Gödel Centenary - Part I

Institute for Advanced Study November 17, 2006 Karl Sigmund (University of Vienna) Solomon Feferman (Stanford University) More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

Quantum science and Fermilab

Joe Lykken, Fermilab's deputy director of research, discusses the future of quantum computing and science - including the role organizations like Fermilab will play. Learn more about the Fermilab Quantum Institute at https://quantum.fnal.gov/ For more information on Fermilab, visit https:

From playlist Quantum Physics

Video thumbnail

Richard Feynman - The.Character of Physical Law - Part 1 The Law of Gravitation (full version)

Richard Feynman (full version) Lectures at Cornell - The.Character of Physical Law - Part 1 The Law of Gravitation (full version)

From playlist Feynman's Lectures

Video thumbnail

Panel Discussion: Resilience in the Solomon Islands

This discussion addresses the unique characteristics that enable resilience in the Solomon Islands in the face of rapid globalization, shifting climates, changing ocean processes, and local ecologies. Panelists talked about the need to strategically manage for resilience in the Solomons,

From playlist 2013 Milstein Science Symposium

Video thumbnail

Kings of Solomon: New Jerusalem - Ethiopian Empire #2 - EXTRA HISTORY

--- Thanks so much to World Anvil for helping us forge today's historical tale! Use audience promo code EXTRACREDITS to get 40% off of any annual membership on checkout. http://www.worldanvil.com/extracredits --- Jerusalem, the Kingdom of Israel Circa 950 BC, the Queen Makeda of Ethiopia,

From playlist Extra History: Ethiopian Empire King Solomon

Video thumbnail

(IC 1.3) Applications of Error-correcting codes

Applications of Information theory and Coding. Compression algorithms: Huffman codes, Arithmetic coding, Lempel-Ziv Error-correction algorithms: Hamming codes, Reed-Solomon codes, Turbo codes, Gallager (LDPC) codes Attribution for images: Hummingbird http://en.wikipedia.org/wiki/File

From playlist Information theory and Coding

Video thumbnail

Ethiopian Emperors Family Tree (Solomonic Dynasty) | feat. From Nothing

Download the chart as a PDF (free): https://cdn.shopify.com/s/files/1/1835/6621/files/solomonic-new.pdf?v=1595784844 Check out these great African History channels: From Nothing - https://www.youtube.com/channel/UCe8ECDU2IldN_rAAAXUvyUQ Hidden History - https://www.youtube.com/channel/UCa

From playlist Royal Family Trees

Video thumbnail

Lec 12 | MIT 6.451 Principles of Digital Communication II

Reed-Solomon Codes View the complete course: http://ocw.mit.edu/6-451S05 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 6.451 Principles of Digital Communication II

Video thumbnail

List decodability of randomly punctured codes - Mary Wootters

Mary Wootters University of Michigan March 24, 2014 We consider the problem of the list-decodability of error correcting codes. The well-known Johnson bound implies that any code with good distance has good list-decodability, but we do not know many structural conditions on a code which gu

From playlist Mathematics

Video thumbnail

2022 Fermilab highlights

Scientists and engineers from more than 50 countries collaborate with the U.S. Department of Energy’s Fermi National Accelerator Laboratory to develop state-of-the-art technologies and solve the mysteries of matter, energy, space and time. Here are highlights of how they advanced science a

From playlist Fermilab Featured Videos

Video thumbnail

Ancient Aliens: HIDDEN TREASURE HOLDS EXTRATERRESTRIAL POWER (Season 7) | History

Watch all new episodes of Ancient Aliens returning soon, and stay up to date on all of your favorite History Channel shows at https://history.com/schedule. After a stunning discovery links back to Solomon's Temple, treasure hunters speculate the temple holds valuable relics including a ri

From playlist Ancient Aliens: Official Series Playlist | New Episodes Fridays at 9/8c | History

Related pages

Feferman–Schütte ordinal | Alfred Tarski | Ordinal collapsing function | Mathematical logic | New Foundations | Philosophy of mathematics | Category theory | Jon Barwise