logician and mathematician
POPULARITY
Janna Levin is a theoretical physicist and cosmologist specializing in black holes, cosmology of extra dimensions, topology of the universe, and gravitational waves. Thank you for listening ❤ Check out our sponsors: https://lexfridman.com/sponsors/ep468-sc See below for timestamps, transcript, and to give feedback, submit questions, contact Lex, etc. Transcript: https://lexfridman.com/janna-levin-transcript CONTACT LEX: Feedback - give feedback to Lex: https://lexfridman.com/survey AMA - submit questions, videos or call-in: https://lexfridman.com/ama Hiring - join our team: https://lexfridman.com/hiring Other - other ways to get in touch: https://lexfridman.com/contact EPISODE LINKS: Janna's X: https://x.com/JannaLevin Janna's Website: https://jannalevin.com Janna's Instagram: https://instagram.com/jannalevin Janna's Substack: https://substack.com/@jannalevin Black Hole Survival Guide (book): https://amzn.to/3YkJzT5 Black Hole Blues (book): https://amzn.to/42Nw7IE How the Universe Got Its Spots (book): https://amzn.to/4m5De8k A Madman Dreams of Turing Machines (book): https://amzn.to/3GGakvd SPONSORS: To support this podcast, check out our sponsors & get discounts: Brain.fm: Music for focus. Go to https://brain.fm/lex BetterHelp: Online therapy and counseling. Go to https://betterhelp.com/lex NetSuite: Business management software. Go to http://netsuite.com/lex Shopify: Sell stuff online. Go to https://shopify.com/lex AG1: All-in-one daily nutrition drink. Go to https://drinkag1.com/lex OUTLINE: (00:00) - Introduction (00:51) - Sponsors, Comments, and Reflections (09:21) - Black holes (16:55) - Formation of black holes (27:45) - Oppenheimer and the Atomic Bomb (34:08) - Inside the black hole (47:10) - Supermassive black holes (50:39) - Physics of spacetime (53:42) - General relativity (59:13) - Gravity (1:15:47) - Information paradox (1:24:17) - Fuzzballs & soft hair (1:27:28) - ER = EPR (1:34:07) - Firewall (1:42:59) - Extra dimensions (1:45:24) - Aliens (2:01:00) - Wormholes (2:11:57) - Dark matter and dark energy (2:22:00) - Gravitational waves (2:34:08) - Alan Turing and Kurt Godel (2:46:23) - Grigori Perelman, Andrew Wiles, and Terence Tao (2:52:58) - Art and science (3:02:37) - The biggest mystery PODCAST LINKS: - Podcast Website: https://lexfridman.com/podcast - Apple Podcasts: https://apple.co/2lwqZIr - Spotify: https://spoti.fi/2nEwCF8 - RSS: https://lexfridman.com/feed/podcast/ - Podcast Playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4 - Clips Channel: https://www.youtube.com/lexclips
We talk about: All the things we can't talk about yet. Kurt Godel's Incompleteness Theorems The Walking Dead
¡Bienvenidos una semana más, y un año más a Dragones y Replicantes! Confiamos en que este 2024 venga cargado de alegría y os colme de parabienes. Por el momento, solo podemos garantizaros que Dragones y Replicantes sigue más friki y más amateur que nunca. Porque, en efecto, Julio se ha cambiado por fin de portátil y está acostumbrándose nuevamente a los programas, motivo por el cual el audio de Chechu se escucha anormalmente bajo y hemos tenido que prescindir de la música. Para el programa de hoy vamos a hablar de grandes científicos, pero enfocándonos en aspectos que suelen pasarse por alto en los libros u ocupan un tímido pie de página pero que a nosotros nos resultan fascinantes, como buenos frikazos sórdidos que somos. En efecto, vamos a hablar de esos aspectos de la vida rarunos, peculiares o extravagantes que hacen de los genios esos seres fascinantes y complejos que son. Por aquí desfilarán Santiago Ramón y Cajal y su afición al culturismo, Ronald Fisher y su cruzada contra el tabaco, el mafioso de Isaac Newton y su odio a los calcetines, Kurt Godel y su manía persecutoria, el polémico y encantador bocachancla Fred Hoyle y muchos otros que os sorprenderán y, seguramente, os sacarán alguna que otra carcajada. Recordad que podéis dejarnos vuestras opiniones en la cajita de comentarios de Ivoox o en nuestras redes sociales: Twitter: @Hugodevries11 // @TxeRincon Bluesky: @GabineteC.bsky
Episode: 2446 Gödel, Ginsberg, and the limits of logic. Today, the limits of logic.
Link to bioRxiv paper: http://biorxiv.org/cgi/content/short/2023.07.31.551301v1?rss=1 Authors: Hale, Z., Rasche, S. E., Beyh, A., Zeki, S. Abstract: In systems of logic (as in mathematics) axioms are statements whose truths are self-evident but cannot be proven; they are the foundation from which further propositional truths are derived. Previous attempts, led by David Hilbert, to show that all of mathematics can be built into an axiomatic system that is complete and consistent failed when Kurt Godel proved that there will always be statements which are known to be true but can never be proven within the logical system. But Godel and his followers took no account of brain mechanisms that generate and mediate logic. Here we show that in the case of so-called "optical illusions" there exists a significant and irreconcilable difference between their visual perception and their description according to Euclidean geometry. In psychophysical experiments, when participants are asked to adjust, from an initial randomised state, the perceptual geometric axioms to conform to the Euclidean description, the two never match. These results provide evidence that perceptual axioms, or statements known to be true perceptually, cannot be described mathematically. Thus the logic of the visual perceptual system is irreconcilable with the cognitive (mathematical) system and cannot be updated even when knowledge of the difference between the two is available. Hence no one brain reality is more "objective" than any other. Copy rights belong to original authors. Visit the link for more info Podcast created by Paper Player, LLC
Do history's greatest thinkers care about time management? In today's episode, Cal analyzes the system that the mathematician and philosopher, Kurt Godel, used to structure his days, weeks, and years to produce meaningful work over a long period of time. Below are the questions covered in today's episode (with their timestamps). Get your questions answered by Cal! Here's the link: bit.ly/3U3sTvo Video from today's episode: youtube.com/calnewportmedia Today's Deep Question: How do geniuses structure their life? [8:00] - How do I follow through on the projects I start? [34:33] - Is creating a deep environment one of the deep life buckets? [42:14] - How do I find examples of my ideal lifestyle? [48:24] - Should I switch jobs, I'm bored (but effective)? [59:20] CAL REACTS: The ReMarkable 2 tablet. Is it worth it? [1:11:57] Thanks to our Sponsors: This episode is sponsored by BetterHelp. Give online therapy a try at betterhelp.com/deepquestions and get on your way to being your best self drinklmnt.com/deep 80000hours.org/deep hensonshaving.com/cal Thanks to Jesse Miller for production, Jay Kerstens for the intro music, and Mark Miles for mastering.
Episode: 2446 Gödel, Ginsberg, and the limits of logic. Today, the limits of logic.
Marlawn's Podcast NetworkMy Store/Closet: https://posh.mk/nnGWfGh7vob Marlawn Heavenly VII 307 Cañon Ave #123Manitou Springs, CO 80829 ------------------Cash App: $Marlawn7PayPal: SportyNerd@ymail.com Venmo: Marlawn7 www.Marlawn.comMarlawn's Podcast Network (On All Platforms)They Shooting! How Not to Get Murdered Mirror of QuestionsThe Cult of The Individual Colorado Rocky Motives Elon Musk Fail… The Black Briefcase Hello I Am… Marlawn A Genius! Billions Black Breakdown Braincell MatesSherlock Homeboy Marlawn's Brief History in Rhyme Emoji-Less Words I Hate I love Boxing Internal Negro Affairs Culture Blues
In this episode I talk with Kal Rivet, the host of the "Universalism Against the World" podcast. We mention Jacob Faturechi, John Hick, Chris Langan, Bertrand Russel, Kurt Godel, Gottlob Frege, Keith Ward, Chris Date, Jon VanZeen, Preston Sprinkle, James White, John Vervaeke, Paul Vanderklay, and more. Universalism Against the World: https://open.spotify.com/show/3d4QlAnRwp51f9psDU04xh
In this stream I am joined by Jay Dyer to discuss the problem of circularity as it relates to foundationalism, worldviews, and why it is so important concerning Christian apologetics. We will be hitting on everything from induction (Hume & Kant), the work of Thomas Kuhn, Willard Quine, and Kurt Godel, as well revelation and the coherency theory of truth. Make sure to check it out and let me know what you think.
People use a lot of common phrases without thinking and as a result say some pretty illogical and stupid things. But the one of the worst common phrases is the supposed definition of Insanity often attributed to Einstein. The fact that this quote is consciously repeated with pride and no reflection is as good of an indication as any that we are unthinking creatures who mostly sniff the smells on our fingers. Also, why is Judas Priest Not In The Rock and Roll Hall of Fame? #ICouldCareLess
In this episode your hosts travel through history, thinking their way through thorny Zen koans and appreciating the minds of Socrates, Plato, and Aristotle. They also discuss Kurt Godel and his Incompleteness Theorem in a mind-blowing reflection on the nature of truth. Remember, you must empty your cup in order to fill it?
In this week's episode, we interview Stephen Budiansky, a veteran historian, biographer, and journalist who has published 15 books, including his current biography, Journey to the Edge of Reason: The Life of […]
In this episode of the 18Forty Podcast, we sit down with Dr. Aaron Segal, philosophy professor and student of both Rav Aharon Lichtenstein and Alvin Plantinga, to discuss God from the perspective of analytic philosophy. Analytic philosophy is mathematical, breaking claims into small pieces to rigorously analyze the language and concepts. The cost of this approach is its unwieldiness and high standards, which Aaron believes has precluded it from providing a capital-P proof of God’s existence. But one can still reason about God, and though some would claim belief in God is irrational, Aaron thinks its rationality is justified. -What are the approaches one can take to belief in God?-What are the limits of analytic philosophy in talking about God?-What are the limits of a philosophy like Plantinga’s reformed epistemology?-Can one’s knowledge of God be purely experiential?Tune in to hear Aaron talk about both the power and limits of reasoning applied to God.References:Tractatus Logico-Philosophicus by Ludwig WittgensteinKuzari by Yehuda HaLeviMetaphysics by Peter van InwagenAdvice to Christian Philosophers by Alvin PlantingaThe Source of Faith is Faith Itself by Rav Aharon Lichtenstein"The Source of Faith..." Examined by Aaron SegalKurt Godel's ontological argument - https://plato.stanford.edu/entries/ontological-arguments/#GodOntArgScholarly Mentions:Rav Aharon Lichtenstein, Alvin Plantinga, Kurt Godel, Bertrand Russel, Ludwig Wittgenstein, Yehuda HaLevi, David Hilbert, Immanuel Kant, David Chalmers, Georg Cantor, John Locke, David Hume, David Johnson (YU) For more, visit https://18forty.org/topics/god. Dr. Aaron Segal is a lecturer in the Department of Philosophy at the Hebrew University of Jerusalem, and formerly taught philosophy in Yeshiva University. Aaron received his doctorate from the University of Notre Dame, where Alvin Plantinga was one of his thesis directors. He has co-authored and co-edited books on Jewish philosophy, such as Jewish Philosophy in an Analytic Age. Aaron is masterful in his knowledge and comfort in the profound questions of analytic philosophy, and also received Semicha from the Chief Rabbinate in Israel.
Episode: 1899 Kurt Gödel: A mathematician brings us down to earth. Today, a mathematician brings us down to earth.
In this lecture at the Philosophical Research Society (PRS) of Los Angeles, Dennis William Hauck presents a short history of alchemy centered on the fabled Emerald Tablet and expands the ancient wisdom into a viable discipline of personal transformation for modern times. Topics include Alexandrian alchemists, Balinas (Apollonius), First Matter, the Philosopher's Stone, the seven operations of alchemy, Kurt Godel, Carl Jung, and more.
L'intelligenza artificiale si scontra con l'indecidibilità e fa i conti con i limiti della conoscenza
di Roberta Fulci
di Roberta Fulci
In our final episode of the biographical series on Albert Einstein, we look at the last twenty years of his life in the United States. We consider his conversations with the mathematician Kurt Godel, the letters to Franklin Delano Roosevelt that helped initiate what would become the Manhattan Project, his post-war efforts to promote peace and his principled defiance of McCarthyism.
This is an Overheard@X short with Dr. Radhika Dirks, CEO of XLabs. It’s a brief dive into the deep roots of AI. David Hilbert in 1900 gave an address in Paris to the International Congress of Mathematicians that inspired much of the world we live in today. We believe that understanding the roots of the concepts others take for granted allows us to see new routes to technology. Jump on board an intellectual roller coaster as David Hilbert, Hermann Minkowski, Kurt Godel, Alan Turing, Mathematics, Quantum Computing and AI all come together in just over 12 minutes!
Sean from Austin joins John and Myself(Chris) for a discussion about- DNA, Gregory Bateson, X-ray Crystallography, G-Factor, Cavendish Laboratory,Julius Robert Oppenheimer, Edward Kelley, Cold Spring Harbor, 23 and Me, Kurt Godel, Bertrand Russel, Cybernetics, Phi Beta Kappa Society, The English Language, Bruce Lee, Francis Galton, The Kennedys, John Frankenheimer, Rockets in Space, Sunset Boulevard, RKO Pictures, Rock Oil, LaBrea Tar Pits, Jack Horner, Dinosaurs, Wernher von Braun, Space, The Moon Landing Hoax, Nukes, Wolfgang Pauly, The World Set Free Book by HG Wells. Note: Seans connection drops at the end. Commute Music: Crystal Clear by Wilbert Longmire hoaxbusterscall.com
Influence Science and Practice book by Robert B Cialdini, The Foot-In-The-Door Technique, SJWs, Westminster Bridge Attack,Cannibalism, Michael Tellinger, Pizzagate, The Dollar, Elon Musk, Space x, D-Wave, Nuke Lies, The Great Moon Hoax of 1835, Shaquel Oneill, Veganism, Actors, The Big Bang Theory, Ed Teller, Biometrics, Kurt Godel, John Trump, Nicola Tesla, Bears, Bigfoot, Greyhound, Idiocracy, Rocky Horror Picture Show, Obama Care. Intro Hold Music Snippet:Herb (Herby) Remington - Plays The Steel via John Adams Recommended Listening Endcap: Message from Paul Craig Roberts(Jay Dyer), Caveman by Placeboing via Thee Lion, Lenny the Call Bot.(toao.net) hoaxbusterscall.com
We speculate on whether Eric Bristow's dart skills might unlock the secrets of the universe and Dr. Matt patiently breaks down the concept of infinity into bite size chunks for the sake of Tim's sanity, by way of Georg Cantor's theory of one to one correspondence.
Janna Levin is an astrophysicist and writer. She has contributed to an understanding of black holes, the cosmology of extra dimensions, and gravitational waves in the shape of spacetime. She is the author of “A Madman Dreams of Turing Machines,” which won the PEN/Bingham prize. This interview is edited and produced with music and other features in the On Being episode “Janna Levin — Mathematics, Purpose, and Truth.” Find more at onbeing.org.
An astrophysicist who studies the shape of the universe, Janna Levin has also explored her science by writing a novel about two pivotal 20th-century mathematicians, Kurt Gödel and Alan Turing. Both men pushed at boundaries where mathematics presses on grand questions of meaning and purpose. Such questions, she says, help create the technologies that are now changing our sense of what it means to be human.
Janna Levin on her book Madman Dreams of Turing Machines, the story of two great mathematicians, Kurt Godel and Alan Turing. They were men who had the capacity to think about the most abstract of mathematical truths but had very limited abilities when it came to confronting the mundane aspects of life. Both committed suicide.
Janna Levin on her book Madman Dreams of Turing Machines, the story of two great mathematicians, Kurt Godel and Alan Turing. They were men who had the capacity to think about the most abstract of mathematical truths but had very limited abilities when it came to confronting the mundane aspects of life. Both committed suicide.
Science historian and author (Darwin Among the Machines) George Dyson on the Origins of the Digital Universe. The talk focuses on the work done at The Institute for Advanced Study in Princeton New Jersey by such renowned scientists as John von Neumann and Kurt Godel.
Science historian and author (Darwin Among the Machines) George Dyson on the Origins of the Digital Universe. The talk focuses on the work done at The Institute for Advanced Study in Princeton New Jersey by such renowned scientists as John von Neumann and Kurt Godel.
Science historian and author (Darwin Among the Machines) George Dyson on the Origins of the Digital Universe. The talk focuses on the work done at The Institute for Advanced Study in Princeton New Jersey by such renowned scientists as John von Neumann and Kurt Godel.
Grace au Professeur Lao Thet Dahn, decouvrons comment le celebre mathematicien Kurt Godel reussit a prouver l'existence de l'Inaudible.