Podcasts about riemann

  • 199PODCASTS
  • 277EPISODES
  • 43mAVG DURATION
  • 1EPISODE EVERY OTHER WEEK
  • May 6, 2025LATEST
riemann

POPULARITY

20172018201920202021202220232024


Best podcasts about riemann

Latest podcast episodes about riemann

Maths en tête
Riemann, l'homme qui a courbé l'espace et défié les nombres premiers

Maths en tête

Play Episode Listen Later May 6, 2025 10:08


Vedátorský podcast
Vedátorský podcast 282 – Miléniové problémy 1: Riemannova hypotéza

Vedátorský podcast

Play Episode Listen Later May 5, 2025 33:23


Je časť začať ďalšiu sériu, táto bude o veľkých výzvach v matematike, sedem úlohu pre toto tisícročie. Kto bol Riemann? Od čoho ho zachránil Gauss? A v čom je významná jeho funckia? O tom všetkom diskutujú Jozef a Samuel. Podcast vzniká v spolupráci so SME.    Hlasovať za nás môžete v súťaži Podcast roka https://podcastroka.sk/ Podcastové hrnčeky a ponožky nájdete na stránke https://vedator.space/vedastore/ Vedátora môžete podporiť cez stránku Patreon https://www.patreon.com/Vedator_sk   Všetko ostatné nájdete tu https://linktr.ee/vedatorsk Vedátorský newsletter http://eepurl.com/gIm1y5

Podcaliptus Bonbon
11 X 31 Es país para Ummitas

Podcaliptus Bonbon

Play Episode Listen Later May 5, 2025 104:45


Los extrañólogos de Podcaliptus nos juntamos para hablar del caso OVNI y contactismo por excelencia en España, el de los Ummitas, que se convirtió en icono popular por décadas y ha tenido diversas variables. Ahora con nuevo eco gracias a documentales como "Ummo: La España alienígena" o el excelente libro de Eduardo Bravo "Ummo, lo increible es la verdad". Adelantamos un pequeño extracto de una carta de los ummitas, porque lo dejaban todo muy claro: "Nuestra imagen del WAAM, pese a ser considerada por nosotros como un UXGIIGIIAM pluridimensional que sufre en su estructura múltiples curvaturas (que llamamos masas) en nada se parece ni al concepto de Espacio Tridimensional Euclideo elaborado por los clásicos terrestres, ni es un fiel reflejo de las modernas concepciones terrestres de RIEMANN, BOLYAI o LOBATCHEWSKY que suponen un N-Espacio o espacio pluridimensional, indicando que el Cosmos pueda adoptar la forma de una Hiperesfera de curvatura positiva o de curvatura negativa". La música tiene licencia Creative Commons ("Into the Storm") o está cedida (cierre por el Almirante Stargazer del fantabuloso podcast "Torpedo Rojo") o es de dominio público. Recordad que ahora también nos podéis visitar en nuestra página podcaliptus.com :-) ENLACES DE INTERÉS: —Fantabuloso pódcast de ciencia "Mundo Gilipoy: https://www.ivoox.com/podcast-mundo-gilipoy_sq_f11501113_1.html —Fantabulosos "Torpedos Ocultos": https://www.ivoox.com/torpedo-oculto-10x03-expediente-x-la-trama-audios-mp3_rf_143648934_1.html https://www.ivoox.com/torpedo-oculto-10x02-especial-criptidos-baba-audios-mp3_rf_143241845_1.html https://www.ivoox.com/torpedo-oculto-9x27-especial-vampiros-con-audios-mp3_rf_138555357_1.html https://www.ivoox.com/torpedo-oculto-9x19-especial-revista-mas-alla-audios-mp3_rf_136030656_1.html https://www.ivoox.com/torpedo-oculto-9x12-especial-psicofonias-con-audios-mp3_rf_134054554_1.html https://www.ivoox.com/torpedo-oculto-9x05-especial-sectas-con-audios-mp3_rf_128737039_1.html https://www.ivoox.com/torpedo-oculto-9x02-especial-conspiranoia-con-audios-mp3_rf_126910227_1.html —La revista de Ciencia ficción "Anticipación", con participación de Antonio Ribera y referencias a Fernando Sesma: https://blogcaliptusbonbon.blogspot.com/2025/04/la-primera-revista-espanola-de-ciencia.html —Pódcast sobre la secta Edelweiss: https://www.ivoox.com/xstra-edelweiss-cronologia-del-horror-rtve-2021-audios-mp3_rf_78309081_1.html Pódcast "El sotano sellado": https://www.ivoox.com/podcast-sotano-sellado_sq_f12392918_1.html —Pódcast "Terra Incognita": https://www.ivoox.com/podcast-terra-incognita_sq_f11544_1.html —Pódcast "Dimensión Límite": https://www.ivoox.com/podcast-dimension-limite_sq_f14606_1.html —Reediciones Anómalas: https://www.reedicionesanomalas.com/ —Algunos de los artículos sobre Ummo en "El ojo crítico": http://elojocritico.info/ummo-quien-como-cuando-y-por-que/ http://elojocritico.info/ummo-la-teoria-de-la-conspiracion/ https://elojocritico.info/mas-alla-de-ummo/

Studio 9 - Deutschlandfunk Kultur
Katja Riemanns Debütroman - Liebe in einer aus den Fugen geratenen Welt

Studio 9 - Deutschlandfunk Kultur

Play Episode Listen Later Apr 23, 2025 7:53


Riemann, Katja www.deutschlandfunkkultur.de, Studio 9

To the Top
Die, in der Riemann flankt

To the Top

Play Episode Listen Later Apr 14, 2025 105:32


Wir sprechen heute über die verrückte 2. Liga, eine sieglose Top 5 und reihenweise punktende Abstiegskandidaten. Wir sprechen über die FC-Spieler im Detail, viele vergebene Torchancen und ein gerechtes Unentschieden. Und wir sprechen über ersatzgeschwächte, aber effiziente Fortunen, einen zu frühen Pfiff und einen über die Außenbahn stürmenden Torwart.

BackstagePodcast
Folge 180 – Beim Singen hat man keine Angst: Ricarda Riemann

BackstagePodcast

Play Episode Listen Later Mar 31, 2025 46:51


Ricarda Riemann aus Augsburg tritt als freie Sängerin bei Trauungen, Taufen und Beerdigungen auf. Zudem gibt sie Gesangsunterricht für Kinder und Jugendliche bei Young Stage Augsburg e.V. und am Musikinstitut Martina Brix & Co. Ricarda ist es wichtig, ihren Schüler:innen auf Augenhöhe zu begegnen und sie dabei zu unterstützen, ihren eigenen Weg zu gehen. Darüber sprechen wir im Backstage Podcast, außerdem erzählt Ricarda von ihrer eigenen Suche nach ihrem Platz in der Musikwelt und von einer großen Musicalproduktion, bei der sie mitwirken durfte. Webseite: https://www.ricardariemann.com/ Instagram: https://www.instagram.com/ricardariemann/ Facebook: https://www.facebook.com/hochzeitssaengerinricardariemann/ Youtube: https://www.youtube.com/@RickyRena Erwähnt: https://young-stage.info/, https://www.martina-brix.de/, https://www.instagram.com/notanotherweddingband/ BACKSTAGE unterstützen? ♥ Hier entlang: https://backstage.podcaster.de/unterstuetzen/ RSS-Feed: https://backstage.podcaster.de/BackstagePodcast.rss Blog: https://backstage.podcaster.de Instagram: https://www.instagram.com/backstage_podcast Kontakt: backstagepodcast@gmx.de Über Leni Bohrmann: https://www.lenibohrmann.de

Podcast Bebas Linear
#174: Wanted! The Proof (or counterexample) of Riemann Hypothesis (Part 2)

Podcast Bebas Linear

Play Episode Listen Later Feb 21, 2025 108:33


Pada episode ini kita lanjutkan bahasan mengenai Riemann Hypothesis, bagaimana perkembangan Riemann Hypothesis, apa yang sudah tercapai dan apa signifikansinya bagi kehidupan kita.Bahasan utama mulai dari (47:02)

Aparici en Órbita
VuFyuM s07e18: Deseos científicos para el año 2025

Aparici en Órbita

Play Episode Listen Later Feb 18, 2025 42:15


En este primer programa del 2025 aprovechamos la cercanía del Día de Reyes para pedir en voz alta lo que nos gustaría que ocurriese en la ciencia durante este año. Es posible que Sus Majestades estuvieran muy ocupadas y no nos escucharan ese día, pero por probar no se pierde nada. Santi García Cremades solicita que en el año 2025 se demuestren tres resultados matemáticos de calado casi mitológico. En primer lugar, pide que nos llegue al fin la demostración de la Hipótesis de Riemann, una afirmación que se relaciona íntimamente con la densidad de números primos. Básicamente, sabemos que la cantidad de números primos menores que N viene dada aproximadamente por el logaritmo integral de N; si la hipótesis de Riemann se demuestra cierta, podemos afinar "cuánto se equivoca" el logaritmo integral, cómo de buena aproximación es. Además, Santi también solicita que se demuestre la Conjetura de Goldbach, que dice que cualquier número par debe poderse escribir como una suma de dos primos. Y ya, abusando de Sus Majestades, pide también la demostración de la Conjetura de Collatz, que emerge de un pequeño juego numérico que todos podemos hacer en casa. Por su parte, Alberto Aparici pide dos cosas: en primer lugar, que se encuentre la primera ribozima autorreplicativa. Una ribozima es una máquina molecular hecha de ARN; una de las hipótesis sobre el origen de la vida es que el ARN fue la primera "materia no viva" que mostró características similares a las de la vida. En concreto, sabemos que existen ribozimas capaces de hacer copias de pequeños pedazos de ADN, pero no conocemos ninguna que sea capaz de copiarse a sí misma, que es lo que hacemos los seres vivos. La sospecha es que en los días en que se estaba cocinando la vida sí que existían este tipo de máquinas de ARN, y que después fueron sustituidas por proteínas, ADN y mecanismos más eficientes. Si logramos crear en el laboratorio una ribozima autorreplicativa no sería la prueba de que la vida empezó con el ARN, pero sí sería una indicación de que ése es el camino correcto. Además, Alberto también pide que en 2025 podamos ver, de una vez, una supernova en nuestra galaxia. La última que se pudo observar fue en el año 1604, pero sospechamos que en una galaxia tan grande como la Vía Láctea debe de explotar una supernova cada 50 años. La mayoría no son visibles porque estallan muy lejos y quedan ocultadas por el polvo y la porquería que hay en el disco de nuestra galaxia, pero a día de hoy, en el año 2025, ya tenemos las herramientas para ver *cualquier* supernova que ocurra en la Vía Láctea. Quizá no la veamos con nuestros ojos, pero la veremos de otras maneras... Este programa se emitió originalmente el 2 de enero de 2025. Podéis escuchar el resto de audios de Más de Uno en la app de Onda Cero y en su web, ondacero.es

Podcast Bebas Linear
#173: Wanted! The Proof (or counterexample) of Riemann Hypothesis (Part 1)

Podcast Bebas Linear

Play Episode Listen Later Feb 7, 2025 76:02


Kali ini kita bahas tentang salah satu masalah yang berhadiah satu juta dolar yakni Hipotesis Riemann. Kenapa sih masalah ini sangat penting bagi para matematikawan? Bahasan Utama mulai dari (47:57)

Dritte Halbzeit
Dritte Halbzeit 330: Rambo-Riemann lager kaosballett av utvisning

Dritte Halbzeit

Play Episode Listen Later Feb 6, 2025 58:46


Rambo-Riemann lager kaosballett av årets klareste utvisning. Kan Niko Kovac få fart på et Borussia Dortmund som ligger som våt slaps i veikanten? En legende i Karlsruhe og broren til en verdensmester er blant Asbjørns favoritter i Zweite Bundesliga Superliga. En norsk 18-åring skal snu kaostrenden til HSV. Alexander Røsling Lelesiit drar fra LSK til Hamburg!See omnystudio.com/listener for privacy information.

Colloques du Collège de France - Collège de France
Colloque - Géométries aléatoires et applications - Adrien Sauvaget : Constantes de Siegel-Veech des surfaces de translation

Colloques du Collège de France - Collège de France

Play Episode Listen Later Jan 29, 2025 54:41


Nalini AnantharamanGéométrie spectraleCollège de FranceAnnée 2024-2025Colloque - Géométries aléatoires et applications - Adrien Sauvaget : Constantes de Siegel-Veech des surfaces de translationIntervenant :Adrien SauvagetCNRS, Université Cergy-PontoiseRésuméUne surface de translation est une surface de Riemann munie d'une différentielle holomorphe. Cette différentielle définit une métrique plate (hors du lieu singulier) dont l'holonomie est triviale. J'expliquerai comment le comptage de géodésique longues sur une surface de translation générique a été permis par l'étude des espaces des modules associés. Ces résultats mêlent des arguments de théorie ergodique, de théorie des représentations et de géométrie algébrique.

Colloques du Collège de France - Collège de France
Colloque - Géométries aléatoires et applications - Yilin Wang : The Brownian Loop Measure on Riemann Surfaces and Applications to Length Spectra

Colloques du Collège de France - Collège de France

Play Episode Listen Later Jan 29, 2025 51:33


Nalini AnantharamanGéométrie spectraleCollège de FranceAnnée 2024-2025Colloque - Géométries aléatoires et applications - Yilin Wang : The Brownian Loop Measure on Riemann Surfaces and Applications to Length SpectraIntervenant :Yilin WangIHESRésuméThe goal of this talk is to showcase how we can use stochastic processes to study the geometry of surfaces. More precisely, we use the Brownian loop measure to express the lengths of closed geodesics on a hyperbolic surface and zeta-regularized determinant of the Laplace-Beltrami operator. This gives a tool to study the length spectra of a hyperbolic surface and we obtain a new identity between the length spectrum of a compact surface and that of the same surface with an arbitrary number of additional cusps. This is a joint work with Yuhao Xue (IHES).

B. K. Neifert
Pontifications on Riemann's Hypothesis

B. K. Neifert

Play Episode Listen Later Jan 15, 2025 4:59


Pontifications on Riemann's Hypothesis'

Farm to Future
How this Danish startup turns brewery 'waste' into nutritious food ingredients — Aviaja Riemann-Andersen, Agrain

Farm to Future

Play Episode Listen Later Jan 7, 2025 46:17


In this episode, we explore how Danish startup Agrain is revolutionizing food sustainability by upcycling spent grains from breweries into nutritious food ingredients. Aviaja Riemann-Andersen shares how these grains, far from being "waste," actually develop enhanced nutritional profiles and unique flavors through the brewing process. The conversation spans from the technical aspects of grain processing to broader themes of circular economy and sustainable food systems.About Aviaja Riemann-AndersenAviaja is one of the pioneers of the Scandinavian food tech scene. In 2018 she co-founded Agrain by Circular Food Technology. Agrain's mission is to change the food system to become circular, by developing delicious and nutritious ingredients made from upcycled spent grains. Agrain is working with unique and patented processes.Circular economy and respect for our planet are the guiding principles for Aviaja, and through her work with Agrain and in several committees, she is promoting a more sustainable future. Aviaja is a Board member in the Danish Plantbased Food Association and a board member in The Danish Food and Drink Federation. From 2021-2022 she was a member of the Government's Green Advisory Board. Agrain has since June 2022 been a proud member of the EIT Rising Food Star Programme.Privately, she lives in Copenhagen with her two daughters, she is a hot yoga heavy user. She has a MSc in economic and Japanese from Copenhagen Business School and worked 15 years in cosmetics before she joined the food industry.Connect with Agrain:Website: www.agrainproducts.comInstagram: @agrainproductsLinkedIn: Agrain by Circular Food TechnologyFit, Healthy & Happy Podcast Welcome to the Fit, Healthy and Happy Podcast hosted by Josh and Kyle from Colossus...Listen on: Apple Podcasts SpotifyDiscounts Get 10% off delicious local farm-fresh food delivered to your door with my link for FarmMatch: https://farmmatch.com/jane Get 15% off high-quality Italian olive oil with code FARMTOFUTURE: https://shop.vignolifood.com/FARMTOFUTURE Get 40% the CircleDNA's Premium DNA test with code JANEZHANG: https://circledna.com/premium Connect with Jane Z. Instagram: @farm.to.future Email: jane@farmtofuture.co

The Art of Mathematics
Where do Math Concepts Come From?

The Art of Mathematics

Play Episode Listen Later Dec 25, 2024 20:37


Joseph Bennish discusses math as a "concept factory." The concept of prime numbers came from a desire to break numbers down to their simplest atoms. This simple concept led to simple questions like the twin prime conjecture that no one has been able to answer. Those questions in turn led to deep research. The concepts of new geometries grew out of failed attempts to prove that Euclid's geometry was the only geometry. Gauss' "most wonderful theorem" of surfaces led to Riemann's higher dimensional manifolds. This, combined with Minkowski's space-time geometry, led to Einstein's relativity, "the most beautiful theory of physics."

Mindful Eating Podcast
159 - Von Überforderung aufs nächste Level im Leben & Business | Client Love mit Gesa Riemann

Mindful Eating Podcast

Play Episode Listen Later Dec 11, 2024 24:00


Die Null muss stehen - Der Bundesliga Podcast
Olympique Lyon in die zweite Liga?! Riemann ist frei! Ranieri Comeback die dritte #Länderspielloch + Ausblick auf den 11. Spieltag

Die Null muss stehen - Der Bundesliga Podcast

Play Episode Listen Later Nov 21, 2024 108:36


Einen wunderschönen Gyökeres euch! Warum Gyökeres? Der hat auch in der Nations League alles zerschossen was geht. Das heißt wir reden ein bisschen über die Nations League, aber natürlich im Vordergrund die News der vergangenen Woche: Unter anderem die MV´s von Schalke und Hertha, Olympique Lyon´s Schulden und und und. Gerne dranbleiben und checkt unten gerne den Linktree ab, für weitere Social Media Links: linktr.ee/die0muss_stehen Viel Spaß mit der Folge und Glück Auf! PS: Grabara > Vasilj** *Korrektur vom anderen Alex: Grabara < Vasilj **Klarstellung von Alex: Grabara > Vasilj, da 7 Stück gegen Deutschland kassiert

Stammplatz
Nagelsmann rotiert gegen Ungarn! Riemann zurück im Bochum-Training! Belgier kennen Paris Brunner nicht!

Stammplatz

Play Episode Listen Later Nov 18, 2024 18:26


Julian Nagelsmann hat angekündigt im letzten Nations-League-Gruppenspiel gegen Ungarn kräftig zu rotieren. Manuel Riemann ist ins Bochum-Training zurückgekehrt und Paris Brunner hat in Belgien Probleme auf Spielzeit zu kommen.

DerSechzehner.de
Rätsel BVB - warum nicht immer so? Frankfurter Offensivpower und Comeback von Dieter Hecking

DerSechzehner.de

Play Episode Listen Later Nov 4, 2024 68:29


Die Messer waren gewetzt - doch der BVB überzeugt gegen Leipzig wie lange nicht - wie kann das sein? Unser Cheftrainer versucht sich an einer Erklärung, dazu Frankfurts Ballermänner, St.Pauli macht´s wieder in BW, Hecking in Bochum vielleicht mit Riemann? - und Pokal ohne VAR ist natürlich auch Thema...

Wirksam führen - Zusammenarbeit neu gestalten. Mit Jörg Rosenberger

In dieser Folge spreche ich über das Riemann-Thomann-Modell. Dieses Modell zur Überprüfung der sogenannten „Grundausrichtung“ eines Individuums wurde bereits 1961 von Fritz Riemann und Christoph Thomann entwickelt und liefert auch heute noch interessante Learnings über Teams und Teamdynamiken. Neben einer Einführung in die Funktionsweise des Modells erkläre ich anhand von Beispielen die konkrete Anwendung in deinem Team. Außerdem gehe ich auf Vorteile und Nachteile des Riemann-Thomann-Modells ein und erläutere, wie du die Ergebnisse schlussendlich produktiv innerhalb deines Teams nutzen kannst. Mehr Infos zu unseren Gästen und alle Links zu dieser und allen anderen Folgen auf unserer Podcast-Seite: https://redenistsilber.de/podcast/ Hier kannst Du die regelmäßig neu erscheinenden Blogartikel lesen und Dich für den Newsletter anmelden https://redenistsilber.de/aktuell/ Ich freue sich über deine Kontaktanfrage unter: info@redenistsilber.de Wenn dir der Podcast gefällt, unterstütze ihn gerne: Hinterlasse eine 5-Sterne-Bewertung (z.B. auf Spotify) sowie eine Rezension und abonniere ihn.

J&Mcast
Geometria não Euclidiana |Parte 2| Riemann, Poincaré & Klein| T4#30

J&Mcast

Play Episode Listen Later Oct 23, 2024 68:57


"Fala Galera! Apertem os cintos e preparados para mais uma viagem no tempo e no espaço. Hoje nós vamos continuar desbravando um universo tão bizarro quanto fascinante: as geometrias não euclidianas! Se você já ouviu falar de superfícies curvas e mundos onde as retas podem se encontrar infinitas vezes, esse é o seu episódio! Vamos retomar os conceitos da parte 1 e apresentar novos exemplos dessas geometrias inusitadas que surgiram nos séculos 17 e 18. E pra deixar tudo ainda mais interessante, vamos conhecer os gênios por trás dessas ideias: Riemann, Helmholtz, Clifford. Preparem-se para se encantar com a criatividade e a genialidade desses caras! Mas não para por aí! Vamos te mostrar como visualizar essas geometrias abstratas de forma mais concreta, com os modelos de Beltrami, Poincaré e Klein. É como se a gente pudesse pegar essas ideias complexas e transformá-las em imagens e objetos”palpaveis”. E pra deixar essa jornada ainda mais divertida, contamos com a participação especial de Marcelo Rainha (professor UNIRIO), Marcello Amadeo (professor UNIRIO), Ronan Fardim (Aluno UNIRIO BRO) e Igor Muniz(Aluno UNIRIO MGE). E a edição e sonorização que deixam tudo mais divertido ficaram por conta do Alessandro Marcatto (Aluno UNIRIO PET). Sejam Bem vindos ao maravilhoso mundo da matemática! bibliografia:  "Geometria Hiperbólica" de João Lucas Barbosa e  "Geometry in the Nineteenth Century" de Victor Katz. Esse podcast faz parte do Programa Jogos & Matemática e é coordenado pelo Professor Marcelo Rainha. " Acompanhem nossas mídias e não percam nenhuma novidade! :) Inscrevam-se no nosso canal do YOUTUBE: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/c/JogosMatemática⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Curtam e sigam nossa página no FACEBOOK: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.facebook.com/jogosematematica⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Sigam nosso perfil no INSTAGRAM:⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://www.instagram.com/jogosematematica⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Sigam nosso perfil no SPOTIFY: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://open.spotify.com/show/65i8uB46F07p4WaTYqkb5Q?si=AtewFx8vRWqWnfHWvt-xKw&nd=1⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Visitem nosso BLOG:⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠https://jogosematematica.wordpress.com⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Dúvidas, críticas, sugestões, informações? Escrevam para: jogosematematica@gmail.com A EDUCAÇÃO PRECISA DE TODOS NÓS! JUNTOS SOMOS MAIS FORTES!

Goldgrube Franchise
#32 Roatel, Amelie Riemann & Martin Swart

Goldgrube Franchise

Play Episode Listen Later Oct 13, 2024 55:14


Der unabhängige, unbezahlte und objektive Podcast rund um Franchise Geschäftsmodelle. Heute mit Amelie Riemann und Martin Swart von Roatel.Roatel ist ein ungewöhnliches Hotel-Franchise: ein Containerhotel neben Autobahnen! Nicht nur, aber insbesondere für LKW-Fahrer. Warum sollen LKW-Fahrer nicht mehr in ihren gemütlichen LKW-Kabinen übernachten?Wie rechnet sich ein personalloses Containerhotel?Wie teuer ist so ein Container?Was groß ist das Diebstahls- und Vandalismusproblem?Roatel GmbHAmelie Riemann+49 211 17609193franchise@roatel.de(00:00) Intro(02:55) Über Roatel(17:25) Aufgaben des Roatel-Betreibers(30:22) Standorte(37:18) Wie entsteht ein Roatel(42:00) Kosten, Einnahmen(53:04) Bierdeckelkalkulation*** WERBUNG: Auf nur 4qm nahezu personallos mehr als 5.000 Euro Umsatz mit wenig Eigenkapital: klaus@goldgrube-franchise.de ***WERBUNG:Franchisevertrags-Check zum Fixpreis:Sven HEZEL, RechtsanwaltTelefon +49 421 52279851hezel@branding-partner.de / hezel@die-rechtsanwaelte.comwww.branding-partner.de--> Franchisevertrags-Check zum Festpreis von nur EUR 500,- zzgl. USt.

Schlusskonferenz - Der Fußball-Podcast zu Bundesliga & Co.
Bochum: Gibt es Licht am Ende des Stollens?

Schlusskonferenz - Der Fußball-Podcast zu Bundesliga & Co.

Play Episode Listen Later Oct 10, 2024 68:55


Bierverbot, Raute, Riemann. Allein diese drei Themen beschäftigen den VfL Bochum. Wie sehr wackelt bereits jetzt der Stuhl von Trainer Zeidler? Philipp Rentsch beleuchtet die Lage am Tabellenende.

random Wiki of the Day

rWotD Episode 2705: Curve Welcome to Random Wiki of the Day, your journey through Wikipedia’s vast and varied content, one random article at a time.The random article for Sunday, 29 September 2024 is Curve.In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight.Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that appeared more than 2000 years ago in Euclid's Elements: "The [curved] line is […] the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which […] will leave from its imaginary moving some vestige in length, exempt of any width."This definition of a curve has been formalized in modern mathematics as: A curve is the image of an interval to a topological space by a continuous function. In some contexts, the function that defines the curve is called a parametrization, and the curve is a parametric curve. In this article, these curves are sometimes called topological curves to distinguish them from more constrained curves such as differentiable curves. This definition encompasses most curves that are studied in mathematics; notable exceptions are level curves (which are unions of curves and isolated points), and algebraic curves (see below). Level curves and algebraic curves are sometimes called implicit curves, since they are generally defined by implicit equations.Nevertheless, the class of topological curves is very broad, and contains some curves that do not look as one may expect for a curve, or even cannot be drawn. This is the case of space-filling curves and fractal curves. For ensuring more regularity, the function that defines a curve is often supposed to be differentiable, and the curve is then said to be a differentiable curve.A plane algebraic curve is the zero set of a polynomial in two indeterminates. More generally, an algebraic curve is the zero set of a finite set of polynomials, which satisfies the further condition of being an algebraic variety of dimension one. If the coefficients of the polynomials belong to a field k, the curve is said to be defined over k. In the common case of a real algebraic curve, where k is the field of real numbers, an algebraic curve is a finite union of topological curves. When complex zeros are considered, one has a complex algebraic curve, which, from the topological point of view, is not a curve, but a surface, and is often called a Riemann surface. Although not being curves in the common sense, algebraic curves defined over other fields have been widely studied. In particular, algebraic curves over a finite field are widely used in modern cryptography.This recording reflects the Wikipedia text as of 00:13 UTC on Sunday, 29 September 2024.For the full current version of the article, see Curve on Wikipedia.This podcast uses content from Wikipedia under the Creative Commons Attribution-ShareAlike License.Visit our archives at wikioftheday.com and subscribe to stay updated on new episodes.Follow us on Mastodon at @wikioftheday@masto.ai.Also check out Curmudgeon's Corner, a current events podcast.Until next time, I'm neural Arthur.

Training Data
Why Vlad Tenev and Tudor Achim of Harmonic Think AI Is About to Change Math—and Why It Matters

Training Data

Play Episode Listen Later Sep 24, 2024 39:45


Adding code to LLM training data is a known method of improving a model's reasoning skills. But wouldn't math, the basis of all reasoning, be even better? Up until recently, there just wasn't enough usable data that describes mathematics to make this feasible. A few years ago, Vlad Tenev (also founder of Robinhood) and Tudor Achim noticed the rise of the community around an esoteric programming language called Lean that was gaining traction among mathematicians. The combination of that and the past decade's rise of autoregressive models capable of fast, flexible learning made them think the time was now and they founded Harmonic. Their mission is both lofty—mathematical superintelligence—and imminently practical, verifying all safety-critical software. Hosted by: Sonya Huang and Pat Grady, Sequoia Capital  Mentioned in this episode: IMO and the Millennium Prize: Two significant global competitions Harmonic hopes to win (soon) Riemann hypothesis: One of the most difficult unsolved math conjectures (and a Millenium Prize problem) most recently in the sights of MIT mathematician Larry Guth Terry Tao: perhaps the greatest living mathematician and Vlad's professor at UCLA Lean: an open source functional language for code verification launched by Leonardo de Moura when at Microsoft Research in 2013 that powers the Lean Theorem Prover mathlib: the largest math textbook in the world, all written in Lean Metaculus: online prediction platform that tracks and scores thousands of forecasters Minecraft Beaten in 20 Seconds: The video Vlad references as an analogy to AI math Navier-Stokes equations: another important Millenium Prize math problem. Vlad considers this more tractable that Riemann John von Neumann: Hungarian mathematician and polymath that made foundational contributions to computing, the Manhattan Project and game theory Gottfried Wilhelm Leibniz: co-inventor of calculus and (remarkably) creator of the “universal characteristic,” a system for reasoning through a language of symbols and calculations—anticipating Lean and Harmonic by 350 years! 00:00 - Introduction 01:42 - Math is reasoning 06:16 - Studying with the world's greatest living mathematician 10:18 - What does the math community think of AI math? 15:11 - Recursive self-improvement 18:31 - What is Lean? 21:05 - Why now? 22:46 - Synthetic data is the fuel for the model 27:29 - How fast will your model get better? 29:45 - Exploring the frontiers of human knowledge 34:11 - Lightning round

The Nonlinear Library
LW - Open Problems in AIXI Agent Foundations by Cole Wyeth

The Nonlinear Library

Play Episode Listen Later Sep 13, 2024 18:06


Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Open Problems in AIXI Agent Foundations, published by Cole Wyeth on September 13, 2024 on LessWrong. I believe that the theoretical foundations of the AIXI agent and variations are a surprisingly neglected and high leverage approach to agent foundations research. Though discussion of AIXI is pretty ubiquitous in A.I. safety spaces, underscoring AIXI's usefulness as a model of superintelligence, this is usually limited to poorly justified verbal claims about its behavior which are sometimes questionable or wrong. This includes, in my opinion, a serious exaggeration of AIXI's flaws. For instance, in a recent post I proposed a simple extension of AIXI off-policy that seems to solve the anvil problem in practice - in fact, in my opinion it has never been convincingly argued that the anvil problem would occur for an AIXI approximation. The perception that AIXI fails as an embedded agent seems to be one of the reasons it is often dismissed with a cursory link to some informal discussion. However, I think AIXI research provides a more concrete and justified model of superintelligence than most subfields of agent foundations [1]. In particular, a Bayesian superintelligence must optimize some utility function using a rich prior, requiring at least structural similarity to AIXI. I think a precise understanding of how to represent this utility function may be a necessary part of any alignment scheme on pain of wireheading. And this will likely come down to understanding some variant of AIXI, at least if my central load bearing claim is true: The most direct route to understanding real superintelligent systems is by analyzing agents similar to AIXI. Though AIXI itself is not a perfect model of embedded superintelligence, it is perhaps the simplest member of a family of models rich enough to elucidate the necessary problems and exhibit the important structure. Just as the Riemann integral is an important precursor of Lebesgue integration, despite qualitative differences, it would make no sense to throw AIXI out and start anew without rigorously understanding the limits of the model. And there are already variants of AIXI that surpass some of those limits, such as the reflective version that can represent other agents as powerful as itself. This matters because the theoretical underpinnings of AIXI are still very spotty and contain many tractable open problems. In this document, I will collect several of them that I find most important - and in many cases am actively pursuing as part of my PhD research advised by Ming Li and Marcus Hutter. The AIXI (~= "universal artificial intelligence") research community is small enough that I am willing to post many of the directions I think are important publicly; in exchange I would appreciate a heads-up from anyone who reads a problem on this list and decides to work on it, so that we don't duplicate efforts (I am also open to collaborate). The list is particularly tilted towards those problems with clear, tractable relevance to alignment OR philosophical relevance to human rationality. Naturally, most problems are mathematical. Particularly where they intersect recursion theory, these problems may have solutions in the mathematical literature I am not aware of (keep in mind that I am a lowly second year PhD student). Expect a scattering of experimental problems to be interspersed as well. To save time, I will assume that the reader has a copy of Jan Leike's PhD thesis on hand. In my opinion, he has made much of the existing foundational progress since Marcus Hutter invented the model. Also, I will sometimes refer to the two foundational books on AIXI as UAI = Universal Artificial Intelligence and Intro to UAI = An Introduction to Universal Artificial Intelligence, and the canonical textbook on algorithmic information theory Intro to K = An...

Tag für Tag Beiträge - Deutschlandfunk
Stell dir vor, es gibt Krieg - Militärseelsorge bereitet sich auf Ernstfall vor

Tag für Tag Beiträge - Deutschlandfunk

Play Episode Listen Later Aug 13, 2024 4:28


Riemann, Jasper www.deutschlandfunk.de, Tag für Tag

Studio 9 - Deutschlandfunk Kultur
"Geistlicher Operationsplan" - die Militärseelsorge und die Kriegstüchtigkeit

Studio 9 - Deutschlandfunk Kultur

Play Episode Listen Later Aug 12, 2024 4:04


Riemann, Jasper www.deutschlandfunkkultur.de, Studio 9

Discover Daily by Perplexity
A Massive Mathematical Breakthrough, Solar Light Shows, A Lunar Plan to Save Endangered Species, and an Olympic Standout

Discover Daily by Perplexity

Play Episode Listen Later Aug 2, 2024 7:54 Transcription Available


In this episode of Discover Daily by Perplexity, we explore groundbreaking developments in prime number theory that could reshape our understanding of mathematics and impact internet security. Mathematicians James Maynard and Larry Guth have made significant progress towards understanding the hidden structure of prime numbers, providing new insights into the famous Riemann Hypothesis. Their work improves bounds on where the nontrivial zeros of the Riemann zeta function cannot lie, crucial for understanding prime number distribution.Meanwhile, researchers from City University of Hong Kong and North Carolina State University claim to have developed a "Periodic Table of Primes" (PTP), challenging the long-held belief that prime numbers are unpredictable. This innovative approach claims to accurately predict the occurrence of prime numbers, with potential applications in finding future primes, factoring integers, and identifying twin primes. While still awaiting peer review, this breakthrough could have far-reaching implications for cryptography and data security.These advancements in prime number theory highlight the unexpected ways abstract mathematics can impact our daily lives. From enhancing internet security to advancing quantum physics, prime numbers continue to play a crucial role in shaping our digital world and pushing the boundaries of scientific knowledge. As mathematicians inch closer to resolving long-standing conjectures like the Riemann Hypothesis, we may be on the brink of a new era in number theory and its applications.Perplexity is the fastest and most powerful way to search the web. Perplexity crawls the web and curates the most relevant and up-to-date sources (from academic papers to Reddit threads) to create the perfect response to any question or topic you're interested in. Take the world's knowledge with you anywhere. Available on iOS and Android Join our growing Discord community for the latest updates and exclusive content. Follow us on: Instagram Threads X (Twitter) YouTube Linkedin

10 minutos con Sami
Máximo Solar, Bóveda Lunar y Predicción de Primos: Noticias Revolucionarias

10 minutos con Sami

Play Episode Listen Later Aug 2, 2024 5:32


En el episodio de hoy de "10 Minutos con Sami", exploramos tres noticias fascinantes del mundo científico. Comenzamos con la emocionante predicción del próximo máximo solar, que promete espectaculares auroras boreales entre 2024 y 2026. Luego, nos adentramos en un ambicioso proyecto para crear un biorrepositoriooo lunar, diseñado para preservar muestras biológicas de especies en peligro de extinción de la Tierra. Finalmente, discutimos los recientes avances en la teoría de números primos, incluyendo progresos hacia la comprensión de la Hipótesis de Riemann y un método revolucionario que podría predecir la aparición de números primos. Estos descubrimientos no solo desafían nuestro entendimiento actual, sino que también abren nuevas posibilidades en campos como la criptografía y la conservación de la biodiversidad. Fuentes: https://spaceplace.nasa.gov/aurora/en/ , https://www.scientificamerican.com/article/solar-maximum-could-hit-us-harder-and-sooner-than-we-thought-how-dangerous-will-the-suns-chaotic-peak-be/ , https://education.nationalgeographic.org/resource/aurora/ , https://twin-cities.umn.edu/news-events/scientists-propose-plan-store-bio-samples-moon , https://www.scientificamerican.com/article/the-riemann-hypothesis-the-biggest-problem-in-mathematics-is-a-step-closer/ Redes: Puedes buscarme por redes sociales como Threads, Twitter e Instagram con @olivernabani, y puedes encontrarme habitualmente en Twitch: http://twitch.tv/olivernabani Puedes encontrar tanto este Podcast como otro contenido original en YouTube: https://youtube.com/olivernabani Además si quieres participar en la comunidad mashain, tenemos un server de Discord donde compartimos nuestras inquietudes: https://discord.gg/5JbqEhYv Un canal de Telegram donde os aviso de novedades y contenidos: https://t.me/sedicemashain Y un canal de Whatsapp: https://whatsapp.com/channel/0029VaCSKOzFCCoavMoLwX43 Y por supuesto lo más importante, recuerda: No se dice Machine, se dice Mashain

The Art of Mathematics
Stop Overselling Mathematics

The Art of Mathematics

Play Episode Listen Later Jul 24, 2024 17:20


Alon Amit, prolific Quora math answerer, argues that an honest representation of mathematical ideas is enough to spark interest in math. It's not necessary to exaggerate the role of math; the golden ratio does not drive the stock market, the solution of the Riemann hypothesis will not kill cryptography, and Grothendieck did not advance robotics. History and seeing the thought process and the struggle behind the tight finished proof are ways to make math compelling.

Stammplatz
Palhinha zu den Bayern! Cooler Kroos-Auftritt! Kein Zurück für Riemann!

Stammplatz

Play Episode Listen Later Jul 3, 2024 19:19


Der FC Bayern steht unmittelbar vor der Verpflichtung von Palhinha. Toni Kroos gibt sich auf der DFB-Pressekonferenz ganz cool und das Kapitel von Manuel Riemann beim VfL Bochum scheint endgültig beendet.

The Stephen Wolfram Podcast
Future of Science & Technology Q&A (January 19, 2024)

The Stephen Wolfram Podcast

Play Episode Listen Later Jun 28, 2024 89:14


Stephen Wolfram answers questions from his viewers about the future of science and technology as part of an unscripted livestream series, also available on YouTube here: https://wolfr.am/youtube-sw-qa Questions include: Can AI be swallowed by more advanced AI by feeding it via "virtual" input? The motivation could be the increased efficiency of "larger" AI. - Do you think anyone will solve the Riemann hypothesis in your lifetime? ​​​- Aren't there thousands upon thousand of written papers that assume the Riemann hypothesis is true? - Will AIs be the ones to explore space? - ​It's ​4.37 light years to Alpha Centauri. - We should harness light/light waves so that we can take a picture of the planets there, then bring them back and produce pictures in 8+ years. - Do you think Ray Kurzweil's longevity predictions are likely to happen in our own lifetime? - Would it make sense for alien AI civilizations to broadcast radio or other signals with information on how to build such AI as a way to propagate in the universe faster than material space travel? - People automatically assume that AI will create this type of step function upward in everything in the world or in the economy. This may not be the case due to diminishing returns.

DLF-Magazin - Deutschlandfunk
Obdachlos - Keine Adresse, kein Stimmzettel

DLF-Magazin - Deutschlandfunk

Play Episode Listen Later Jun 6, 2024 8:06


In vielen Bundesländern sind Wohnungslose von Wahlen ausgeschlossen. Baden-Württemberg hat das geändert. Seit diesem Jahr dürfen dort Wohnungslose in der Kommunalpolitik ihre Stimme abgeben. Gespräche mit Menschen, die das betrifft. Riemann, Jasper www.deutschlandfunk.de, Dlf-Magazin

DerSechzehner.de
Ewald warnt: "Mit einer Leistung wie gegen Atalanta ist Bayer gegen Kaiserslautern chancenlos!"

DerSechzehner.de

Play Episode Listen Later May 23, 2024 47:35


0:3 gegen Atalanta im EuroLeague-Finale? Wie konnte das passieren? Wir sprechen über Leverkusens erste Saison-Niederlage zur Unzeit mit Tobias Nordmann von ntv.de. Auch über unsere anstehende Kooperation während der EM, Bochum ohne den aussortierten Leader Riemann vor der Relegation gegen Düsseldorf und Vince Kompany, den vermutlich-wahrscheinlich neuen Bayern-Trainer, wenn er nicht noch absagt...

Dritte Halbzeit
Dritte Halbzeit 293: Rablende Riemann

Dritte Halbzeit

Play Episode Listen Later May 21, 2024 66:54


Siste runde ble dramatisk. Marco Reus åpnet lommeboka for tørste fans, Christian Streich lot tårene renne allerede før kampstart, mens Hansa Rostock røykla halve Øst-Tyskland da de sa takk for seg. Nå gjenstår kvalik og et tjuetalls cupfinaler.See omnystudio.com/listener for privacy information.

kicker News
Packt Bochum trotz Riemann-Ruckeleien die Relegation?

kicker News

Play Episode Listen Later May 21, 2024 12:48


Seit letztem Wochenende ist klar: Der VfL Bochum muss nachsitzen und in der Relegation gegen Fortuna Düsseldorf ran. Am Donnerstag geht's mit dem Hinspiel los und Stammkeeper Manuel Riemann wird nicht dabei sein. Schwächt das die Bochumer Mannschaft oder ist das ein Mentalitäts-Pluspunkt? Außerdem in den News: Toni Kroos beendet nach der EM seine Karriere und Karl-Heinz Schnellinger ist im Alter von 85 Jahren verstorben.

Stammplatz
Darum rasiert Bochum Riemann! Kehl bei Wolfsburg im Gespräch! Bayern sucht Trainer auf der Insel!

Stammplatz

Play Episode Listen Later May 20, 2024 19:21


Hammer in Bochum! Der VfL verzichtet in der Relegation auf Torwart Manuel Riemann. Unser Reporter Max Backhaus erklärt die Gründe. BVB-Sportdirektor Sebastian Kehl ist Kandidat als Sport-Geschäftsführer in Wolfsburg und der FC Bayern sucht in England nach einem neuen Trainer.

kicker meets DAZN - Der Fußball Podcast
KMD #196 (mit Manuel Riemann)

kicker meets DAZN - Der Fußball Podcast

Play Episode Listen Later Jan 29, 2024 102:29


Diese Woche schaut mit Manuel Riemann ein absoluter KMD-Liebling im Podcast vorbei! Der Bochumer Keeper spricht über das Derby in Dortmund, ärgert sich über die ein oder andere Regelauslegung der Schiedsrichter und träumt von der NFL. Außerdem pflügen Alex und Benni durch den abgelaufenen Bundesliga-Spieltag und lassen sich von kicker-Reporter Thomas Böker das Ende der Klopp-Ära in Liverpool einordnen...

Deutschland heute - Deutschlandfunk
Meeresförster - Hoffnung für die Ostseefischer

Deutschland heute - Deutschlandfunk

Play Episode Listen Later Jan 24, 2024 5:26


Sinkende Bestände und ein miserabler Zustand der Ostsee haben die Zahl der Fischereibetriebe in den letzten 20 Jahren halbiert. Elf Menschen lassen sich derzeit für den uralten Beruf weiterbilden - als Meeresförster mit neuen Aufgaben. Riemann, Jasper / Fehrle, Moritzwww.deutschlandfunk.de, Deutschland heute

Scientificast
Camere dell'eco Riemanniane

Scientificast

Play Episode Listen Later Oct 30, 2023 62:13


In questa puntata di fine ottobre, Leonardo ci parla di un articolo su Nature, di Agosto, che studia l'effetto degli algoritmi di Facebook sulla creazione di camere dell'eco e sulla polarizzazione degli utenti. Con un po' di polemica che ci sta sempre bene.Per l'intervento esterno, torna Scientifibook con Giuliana e Andrea Vico, che questo mese ci suggerisce:“Contro lo smartphone - Per una tecnologia più democratica” di Juan Carlos de Martin – ADD editore.“Il futuro è decrescita - Guida per un mondo post-capitalista” di Matthias Schmelzer, Andrea Vetter, Aaron Vansintijan – Ledizioni.“Orizzonti. Una storia globale della scienza” di James Poskett – Einaudi“Animali non umani” di Carl Safina – Adelphi.Per bambini/ragazzi: “Fiori in famiglia” di Elena Accati – Editoriale Scienza.Romina ci parla, invece, di un altro articolo riguardante la percezione dei colori. Fino ad ora, l'insieme dei colori era stato descritto matematicamente usando le varietà Riemanniane nello spazio tridimensionale. Un nuovo studio, invece, ha mostrato che questa descrizione non è molto accurata quando si parla di come percepiamo colori molto diversi tra loro.

Schlusskonferenz - Der Fußball-Podcast zu Bundesliga & Co.

Hat die SGE endlich ihr Sturmproblem gelöst? Derweil trifft Guirassy weiter, Union kann nicht mehr gewinnen, Leroy Sané zaubert und Riemann wird zum Helden. Während Augsburg ein großes Problem hat: Zu viele Augsburgs.

50+2 - Der Fussballpodcast mit Nico & Niklas
Lass Riemann da, denn er hält ja! Bundesliga Rückblick, 7. Spieltag

50+2 - Der Fussballpodcast mit Nico & Niklas

Play Episode Listen Later Oct 9, 2023 76:00


Drei Tore den Leverkusenern hoch im Licht, Sieben Punkte den Darmstädtern in ihren Hallen aus Stein, Den Augsburgern, ewig dem Abstiegskampf verfallen, neun, Einer dem Dunklen Herrn auf dunklem Thron Im Lande München, wo die Hoeneß wohn. Ein King(sley), sie zu knechten, sie alle zu finden, Ins Dunkel zu treiben und ewig zu binden Im Lande München, wo die Hoeneß wohn. Du möchtest mehr über unsere Werbepartner erfahren? Hier findest du alle Infos & Rabatte: https://linktr.ee/50plus2

The Nonlinear Library
LW - Logical Share Splitting by DaemonicSigil

The Nonlinear Library

Play Episode Listen Later Sep 11, 2023 15:08


Welcome to The Nonlinear Library, where we use Text-to-Speech software to convert the best writing from the Rationalist and EA communities into audio. This is: Logical Share Splitting, published by DaemonicSigil on September 11, 2023 on LessWrong. Are mathematicians just not trying hard enough? The Riemann hypothesis is one of the most important open problems in math. There's a $1 million prize from the Clay mathematics institute for a proof or disproof of the Riemann hypothesis. At the time of writing, it remains unsolved. From this, we may conclude that one cannot simply buy a solution to difficult mathematical problems. Or could we? How do we know that buying a difficult maths proof is impossible? Perhaps the Clay mathematics institute is somehow not asking the question in the right way. And it's true that the value of a million dollars has been eroded over time by inflation. One might guess that a Riemann proof would be worth at least 100 million. Would that be enough to conjure it from the collective intelligence of humanity? Simply directly declaring a $100 million reward for a solution would probably not work. For one thing, there's the issue of corollary-sniping where the prize wouldn't give anyone an incentive to publish solutions to hard intermediate steps of the problem, since the prize as a whole only goes to the one who solves the entire problem as a whole. For another, even the million dollar prize on its own would be plenty of reason for a money-motivated person to solve the problem if a solution were within their grasp. The issue is not merely one of funding, we humans are somehow failing to combine our efforts properly. Prediction markets are pretty cool One of the standard ways to buy knowledge is prediction markets. Can we try that here? John Wentworth describes here a scheme for using markets to get mathematical proofs. Here's a scheme that's very similar in the overall idea, though the exact rules are slightly different: Shares on mathematical propositions are traded on the market. Propositions should be the kind of things that might be theorems, i.e. they are syntactically meaningful, and contain no free variables, though it's fine if they are false or unprovable. Shares on provable propositions are worth $1, at least if anyone knows or can find the proof. How this works out in practice is that a share in ⊤ can be redeemed in exchange for $1, together with the next rule. Shares in logically equivalent propositions can be exchanged for each other. So if it's the case that A⟺B then a share in A can be exchanged for a share in B. This is a trading rule that will obviously have to be called the Law of Equivalent Exchange. We only allow exchanges that can be seen to be equivalent in one step, but for anything that can be proved equivalent in any number of steps, we can simply make multiple exchanges to get the shares we want. How do people get these shares they're trading to begin with? Simple! You can buy shares in ⊤ for $1. You can also buy shares in ⊥ for $0, i.e. they're free. We allow traders to perform a logical share splitting operation. This is a special operation that is described in the next section. As Wentworth explains, the virtue of this system is that in order to redeem shares for a proposition you can prove, you need to reveal your proof to the people running the market. Not to other traders necessarily, but whatever the market mechanism is that is enabling the above rules, it can see the math proofs implied in the trades people make. Logical share splitting A common theme in mathematics is to split proofs up like this: First we show A⟹B, then we show A. This allows us to prove B. Part of the point of using a market is to combine the intelligence of the various traders in the market into something greater than any individual trader. So ideally, we'd like to be able to prove B, even if one trader can only prove A⟹B and the other trader can only prove A. So let's say there's some profit in pro...

Bob Murphy Show
Ep. 287 Ian Deters Defends the Use of Infinity in Higher Mathematics

Bob Murphy Show

Play Episode Listen Later Sep 5, 2023 122:12


Back on BMS ep. 229, Bob invited Steve Patterson back to the show to discuss Riemann's Rearrangement Theorem, which was such a counterintuitive result that Bob changed his mind and agreed with Steve that mathematicians had smuggled nonsense into their field. Math PhD Ian Deters now joins Bob to defend the use of infinity in higher mathematics.Mentioned in the Episode and Other Links of Interest:The YouTube version of this interview (with mathematical images overlaid).The BMS ep 229 featuring Steve Patterson's critique of infinity.Help support the Bob Murphy Show.The audio production for this episode was provided by Podsworth Media.

techzing tech podcast
384: TZ Discussion – The Breakthrough That Wasn’t

techzing tech podcast

Play Episode Listen Later Aug 22, 2023


Justin and Jason discuss Justin's plan to integrate daily physical exercise, how excess fructose could be the primary driver for elevated levels of uric acid and metabolic diseases generally, the million-dollar prize for a solution to the Riemann hypothesis, Justin's idea for a website called AmISheeple.com, the non-replication of the room-temperature superconductor, whether AI is a solution in search of a problem or the exact opposite, Elon Musk's response to the anti-Tesla ETF closing its doors, his decisions to change the name of Twitter to X and to get rid of the bock functionality, and how he's paid more taxes than anyone in history, why a wealth tax is unworkable, how Justin has absolutely, positively not given up on NitroNote, Math Academy's free-response functionality, whether Jason's approach to automated testing has changed, and the upcoming marketing push, how Justin once brought down his company's entire network (by accident), Colby's work on his game's tech tree and how his play testing is working out, the movie The Godfather and the Hulu series The Bear. Artwork by https://sonsofcrypto.com. Join our Discord, chat with us and fellow listeners! https://discord.gg/2EbBwdHHx8

techzing tech podcast
384: TZ Discussion - The Breakthrough That Wasn't

techzing tech podcast

Play Episode Listen Later Aug 22, 2023 115:00


Justin and Jason discuss Justin's plan to integrate daily physical exercise, how excess fructose could be the primary driver for elevated levels of uric acid and metabolic diseases generally, the million-dollar prize for a solution to the Riemann hypothesis, Justin's idea for a website called AmISheeple.com, the non-replication of the room-temperature superconductor, whether AI is a solution in search of a problem or the exact opposite, Elon Musk's response to the anti-Tesla ETF closing its doors, his decisions to change the name of Twitter to X and to get rid of the bock functionality, and how he's paid more taxes than anyone in history, why a wealth tax is unworkable, how Justin has absolutely, positively not given up on NitroNote, Math Academy's free-response functionality, whether Jason's approach to automated testing has changed, and the upcoming marketing push, how Justin once brought down his company's entire network (by accident), Colby's work on his game's tech tree and how his play testing is working out, the movie The Godfather and the Hulu series The Bear. Artwork by https://sonsofcrypto.com. Join our Discord, chat with us and fellow listeners! https://discord.gg/2EbBwdHHx8

The Science of Everything Podcast
Episode 136: Introduction to General Relativity

The Science of Everything Podcast

Play Episode Listen Later May 11, 2023 84:40


An introduction to the conceptual and mathematical framework of Einstein's General Theory of Relativity. We begin by considering the key insight of gravity as a geometric phenomenon, and how the curvature of spacetime by matter explains the equality of inertial and gravitational mass. We then discuss the mathematics of general relativity, including geodesics, differential manifolds, covariant derivatives, the metric tensor, Christoffel symbols, the Riemann curvature tensor, the Ricci tensor, and the energy-momentum tensor. The episode concludes with a derivation and explanation of the significance of Einstein's Field Equations. Recommended pre-listening is Episodes 114 and 115: Special Relativity 1 and 2.  If you enjoyed the podcast please consider supporting the show by making a PayPal donation or becoming a Patreon supporter. https://www.patreon.com/jamesfodor https://www.paypal.me/ScienceofEverything  

Tom Nikkola Audio Articles
What is the Best Magnesium for Sleep to Maximize Health and Fitness?

Tom Nikkola Audio Articles

Play Episode Listen Later Apr 18, 2023 10:33


You've likely heard about the countless benefits of magnesium for overall health, but did you know it also plays a crucial role in sleep? As one of The 3 Pillars of VIGOR, getting sufficient quality sleep must be a nonnegotiable for anyone who wants to maintain good health. Unfortunately, many people struggle with sleep, with almost 10% of Americans taking sleep medication. One way to enhance sleep quality is by getting enough magnesium. This guide explores the connection between magnesium and sleep, covers various magnesium supplements, and helps you find the best magnesium for sleep to optimize your rest. Why Magnesium Matters for Sleep Magnesium is a vital mineral involved in over 300 biochemical reactions in the body, including nerve and muscle function, maintaining a healthy immune system, and regulating blood pressure.de Baaij, J. H., Hoenderop, J. G., & Bindels, R. J. (2015). Magnesium in man: implications for health and disease. Physiological reviews, 95(1), 1-46. One of the most significant roles magnesium plays is in sleep quality. Magnesium contributes to the production of melatonin, a hormone that regulates sleep-wake cycles, and supports the function of GABA, a neurotransmitter that promotes relaxation and sleep.Abbasi, B., Kimiagar, M., Sadeghniiat, K., Shirazi, M. M., Hedayati, M., & Rashidkhani, B. (2012). The effect of magnesium supplementation on primary insomnia in elderly: A double-blind placebo-controlled clinical trial. Journal of research in medical sciences, 17(12), 1161. Unfortunately, magnesium deficiency is quite common, with studies suggesting that up to 68% of adults in the United States do not meet the recommended daily intake.Moshfegh, A., Goldman, J., Ahuja, J., Rhodes, D., & LaComb, R. (2009). What We Eat in America, NHANES 2005-2006: Usual Nutrient Intakes from Food and Water Compared to 1997 Dietary Reference Intakes for Vitamin D, Calcium, Phosphorus, and Magnesium. US Department of Agriculture, Agricultural Research Service. A lack of magnesium can result in poor sleep quality, insomnia, and even restless leg syndrome.Hornyak, M., Haas, P., Veit, J., Gann, H., & Riemann, D. (2004). Magnesium therapy for periodic leg movements-related insomnia and restless legs syndrome: an open pilot study. Sleep, 27(5), 1040-1048. Types of Magnesium Supplements There are several types of magnesium supplements available, each with unique pros and cons: Magnesium oxide: A common, low-cost option with a high magnesium content but low absorption rate.Lindberg, J. S., Zobitz, M. M., Poindexter, J. R., & Pak, C. Y. (1990). Magnesium bioavailability from magnesium citrate and magnesium oxide. Journal of the American College of Nutrition, 9(1), 48-55. Due to its poor bioavailability, magnesium oxide may not be the best choice for sleep improvement. Magnesium citrate: More readily absorbed than magnesium oxide but may cause gastrointestinal side effects, such as diarrhea, in some individuals.Walker, A. F., Marakis, G., Christie, S., & Byng, M. (2003). Mg citrate found more bioavailable than other Mg preparations in a randomised, double-blind study. Magnesium research, 16(3), 183-191. Although it's more bioavailable than magnesium oxide, its potential side effects make it less suitable for sleep improvement. Magnesium glycinate: A well-absorbed form that is gentle on the stomach and may improve sleep quality.Cao, Y., Zhen, S., Taylor, A. W., Appleton, S., Atlantis, E., & Shi, Z. (2018). Magnesium Intake and Sleep Disorder Symptoms: Findings from the Jiangsu Nutrition Study of Chinese Adults at Five-Year Follow-Up. Nutrients, 10(10), 1354. This chelated form of magnesium binds magnesium to the amino acid glycine, which has calming effects on the brain and nervous system, making it an excellent choice for sleep improvement. Magnesium malate: Known for its energy-boosting properties, it may not be the best option for sleep.Uysal, N., Kizildag, S., Yuce, Z., Guvendi, G., Kandis, S.,