Podcasts about axiome

Indem Ernst Zermelo eine neue Ordnungsregel in der Mathematik einführt, löst er ein riesiges Problem der Mengenlehre – und entfacht gleichzeitig die größte Debatte, die es in der Mathe-Community je gegeben hat. Die Idee für diesen Podcast hat Demian Nahuel Goos am MIP.labor entwickelt, der Ideenwerkstatt für Wissenschaftsjournalismus zu Mathematik, Informatik und Physik an der Freien Universität Berlin, ermöglicht durch die Klaus Tschira Stiftung. (00:00:00) Einleitung (00:02:04) Lehrerkind in der Hochindustrialisierung (00:03:22) Göttingen als Hochburg für Mathematik (00:04:44) Die zukünftigen Probleme der Mathematik (00:05:45) Upgrade der Mengenlehre (00:08:09) Kritik an Zermelos Werkzeug (00:09:36) Zermelos Revanche (00:13:10) Grundregeln der Mathematik (00:14:38) Axiome in der Mengenlehre (00:15:58) Das „magische“ Auswahlaxiom (00:18:16) Mathematische Folgen des Auswahlaxioms (00:24:03) Manon und Demian zum Auswahlaxiom (00:26:39) Schlusswort zu Zermelo (00:27:28) Verabschiedung >> Artikel zum Nachlesen: https://detektor.fm/wissen/geschichten-aus-der-mathematik-ernst-zermelo

Indem Ernst Zermelo eine neue Ordnungsregel in der Mathematik einführt, löst er ein riesiges Problem der Mengenlehre – und entfacht gleichzeitig die größte Debatte, die es in der Mathe-Community je gegeben hat. Die Idee für diesen Podcast hat Demian Nahuel Goos am MIP.labor entwickelt, der Ideenwerkstatt für Wissenschaftsjournalismus zu Mathematik, Informatik und Physik an der Freien Universität Berlin, ermöglicht durch die Klaus Tschira Stiftung. (00:00:00) Einleitung (00:02:04) Lehrerkind in der Hochindustrialisierung (00:03:22) Göttingen als Hochburg für Mathematik (00:04:44) Die zukünftigen Probleme der Mathematik (00:05:45) Upgrade der Mengenlehre (00:08:09) Kritik an Zermelos Werkzeug (00:09:36) Zermelos Revanche (00:13:10) Grundregeln der Mathematik (00:14:38) Axiome in der Mengenlehre (00:15:58) Das „magische“ Auswahlaxiom (00:18:16) Mathematische Folgen des Auswahlaxioms (00:24:03) Manon und Demian zum Auswahlaxiom (00:26:39) Schlusswort zu Zermelo (00:27:28) Verabschiedung >> Artikel zum Nachlesen: https://detektor.fm/wissen/geschichten-aus-der-mathematik-ernst-zermelo

Indem Ernst Zermelo eine neue Ordnungsregel in der Mathematik einführt, löst er ein riesiges Problem der Mengenlehre – und entfacht gleichzeitig die größte Debatte, die es in der Mathe-Community je gegeben hat. Die Idee für diesen Podcast hat Demian Nahuel Goos am MIP.labor entwickelt, der Ideenwerkstatt für Wissenschaftsjournalismus zu Mathematik, Informatik und Physik an der Freien Universität Berlin, ermöglicht durch die Klaus Tschira Stiftung. (00:00:00) Einleitung (00:02:04) Lehrerkind in der Hochindustrialisierung (00:03:22) Göttingen als Hochburg für Mathematik (00:04:44) Die zukünftigen Probleme der Mathematik (00:05:45) Upgrade der Mengenlehre (00:08:09) Kritik an Zermelos Werkzeug (00:09:36) Zermelos Revanche (00:13:10) Grundregeln der Mathematik (00:14:38) Axiome in der Mengenlehre (00:15:58) Das „magische“ Auswahlaxiom (00:18:16) Mathematische Folgen des Auswahlaxioms (00:24:03) Manon und Demian zum Auswahlaxiom (00:26:39) Schlusswort zu Zermelo (00:27:28) Verabschiedung >> Artikel zum Nachlesen: https://detektor.fm/wissen/geschichten-aus-der-mathematik-ernst-zermelo

Tao, die Gottheit und das Licht des Lebens, der kosmische Christus, kennt nur ein Gesetz: allen Geschöpfen, allen Lebenswellen die Möglichkeit zu geben, die ihnen zugemessene, die in ihnen angelegte Entwicklung zu durchlaufen, bis sie sich selbst in den Feldern des Unendlichen finden, bewusst und zweifelsfrei.

Willkommen zu einer fesselnden Expedition in die Tiefen der menschlichen Kommunikation! In dieser Podcastfolge werden Leon und Atze die wegweisenden Ideen von Paul Watzlawick, einem Visionär der Kommunikationstheorie, genauer unter die Lupe nehmen. Kann man nicht nicht kommunizieren? Watzlawicks fünf Axiome der Kommunikation werden als Kompass dienen, um zu verstehen, wie unsere Worte und Handlungen eine tiefere Geschichte erzählen, als wir uns vielleicht bewusst sind. Fühlt euch gut betreut Leon & Atze Instagram: https://www.instagram.com/leonwindscheid/ https://www.instagram.com/atzeschroeder_offiziell/ Der Instagram Account für Betreutes Fühlen: https://www.instagram.com/betreutesfuehlen/ Mehr zu unseren Werbepartnern findet ihr hier: https://linktr.ee/betreutesfuehlen Empfehlungen: Podcast SWR2 Wissen: “Paul Watzlawick – Warum wir nicht NICHT kommunizieren können”, https://www.swr.de/swr2/wissen/paul-watzlawick-warum-wir-nicht-nicht-kommunizieren-koennen-104.html Buch: “Anleitung zum Unglücklichsein – Inspirationen zum Glücklich sein und für mehr Achtsamkeit” von Paul Watzlawick Bei Correctiv vorbeischauen: https://correctiv.org Buchempfehlung: Lisa Feldman Barrett - Wie Gefühle entstehen Redaktion: Linda Caporale Produktion: Murmel Productions

Kann Sprache die Welt gerechter machen? Oder sind das nur oberflächliche Versuche, Missstände zu verdecken? Wie wirkt die Kommunikation zwischen Menschen auf ihre Beziehung? Und taugt die Sprachphilosophie nach Paul Watzlawick vielleicht, um eine gesellschaftliche Kommunikation zu beschreiben? Denise M'Baye und Sebastian Friedrich legen die Axiome des österreichischen Philosophen an aktuelle Probleme an. Hate Speech, verbale Aggression - wie handeln Menschen, wenn sie so sprechen? Im Gespräch mit der Philosophin Inga Bones wird einiges deutlicher. Und in der Rubrik "Die andere Seite" erzählt der Lyriker und Songwriter Max Prosa von seinem Umgang mit Sprache und davon, warum es ihm manchmal zu viele Worte sind. Und noch ein Tipp: Die Sache ist die… - vom Bayrischen Rundfunk. Dieser Podcast erzählt die gesellschaftlich relevanten und popkulturellen Geschichten hinter den Gegenständen. Jede Episode startet mit einer Überraschung: Unsere Hosts Ann-Kathrin Mittelstraß und Caro Matzko bekommen einen Gegenstand und erfahren im Gespräch mit unseren Autor*innen, was dahinter steckt. https://www.ardaudiothek.de/sendung/die-sache-ist-die/12336609/

In dieser Folge übersteigen wir unseren Horizont und nehmen euch dabei mit in eine Sphäre außerhalb des Geltungsbereichs der Naturgesetze. Dabei verlieren wir jedes Gefühl für Raum und Zeit. Glücklicherweise können wir euch mitteilen, dass dieses zukünftig auch nicht mehr vonnöten sein wird. Denn nach einem kurzen Ausflug in die Welt der Relativitäts- und Stringtheorie wird sich die Wissenschaft wieder auf die Axiome der euklidischen Geometrie zurückbesinnen. Dementsprechend seid ihr, wenn ihr von dem was wir in dieser Folge nicht verstanden haben nichts verstanden habt, spätestens 2084 auf dem neusten Stand. Stabile Seitenlage Podcast - "Wer nicht mit der Zeit geht, geht mit der Zeit! - Und tschüss!"

Auf einzelne eurer Fragen im Detail einzugehen, schaffe ich diese Woche leider nicht. Ihnen liegt allerdings oft ein gemeinsamer Nenner zugrunde. Kommunikation. Ob verbal, nonverbal, mit uns selbst oder anderen. Das erste der 5 Axiome von Watzlawick ist: „Du kannst nicht nicht kommunizieren.“ Daher ist es so wichtig, Kommunikation bewusst einzusetzen. In dieser Folge stelle ich euch 3 wichtige Elementen der Kommunikation vor Absicht, Distanz und Wohlwollen sowie die Kunst, höflich Nein zu sagen. Diese Woche lade ich dich eine, folgende Frage zu beantworten: Bist du dir deiner Absicht bewusst? ________________________________________________________________ WIE ERREICHST DU MICH? Webseite https://tidal-faces.ck.page/ Instagram https://www.instagram.com/leila.jasim.berlin/ Facebook https://www.facebook.com/tidalfaces/ Youtube https://www.youtube.com/channel/UCcugcZruoaOJu6x9vJTkeIw Schreibe uns gerne, wenn du tiefer eintauchen und ein 1:1 Coaching möchtest! Wir freuen uns auf dich! ________________________________________________________________ #longcovid #postcovid #postcovid19 #podcast #longcovidpodcast #coaching #longcovidcoaching #coachinglife #lifetrustcoaching #embodiment #longcoviddeutschland #nichtgenesen #mindset #fragen #tidalfaces #atem #atemübung #wachstum #entwicklung #inspiration #verantwortung #persönlichkeitsentwicklung #gedanken #selbstbild #selbstliebe #selbstliebe #imflowmitlongcovid #selbstwirksamkeit ________________________________________________________________ Rechtlicher Hinweis: Das Informationsangebot von Anna Carina Heimer & Leila Jasim dient ausschließlich deiner Information und ersetzt in keinem Fall eine persönliche Beratung, Untersuchung oder Diagnose durch einen approbierten Arzt. Die von uns zur Verfügung gestellten Inhalte können und dürfen nicht zur Erstellung eigenständiger Diagnosen verwendet werden und die Anwendung der Inhalte erfolgt auf eigene Verantwortung. Eine Behandlung von Krankheiten im medizinischen Sinne findet nicht statt. Wir weisen außerdem ausdrücklich darauf hin, dass wir mit unseren Inhalten keine Erfolgszusagen machen. Für Schäden oder andere ungewollte Folgen, die aus der Anwendung der Inhalte resultieren, schließen wir jede Haftung aus. _______________________________________________________________ Intro MusiK: You're The Champion by MaxKoMusic | https://maxkomusic.com/ Music promoted by https://www.chosic.com/free-music/all/ Creative Commons Attribution ShareAlike 3.0 Unported (CC BY-SA 3.0) https://creativecommons.org/licenses/by-sa/3.0 --- Send in a voice message: https://podcasters.spotify.com/pod/show/tidal-faces/message

Sun, 10 Apr 2022 04:00:00 +0000 https://tellme.podigee.io/46-podcastspecial-gesprachsfuhrung-kommunikationsmodelle-44 c3a91493e7643709263f191a4b3502e2 Wer seine Kommunikation und damit auch seine Gespräche verbessern möchte kommt nicht daran vorbei sich mit Kommunikationsmodellen zu beschäftigen. In dieser Folge gebe ich dir einen ersten Einblick in die wichtigsten Modelle, die du unbedingt kennen solltest. Wenn du mehr über die 5 Axiome der Kommunikationstheorie erfahren willst, dann hör dir auch Folge 27 an. Hier gehts zu Folge 27 Ich wünsche dir viel Spaß beim Reinhören. full no Kommunikation,Kommunikationsmodelle,Gesprächsführung,Learnings,Tipps,Führung,Leadership Alexander Pokorny

Tue, 05 Apr 2022 04:00:00 +0000 https://tellme.podigee.io/41-podcastspecial-gesprachsfuhrung-das-verstehen-39 d9c46a8080fbc65e3059e9855e87fcb0 Weiter geht es mit Folge zwei der Serie. Wenn du aktiv gute Gespräche führen möchtest, dann gibt es für dich zwei Aufgaben. Verstehen und Führen. In dieser Folge gehen wir auf das Verstehen ein. Wer in Gesprächen nicht nur zuhört, sondern auch versteht, wird deutlich anders als Gesprächspartner wahrgenommen. Viel Spaß beim Reinhören. Hier gehts zur Folge Die 5 Axiome der Kommunikationstheorie full no Gesprächsführung,Führung,Verstehen,Lernen,Tipp,Gespräch,Leader Alexander Pokorny

Paul Watzlawick ist einer der wichtigsten Denker des 20. Jahrhunderts. Am bekanntesten ist sicher seine "Anleitung zum Unglücklichsein". Watzlawick befasste sich viel mit Kommunikation. Und vor allem damit, wie sie NICHT funktioniert. Daraus leitete er 5 Axiome ab. Also Grundannahmen, die nicht wahr oder falsch sind. Sondern einfach hilfreich um besser kommunizieren zu können. Genau diese 5 Axiome möchte ich Dir in der heutigen Folge vorstellen. Dabei geht es natürlich auch um den praktischen Nutzen. Also wie Du mithilfe dieser Grundannahmen besser kommunizieren kannst.

Bestimmt kennst du den Satz "du kannst nicht, nicht kommunizieren". Aber woher kommt er? Er ist einer der 5 Axiome der Kommunikationstheorie des österreichischen Kommunikationswissenschaftlers Paul Watzlawick. Seine 5 Axiome sind eine der wichtigsten Grundlagen für Kommunikation. Jeder Mitarbeiter und jede Führungskraft sollte die 5 Axiome kennen. Falls du sie also nicht kennst, solltest du dir diese Folge unbedingt anhören und speichern. Viel Spaß beim Reinhören.

Das ist Folge 614 mit deutschlands führendem Rhetoriktrainer Michael Ehlers. Willkommen zu Unternehmerwissen in 15 Minuten. Mei Name ist Rayk Hahne, Ex-Profisportler und Unternehmensberater. Jede Woche bekommst Du eine sofort anwendbare Trainingseinheit, damit Du als Unternehmer noch besser wirst. Danke das Du Die Zeit mit mir verbringst. Lass uns mit dem Training beginnen. Wenn Dir die Folge gefällt, teile Sie mit Deinen Freunden unter dem Link raykhahne.de/614. In der heutigen Folge geht es um, Rhetorik anders. Welche 3 wichtigen Punkte kannst Du Dir aus dem heutigen Training mitnehmen? Warum jeder zu Beginn rumschrammelt. Wieso es um Wiedererkennung geht. Wie man sich als Chef vor Blödsinn bewahrt. Du kennst sicher jemanden für den diese Folge unglaublich wertvoll ist. Teile sie und hilf auch anderen Unternehmern, ihre Herausforderungen zu überwinden. Der Link ist raykhahne.de/614. Bevor wir gleich mit der Folge starten, habe ich noch eine Empfehlung für Dich. Diesmal in eigener Sache.  Du kennst den Podcast, Du siehst Dir regelmäßig unsere Postings an, aber die Umsetzung will einfach noch nicht so klappen? Dann ist für Dich der nächste Schritt das Buch: Dein perfekter Unternehmertag, zu lesen und durchzuarbeiten. In meinem Buch habe ich die wichtigsten Werkzeuge aus über 600 Podcastfolgen für Dich zusammengefasst, und Dir viele Übungen zusammengetragen, mit denen Du Deinen perfekten Unternehmertag auch erreichen kannst. Die Feedbacks waren überwältigend. Selbst Personen die keine Unternehmer sind haben durch das Buch eine neue Vision für sich und ihr Leben formulieren können. Nutze Deine Chance und geh mal ganz tief an Deine Themen ran, ich verspreche Dir, es wird eine spannende Reise. Einfach auf raykhahne.de/buch . Viel Spaß bei der Umsetzung. Rayk: Willkommen Michael Ehlers! Bist Du ready für die heutige Trainingseinheit? Michael: Ich freue mich auf dich und auf unsere Zuhörer. Rayk: Dann lass uns gleich mal starten. Was sind die drei wichtigsten Punkte, die wir über Dich wissen sollten in Bezug auf Beruf, Vergangenheit und etwas Privates? Michael: 1. Ich bin seit 30 Jahren Rhetorik-Trainer und bilde Unternehmer*innen in ihrer Redekunst aus. 2. Ich habe ein Handwerk gelernt, war bei der Bundeswehr Berufsoffizier und ging dann in den Verkauf. 3. Ich bin Rockmusiker, spiele Gitarre und E-Gitarre. Rayk: Beim Thema Rhetorik kommt man im deutschsprachigen Raum nicht an Dir vorbei. Du hast wirklich die Stars und Sternchen der Bühne ausgebildet. Hol uns mal ab. Was genau macht Ihr? Wie kann ich mir das vorstellen? Michael: Rhetorik ist die Kunst der Rede. Wie jede andere Kunst auch liegt ihr ein Handwerk zugrunde. Die Sprache ist das Instrument, damit haben wir einen riesen Vorsprung, weil wir nicht erst das Instrument erlernen müssen. Dann geht es darum, seine eigene Wirkung auf der Bühne so zu produzieren, wie du sie für deine Zielgruppe brauchst. Dazu brauchst du eine Zielgruppen-Analyse. Du musst ganz genau wissen, wo deine kommunikativen Stärken und Schwächen sind, und diese Stärken zum Ausdruck bringen. Das nennt sich dann Rhetorik und das machen wir über Training. Rayk: Mittlerweile hältst Du Auftritte auf Bühnen, wo Du physisch nicht anwesend bist, sondern ein digitaler Klon erscheint. Ihr seid da wirklich ganz vorne mit dabei und macht Sachen, die es eigentlich noch gar nicht auf dem Markt gibt. Bevor wir näher darauf eingehen, interessiert mich, was Deine berufliche Weltmeisterschaft war, deine größte Herausforderung. Wie hast Du diese überwunden? Michael: Meine größte Herausforderung war es, Unternehmer zu sein und zu verstehen, wie komplex das eigentlich ist. Mein Unternehmen wurde immer größer und größer. Ich hatte immer mehr Angestellte und musste auf einmal aktiv führen. Was vorher nebenbei ging, musste auch aktiv passieren. Dann kommt das große Thema Finanzen dazu. Ich musste in starke Verhandlungen mit der örtlichen Finanzbehörde gehen, was glücklicherweise funktioniert hat. Rhetorik zu lehren, das ist meine Welt. Aktiva und Passiva aufzuschreiben ist genau das Gegenteil meiner Welt. Ich habe für mich erkannt, dass das nie eine Stärke von mir sein wird. Also habe ich mir Leute gesucht, die das für mich organisieren. Diese Erkenntnis im Nachhinein: Wow. Du hast ein Problem erkannt, es sauber analysiert, bist es angegangen und hast es für dich akzeptiert. Es fällt mir schwer, zu akzeptieren, dass ich etwas nicht kann. Aber das zu akzeptieren und an Mitarbeitende abzugeben, ist eine gute Erfahrung gewesen, die mir oft bei meinem weiteren Werdegang geholfen hat. Rayk: Wenn es darum geht, seine Rhetorik, seine sprachlichen Fähigkeiten zu verbessern, was ist da ein wesentliches Werkzeug, das die Leute kennen sollten? Michael: Die Theorie ist natürlich wichtig, aber wird im Alltag nichts bringen. Viele Zuhörer kennen die Kommunikationsmodelle von Schulz und von Thun – zum Beispiel das Vier-Uhren-Modell – oder die Axiome von Paul Watzlawick. Axiom 1: Man kann nicht nicht kommunizieren. Jetzt kriegen wir Stress und der Stress macht etwas mit uns. Nämlich stehen uns unsere kognitiven Fähigkeiten nicht mehr zur Verfügung, da die vier Stressreaktionen Kampf, Flucht, Schockstarre und Zusammenrottung auf unsere Kognition einwirken. Wer kann schon in einer Stresssituation über die Kommunikationsmodelle nachdenken? Das macht kein Mensch. Jeder Mensch kann etwas und weiß etwas, egal in welcher Expertise. Meine Mission als Rhetorik-Trainer ist es, echtem Wissen und echtem Können eine Stimme zu geben. Wenn in einem Meeting der Chef mit hoher sozialer Dominanz Blödsinn erzählt, steht kein Mitarbeiter auf, um Rückmeldung zu geben. Das passiert viel zu wenig. Wenn das aber überall passieren würde, was würde sich in der Wirtschaft verändern? Tipp 1: Blickkontakt aufnehmen mit seinem Gegenüber, aber auch mit dem Rest der Leute im Raum. Die Satzzeichen hörbar machen und am Ende eines Satzes nach unten zu modulieren, nicht in die Höhe. Blickkontakt halten und eine natürliche Gestik und Mimik – das trainieren wir in Seminaren. Dass du nach außen hin Sicherheit ausstrahlst, damit die Leute dir abnehmen, was von innen kommt. Das Gesagte ist dann glaubwürdig und wir bauen Vertrauen auf. Dazu noch Werkzeuge wie Ich-Botschaften. Nicht das verändern, was der Chef sagt, sondern etwas hinzufügen. Kommunikation findet immer auf der Sachebene und der emotionalen Ebene statt. Wir müssen immer durchs Herz ins Hirn und durchs Herz wieder hinaus. Rayk: Wie viel Zeit sollte ich für ein Training investieren, um diese neue Botschaft, diese neue Veränderung auch kommunikativ entsprechend zu stützen und mehr Sicherheit in der neuen Rolle zu haben? Michael: Da Rhetorik eine Kunst ist, komme ich ums Üben nicht herum. Gitarre lerne ich nicht durch ein Buch und Rhetorik eben auch nicht. Mein Slogan ist ja: Wer etwas zu sagen hat, der sollte reden können. Es reicht, einmal im Jahr in ein 4-tägiges Seminar zu gehen und dann seine Ausbildung in 3 bis 4 Jahren abzuschließen. Das Ganze kann ich mit begleitendem Training machen, bspw. über Virtual Reality. Damit arbeiten wir heute. Über die VR-Brille können Teilnehmende ihre Präsentationen üben. In weiterführenden Seminaren geht es dann um Führungskommunikation, Dialektik, unfaire Angriffe abwehren und so weiter. Rayk: Wie können wir mit dir am besten in Kontakt treten? Michael: Mein Name ist Michael Ehlers. ME sind die Initialen und wenn du www.rhetorik.me eingibst, dann bist du auf einer Webseite, die dich zu einem kostenlosen Podcast führt, Hörbüchern und natürlich auch zu meinen Seminaren in den verschiedenen Formaten. Rayk: Vielen Dank, dass Du deine Zeit und Erfahrung mit uns geteilt hast. Ich freue mich auf das nächste Gespräch mit Dir. Michael: Ich freue mich auch. Danke schön! die Shownotes zu dieser Folge findest Du unterde/614 alle Links habe ich Dir dort aufbereitet und Du kannst die Inhalte der Folge noch einmal nachlesen Dir hat die Folge gefallen und Du konntest sofort etwas umsetzen? Dann sei ein Held für jemanden und teile diese Folge.: Erst den Podcast abonnieren unter raykhahne.de/podcast , oder folge mir bei Facebook, Instagram, LinkedIn oder YouTube; denn ich bin hier, um Dich als Unternehmer noch besser zu machen. Danke, dass Du die Zeit mit mir verbracht hast. Das Training ist vorbei, jetzt liegt es an Dir. Viel Spaß mit der Umsetzung.  

Pour commencer, on parle de certains problèmes touchant Tipeee. Puis on discute des 4 vidéos suivantes : @Chat Sceptique "Science & pseudoscience : les différencier, pas gagné !" https://youtu.be/gGkJmikwozM @The New York Times "Liberal Hypocrisy is Fueling American Inequality. Here's How." https://youtu.be/hNDgcjVGHIw @Stupid Economics "Entre soft power et propagande, qui finance les vidéastes ?" https://youtu.be/sCqv4ATbUXI?list=LL @ScienceEtonnante "Comment les I.A. font-elles pour comprendre notre langue ?" https://youtu.be/CsQNF9s78Nc Et pour finir, on vous présente un nouveau paradoxe : le paradoxe du flash !

In der heutigen Podcastfolge gewährt euch Prof. Dr. John Lennox einen kurzen, aber inhaltsreichen Blick in die Methoden und Arbeitsweisen der Naturwissenschaft. John Lennox ist Professor für Mathematik an der University of Oxford. Er befasst sich insbesondere mit der Verhältnisbestimmung von Wissenschaft und Religion. Die Folge gibt es auch auf YouTube: https://youtu.be/E5uQo4F022g https://www.begruendet-glauben.org/podcast/ https://www.instagram.com/begruendet_glauben/

Les vidéos dont on a discuté : Hygiène mentale - Le biais et le bruit https://youtu.be/VKsekCHBuHI Le Réveilleur - Comprendre le GIEC et ses rapports. https://www.youtube.com/watch?v=C_UTlTiVQ_0 Philoxime sur la propriété intellectuelle : Pourquoi la propriété intellectuelle ? Locke et le droit naturel : https://youtu.be/SVAAEIDyMhI A-t-on besoin d'une carotte? https://youtu.be/qp5HPksrhNE Micode - Comment PIRATER Jeff Bezos avec un mème ? (histoire vraie) https://www.youtube.com/watch?v=hZbVW04Ohjk

Kurz und verständlich erklärt Prof. Dr. Peter Imming, was Glaube und Vernunft miteinander verbindet. Ist Wissenschaft eigentlich nichts anderes als vernünftige Weisheit? Was hat es mit unbeweisbaren Grundannahmen in Glaube und Wissenschaft auf sich? Was für eine Rolle spielt Vertrauen im Glauben und welche Inhalte hat er? Welche Gründe gibt es für Glaube und Vernunft? Welche Gemeinsamkeiten haben Glaube und Wissenschaft und warum brauchen wir beides? Prof. Dr. rer. nat. habil. Peter Imming ist Professor für Pharmazeutische Chemie an der Martin-Luther-Universität Halle-Wittenberg. Seine primären Forschungsinteressen sind neue Wirkstoffe gegen Mykobakterien, vor allem gegen den Tuberkulose-Erreger, und stabile organische Radikale als potentielle Diagnostika. Außerdem fasziniert ihn die positive Interaktion von christlicher Weltanschauung und Wissenschaft. Die Folge gibt es auch auf YouTube: https://youtu.be/X6JUQXVAxZ8 https://www.begruendet-glauben.org/podcast/ https://www.instagram.com/begruendet_glauben/

Viele Situationen des Alltags haben etwas, das sie alle vereint. Es ist der offensichtliche Widerspruch zwischen einem inhaltlichen Aspekt, um den es gehen sollte und dem mit diesem Aspekt einhergehenden formalen Verhalten, welches die Situation, jenseits des konkreten Inhaltes bestimmt. Insofern haben wir es jeweils mit zwei Ebenen der Interaktion zu tun. Auf der einen Ebene geht es um das Objekt bzw. den Gegenstand der Betrachtung. Auf der anderen Ebene geht es um einen Aspekt, der die jeweilige Beziehung zwischen den beteiligten Personen betrifft. Ein wesentlich besseres Verständnis der zwischenmenschlichen Kommunikation, auf das wir heute zurückgreifen können, verdanken wir den Erkenntnissen, die uns der österreichisch–amerikanische Kommunikationswissenschaftler, Psychologe und Philosoph Paul Watzlawick (1921–2007) vermittelt hat. Grundlage seiner Kommunikationstheorie sind fünf Axiome, die er allen Situationen mit kommunikativem Charakter zuschreibt. Eines dieser Axiome bezieht sich auf die zwei oben angesprochenen Ebenen. Watzlawick sagt hierzu: „Jede Kommunikation hat einen Inhalts– und einen Beziehungsaspekt, wobei Letzterer den Ersteren bestimmt und daher eine Metakommunikation ist.“

Thibaut et Lê reviennent sur le confinement et leur utilisation des réseaux sociaux au cours des derniers mois, puis parlent de la vie thermodynamique (la Lyfe), de la contagion de la criminalité et des bizarreries statistiques dans les résultats des présidentielles américaines. 00:00 Twitter et Tiktok 35:07 La LYFE (Science Étonnate) 1:03:26 Criminologie épidémiologique (Fouloscopie) 1:33:39 Statistiques électorales (Stand-up Maths) LYFE : la Thermodynamique de la Vie (Astrobiologie 2). Science Étonnante. https://www.youtube.com/watch?v=G7Yw6PPg7JU Peut-on prédire les futurs crimes ? Fouloscopie https://youtu.be/HHCiNPtR1NI Why do Biden's votes not follow Benford's Law? Stand-up Maths https://www.youtube.com/watch?v=etx0k1nLn78

Du kannst nicht nicht kommunizieren! Die 5 Axiome der Kommunikationstheorie von Paul Watzlawick belegen, was wir alle in unserem täglichen Tun erleben: Wie wir antworten und ob überhaupt, wie wir uns bewusst zeigen oder unbewusst einfach sind: Körpersprache, Mimik Handhaltung und dutzende unbewusste Gesten werden zu deinem größten “Verräter”. Und das ist nun…? Namen aus der Folge: Gary V, Timon Krause ------------------------------------------------------------------------------------------------------------------------- ... aus einer hörbaren Freundschaft wird ein Podcast: Ganz ohne Plan, ohne Skript, ohne DAS klassische Thema. Weil es passieren darf, wie es das Leben vorgibt. Zwischen Psychologie, Alltagsproblemen, Geschlechterkämpfen und humorvollen Einlagen.

Kennst du sie? Die 5 Axiome von Paul Watzlawick? Und wenn du sie kennst, wendest du sie an? Was können wir eigentlich mit ihnen anfangen? Und wie können sie Beziehungen zum Positiven wenden? Was machen sie klarer? Die Folge kommt den Fragen auf die Spur ... Was denkst du über die Folge? Was hat dich besonders angesprochen? Was hast du nicht verstanden oder siehst du anders? Lass es mich alles wissen. Durch dein Feedback wird dieses Projekt erst richtig lebendig. Schreibe mir am besten auf Instagram (@pat.rick_96). Ansonsten Danke fürs Zuhören. Insofern du mich weiter unterstützen möchtest, lasse mir eine Rezension bei iTunes auf den Podcast da. Besten Dank! Meine Links findest du hier: https://linktr.ee/pat.rick_96

Mit dieser Podcastfolge beginnt unsere umfangreiche aber einfach verständliche Einführung in die Physik. Wir beginnen ganz am Anfang, nämlich mit der klassischen Mechanik. Am Anfang dieser stehen die Newtonschen Axiome, welche die Grundlage für die klassische Mechanik liefern. In diesen tritt das in der Mechanik grundlegende Prinzip der Bewegung hervor: Trägheit. Wir betrachten dieses interessante Konzept und ziehen Schlüsse wie sich dies über die Wissenschaft hinaus aus Sicht des Glaubens verstehen lässt. Danach haben wir genug Grundlagen um bereits zu betrachten wie die Planetenbewegung in unserem Sonnensystem funktioniert. Newton selbst hat diese Keplerschen Gesetze aus seinen Axiomen hergeleitet und in seinem generellen Scholium interessante Schlussfolgerungen daraus gezogen. Abschließend werden, wie ich es in Zukunft in jeder Folge machen werde, von euch gestellte Fragen zur Physik beantwortet. In dieser Folge drehen sich diese Fragen alle um das Thema des Lichts. Literatur: Matthias Bartelmann, Theoretische Physik I: Punktmechanik und mathematische Methoden, Institut für Theoretische Physik, Universität Heidelberg. Isaac Newton, Bernard Cohen, Anne Whitman, Principia: The Authoritative Translation: Mathematical Principles of Natural Philosophy, University of California.

Letzte Woche ging es los mit der kleinen TZI-Serie hier im Podcast. In der heutigen Folge stelle ich dir die drei Axiome vor und kann nur sagen: Sie sind so… Read more 06 – Warum ich mich in die TZI verliebt habe →

Was in Deutschland los ist…. ist eine philosophisch interessante Situation. Wie kann ich mit Verschwörungstheoretikern (Kyrie Irving!) reden, und wofür stehen „wir“ überhaupt (Punkt 5). Was sind Theorien und was sind Axiome und wann kommt das Wort „Verschwörung“ davor (Punkte 1-4)?

Thibaut et Lê reviennent sur la pandémie #COVID19, l'importance de se laver les mains expliquées par Mark Rober (32:46), le rôle de la communication et des comportements souligné par Homo Fabulus (1:42:10) et finissent avec des paris bayésiens pour le déconfinement (2:28:23). How To See Germs Spread (Coronavirus) | Mark Rober https://www.youtube.com/watch?v=I5-dI74zxPg Le comportement, c'est un médicament | Homo Fabulus https://www.youtube.com/watch?v=DKspWVodz84 Et oui désolé, il y a eu un bug avec Final Cut Pro... Les 20 dernières minutes sont statiques ^^

Platon und seine Kardinaltugenden, Immanuel Kant, Axiome und Kurt Gödel eine Phalanx an Wissen! Dr. Alexander Müller und Manuel Mai decken die "neuen" Werte auf.

Hier berichte ich über das Leben von Isaac Newton mit einem Fokus auf seinen drei Axiomen.

Thibaut et Lê parlent de la crise du coronavirus, de comment ils en sont venus à penser ce qu'ils pensent, et de leurs paris bayésiens sur le nombre d'infectés qu'il y aura. La vidéo collab : https://www.youtube.com/watch?v=euk5FwYI1P4

Thibaut et Lê parlent d'insatisfaction et gratitude (29:20), de morale en tant que coût d'opportunité (38:57:05), de biais de confirmation via l'étiquetage (1:29:26:09) et des détails et limites de l'utilitarisme (2:16:27:02). An antidote to dissatisfaction | Kurzgesagt https://www.youtube.com/watch?v=WPPPFqsECz0 La morale, une histoire de coût d'opportunité (?) | Homo Fabulus https://www.youtube.com/watch?v=7hVeleGkH3s Vous n'êtes pas vos idées | Alexandre Technoprog https://www.youtube.com/watch?v=TO2J3Gf8Da8 Est-ce mal de vouloir maximiser le bonheur ? Homo Fabulus https://www.youtube.com/watch?v=yDWmnKrSE6M

Thibaut et Lê discutent de la série Mind Field créée par Michael Stevens de la chaîne VSauce. Les épisodes (normalement réservés aux abonnés de YouTube Red) sont accessibles à tous jusqu'à la fin de l'année, profitez-en ! https://www.youtube.com/playlist?list=PLZRRxQcaEjA4qyEuYfAMCazlL0vQDkIj2 0:00 - Intro (où l'on parle de la série en général) 17:54 - Sur l'épisode "Touch" et la puissance de l'effet nocebo. https://www.youtube.com/watch?v=OUdXMoY6fLY&list=PLZRRxQcaEjA4qyEuYfAMCazlL0vQDkIj2&index=7&t=0s 46:23 - Sur l'épisode "Destruction" et la gestion de la colère. https://youtu.be/EcU0pX834jY?list=PLZRRxQcaEjA4qyEuYfAMCazlL0vQDkIj2 1:13:25 - Sur l'épisode "Should I Die ?" : plutôt crémation ou cryogénisation ? (Avec en prime une discussion sur l'image de la méthode scientifique que renvoie Mind Field.) https://youtu.be/QEpmKAk81KQ?list=PLZRRxQcaEjA7LX19uAySGlc9hmprBxfEP 1:51:39 - Sur la vidéo "How to make a hero" et la prise de responsabilité éthique. https://youtu.be/jIjJ_YfttuA?list=PLZRRxQcaEjA7wmh3Z6EQuOK9fm1CqnJCI 2:19:37 - Sur quelques autres vidéos qui nous ont plu, notamment "Freedom of choice" (avec une variation sur l'expérience de Libet) et "The Stillwell Brain" (ou comment faire un réseau de neurones humains) "Freedom of choice" : https://youtu.be/XElctAG-TYw?list=PLZRRxQcaEjA4qyEuYfAMCazlL0vQDkIj2 The Stillwell Brain " : https://youtu.be/QEpmKAk81KQ?list=PLZRRxQcaEjA7LX19uAySGlc9hmprBxfEP Voilà !

Thibaut et Lê font un Axiome public au Frames Festival 2019, où ils reviennent sur le paradoxe de Newcomb et le paradoxe de la belle au bois dormant. Newcomb's Problem and the tragedy of rationality | Julia Galef https://www.youtube.com/watch?v=2KxJ6eTY9bA The Sleeping Beauty Problem | Julia Galef https://www.youtube.com/watch?v=zL52lG6aNIY&t=5s

Thibaut et Lê font un Axiome public au Frames Festival 2019, au sujet d'une vidéo de The Flares. Quelles seront les prochaines blessures narcissiques de l’humanité ? | The Flares https://www.youtube.com/watch?v=0Qk84WVIwx4

Désolé pour la qualité vidéo côté Monsieur Phi qui freeze sans cesse. Vous pourrez vous en consoler en faisant un top 10 des pires arrêts sur images.) Sommaire 0:00 - "Vos 10 choses à faire avant de mourir" par Absol Vidéos https://youtu.be/pGPNL9gzNOA 46:22 - "L'IA contre l'effondrement et la collapsologie" par Thibault Neveu https://youtu.be/cGqIkeAcnlc 1:10:00 - "Êtes-vous vraiment heureux ?" par Cyrus North https://youtu.be/2TSgU6Vjfqw 1:43:51 - "You're wrong about more than you think" par MajorPrep https://youtu.be/ioxWuCd-mn0 2:06:30 - Discussion autour de la nouvelle de Greg Egan "Des raisons d'être heureux" https://youtu.be/D2NMITS1YO4 La page "Happiness and life satisfaction" de "Our world in data" : https://ourworldindata.org/happiness-and-life-satisfaction

Wie flexibel bist Du? Die meisten Menschen würden auf diese Frage antworten: Sehr flexibel. Oder so etwas halbgares wie: „Kommt auf die Situation an.“ Flexible Menschen sind kreativ, clever, wandelbar, anpassungsfähig und erreichen sogar laut der GCP Studie mit über 14900 Befragten schneller ihre beruflichen und privaten Ziele. Wie verhält es sich in der Realität: Die meisten Menschen würden sich ein gewisses Maß an Flexibilität zuschreiben. Sobald jedoch etwas nicht ganz so läuft, wie sie es geplant haben oder auch mal richtig der „Busch brennt“ ist es schnell vorbei mit der sogenannten eigenen Flexibilität. Dann handeln fast alle Menschen ganz nach Schema F und verhalten sich immer gleich: Die einzigen Optionen sind dann „Streitbarer Konflikt“, „Motzendes Verweigern“ oder „Leidendes Elend“. Schon mal aufgefallen? Ja Kruzifix, würde der Bayer fluchen, gibt's denn da keine Alternativen? Im NLP gehen wir davon aus. Wie kommst Du an überraschend neue und vielleicht erfolgreichere Verhaltensweisen in Dir in Krisenfällen ran? Hör gerne in diese Podcastfolge hinein. Die Antwort ist sogar recht einfach.

Thibaut et Lê parlent de régulation des armes autonomes (7:03), de la reconstruction de Notre-Dame (29:58), de l'efficience des marchés (58:16), de corrélations et de causalités (1:31:47), et répondent à des questions des auditeurs #AxiomeFAQ (2:24:52). Pourquoi faut-il bannir les armes autonomes ? | The Flares https://www.youtube.com/watch?v=H73E5OesA3Y Faut-il reconstruire les monuments ? | NART l'art en 3 coups de pinceau https://youtu.be/bDXhSQptjag Supply, Demand, and the Value of Markets | Primer https://www.youtube.com/watch?v=PNtKXWNKGN8 Risque Alpha : Ep 13 : Quand corrélation → Causalité https://youtu.be/aqMyngADnMU

Vous connaissez sans aucun doute les philosophes Guillaume Bignon et David Haines, tous les deux membres du comité directeur de l'association Axiome. Pascal Denault et Guillaume Bourin discutent avec eux du sujet de recherche de Guillaume Bignon : le désaccord entre catholiques et protestants au sujet de la justification. Voici les questions abordées durant cette émission : (1) Les catholiques croient-ils à la justification par la foi ? (2) Comment les catholiques et les protestants comprennent-ils le concept de justification ? (3) Quelle distinction les Ecritures font-elles entre justification et sanctification ? Bonne écoute ! -- Coram Deo, l'émission qui porte un regard chrétien sur le monde, est l'émission hebdomadaire de Pascal Denault et Guillaume Bourin. Vous appréciez notre travail ? Nous aurions grand besoin de votre soutien. Cliquez sur ce lien pour nous aider, que ce soit dans la prière ou financièrement : leboncombat.fr/soutenir-bon-combat Musique: Nirvana, Lake of Fire Prochain sujet: Survivre comme chrétien à l'université La liste de tous nos épisodes: http://prechelaparole.sermon.net/pdf/20954925

Deux Youtubeurs enregistrent un Axiome. L'un est mathématicien. Quelle est la probabilité que l'autre soit philosophe ? 0:17 - Retour sur la "compressibilité" des données comme argument pour le réalisme. 16:39 - Sur la vidéo de Mr. Sam avec Astronogeek "LA SCIENCE NE REND PAS HEUREUX • Le Grand Procès de la Science • ép.2" https://youtu.be/KX3cG7toquc 50:28 - Sur la série de Smarter Every Day traitant de la manipulation sur les réseaux sociaux, et particulièrement sa dernière vidéo : "People are Manipulating You on Facebook - Smarter Every Day 215" https://youtu.be/FY_NtO7SIrY 1:26:07 - Sur la vidéo de Coffee Break "Pop Science" : https://youtu.be/AZ2aSCH3zjY 1:47:08 - Sur la vidéo de Vsauce2 " The game that learns" : https://youtu.be/sw7UAZNgGg8 2:04:49 - Sur le paradoxe des deux enfants et ses multiples variantes...

Warum gelten die Axiome der Mathematik? Kann man sie logisch begründen? Worüber sollen wir schweigen? Um diese Fragen geht es in dieser Podcast-Episode.Support the show (https://physiphi.com/)

Thibaut et Lê reviennent sur les virages de Launay et la surpuissance d'Alpha Zero, puis parlent de la confiance en Kurzgesagt (9:49), de l'histoire de la géométrie non-euclidienne (53:09), de public shaming (1:21:20) et de mécanique lagrangienne et de ses conséquences sur le réalisme scientifique (1:53:13). Kurzgesagt - Pouvez vous faire confiance aux vidéos de Kurzgesagt? https://youtu.be/JtUAAXe_0VI Public Shaming | Coffee Break https://www.youtube.com/watch?v=8BIYsdulTgU Pi Day et géométrieS - Histoires de maths #01 | Automaths https://www.youtube.com/watch?v=3iNHmvjy_mw Lagrangian Mechanics - A beautiful way to look at the world | Up and Atom https://www.youtube.com/watch?v=dPxhTiiq-1A

Doppelte Verneinungen sind eigentlich immer doof, weil unnötig kompliziert. Nur gibt's ja bekannterweise immer wieder Ausnahmen, die die Regel bestätigen. Ein dieser ist ein Satz des Kommunikationswissenschaftlers und Philosophen Paul Watzlawick: "Man kann nicht nicht kommunizieren." #boom Geht einfach nicht. Egal, was man tut; sobald sich zwei Menschen wahrnehmen, ist das Kind schon im Brunnen gefallen und es wurde schon wieder kommuniziert. Dieser Satz ist gleichzeitig auch das erste der fünf Axiome, die Watzlawick aufgestellt hat. A-xi-ome sind Aussagen, die als wahr und gültig akzeptiert werden. Quasi wie alles, was Ihr aus dem Munde eurer Whistleblower hört. Darauf, und natürlich auch auf die vier anderen Axiome, gehen Sebastian und Jessica in dieser Folge ein. Hier könnt ihr richtig praktische Tipps für eure eigene Kommunikation abräumen! Jackpot! Also reinhören, ne?!Zur Nacharbeit:Viel soll es diese Woche nicht sein. Hier mal die 5 Axiome bei Watzlawick nachlesen und dann lieber mal raus und bisschen einen Spaziergang machen. Eure Lieblings-Whistleblower

Thibaut et Lê parlent de l'organisation OpenAI pas si open, (20:31) de la créativité des IA, (56:56) de la shitstorm des pyramides, (1:43:34) de YouTubeurs scientifiques à la TV, (2:16:09) de réformes des mathématiques et (2:50:04) des facteurs d'escomptes et de l'identité personnelle. Science étonnante | Une intelligence artificielle peut-elle être créative ? https://www.youtube.com/watch?v=xuBzQ38DNhE Comment AlphaZero perd ses parties d'échecs ? Echecs - BlitzStream https://www.youtube.com/watch?v=WOLWnFS3oTw Réponse à Squeezie - À propos des pyramides | Revues du monde https://youtu.be/mL-6oJC2tcg Vlog#4 Mendax chez "Balance ton Post". QUOI ? La Tronche en Biais https://www.youtube.com/watch?v=66Ow33ku4-E [Vlog] Ma première expérience TV ! (Balance ton post ! du 08/02/2019) | Le Réveilleur https://www.youtube.com/watch?v=1tmTy5zax4w Réformons les angles! MicMaths https://youtu.be/7wY-Byh8d6M The Block Collision Puzzle | 3Blue1Brown https://www.youtube.com/watch?v=HEfHFsfGXjs&list=PLZHQObOWTQDMalCO_AXOC5GWsuY8bOC_Y CRACS : le forum des YouTubeurs (11 mai) http://inforjeunesluxembourg.be/cracs/ Frames Festival https://framesfestival.fr/ The triangle of power https://www.youtube.com/watch?v=sULa9Lc4pck www.science4all.org/article/the-triangle-of-power/

Folge:006: Heute geht es um eines der 10 Axiome des NLP. Wir machen häufig einen fatalen Fehler in unserer Sichtweise der Welt. Wir halten sie für wahr, für richtig. Dieses Denken engt uns ein. Die Welt ist komplex und unser Gehirn hat es gern einfach. Beides geht nicht gut zusammen. Das Gehirn möchte Energie sparen, zum Beispiel für den Ernstfall. Das Gehirn reguliert, was wir mit unseren Sinnen wahrnehmen. Es filtert und lässt nur die Dinge in unser Bewusstsein, die es für wichtig und notwendig befindet. Gott sei Dank verfügst du über ein Bewusstsein und kannst Einfluss nehmen. Also nutze die Chance dich zu öffnen für mehr Möglichkeiten, für mehr Einfluss auf dein Leben.

Il y a une horrible coquille sur le mot "terrorriste", qui ne prend qu'un R, je le sais, c'est ma faute, ma très grande faute. 0:25 - Retour sur la discussion d'Axiome 15 sur le réalisme moral et la fiabilité des intuitions 16:36 - Parlons d'altruisme efficace et de méthode scientifique avec la vidéo de Looking Glass Universe "How to take a scientific approach to charity" : https://youtu.be/YMxtImOzyGw 53:33 - Parlons de l'apport des IA dans la création artistique avec une vidéo de NART - l'art en 3 coups de pinceaux "[VLOG] ART ET IA : l'art est-il le propre de l'Homme ?" https://youtu.be/GnBrXe2cnKU 1:17:21 - Bisounours va-t-il devenir le nouveau cool ? On en parle avec une vidéo d'Alexandre Technoprog "LA VIRULENCE, C'EST PAS BIEN. #DébattonsMieux" : https://youtu.be/lmQtW7A3Nx8 1:49:33 - Parlons de l'impact du terrorisme et d'économie de l'attention avec une vidéo du Chat sceptique "Les terroristes ont gagné" : https://youtu.be/6hY_hUiT2yA 2:15:04 - L'algo de YouTube doit-il être paternaliste ? Retour sur l'idée proposée par Lê dans sa vidéo "La solution contre le changement climatique | Intelligence artificielle 52" : https://youtu.be/JARXHwJoxNk Un grand merci à Pleen pour l'aide au tournage ! N'hésitez pas à aller voir sa chaîne qui traite des problématiques liées à l'éducation et l'enseignement : https://www.youtube.com/channel/UC6wF0stG_iXMO4mIXM9g3YQ Voilà !

1:50 - Retour sur Bob et le value-loading problem 9:49 - Maxime Lambrecht | La fin du changement d'heure, un enjeu de justice ? https://youtu.be/CE4NozyX-yE 36:15 - Physics Girl | How to make a square vortex ring! ft. 3blue1brown https://youtu.be/N7d_RWyOv20 1:00:01 - Game Spectrum | Comment Fortnite a conquis ses joueurs https://youtu.be/uUlJarbHrMU 1:27:34 - OTB - Outside The Box | Robots-zombis philosophiques https://youtu.be/wy0HjFSjwUw 2:09:33 - Parlons du réalisme moral et de la valeur épistémique de nos intuitions morales !

Die 007 Axiome für Agenten auf Vertrieb und Führung übertragen. Nur 007 Orientierungspunkte – mehr braucht es nicht für den Erfolg in Leben, Lieben und Leistung. Sie immunisieren gegen Krisen, stabilisieren für den Change und ermöglichen ausserordentliches Können. https://visionselling.smile2.de/fuehrung-007-statt-0815-sales-up-call-weckruf-fuer-ihren-vertrieb

Thibaut et Lê parlent de l'attention et l'ennui (1:08), de la production et consommation de viande (33:08), d'omniscience logique et de paris sur des théorèmes mathématiques (1:02:04), des nudges, anti-nudges et auto-nudges (1:57:49), et de la programmation des valeurs morales dans les IA (2:43:03). Thinking about attention - Walk with me | CGP Grey 2 https://www.youtube.com/watch?v=wf2VxeIm1no Why Meat is the Best Worst Thing | Kurzgesagt https://www.youtube.com/watch?v=NxvQPzrg2Wg AI & Logical Induction | Computerphile https://www.youtube.com/watch?v=gDqkCxYYDGk Comment faire pour que votre mec pisse moins à côté ? NUDGE | Homo Fabulus https://www.youtube.com/watch?v=E8Kaq1KLkr0 A Roadmap for the Value-Loading Problem https://arxiv.org/abs/1809.01036 Vous reprendrez bien un peu de dessert ? The Scientific Benefits of Boredom | Veritasium https://www.youtube.com/watch?v=LKPwKFigF8U Tenez vos résolutions : Stickk.com La santé mondiale | Risque Alpha https://www.youtube.com/watch?v=tbet19d-2TI La nouvelle de Greg Egan "Des raisons d'être heureux" http://blog.belial.fr/post/2013/12/16/Des-raisons-d-etre-heureux

Tout d'abord, désolé pour la qualité son et vidéo qui n'est vraiment pas au top sur cet épisode. Beaucoup d'erreurs ont été commises, la première étant de sous-estimer à quel point les salles de la Sorbonne résonnent... La deuxième étant de ne pas allumer mon micro pendant la première demi-heure (mais ça s'améliore après). Quant à l'image, on n'a toujours pas compris. En tout cas, on s'y prendra mieux la prochaine fois ! 0:49 - Crop circles et zététique Astronogeek - La Vérité sur les Crop Circles : https://youtu.be/XtO_KLxb2Mk 17:03 - Taille du cerveau et paris sur les résultats d'études scientifiques Homo Fabulus - Gros cerveau = grosse intelligence ? Oui et non. https://youtu.be/JLfnqruE2Ss Et le jeu sur la réplicabilité des études : https://www.guidedtrack.com/programs/n6talgp/run?fb_action_ids=10158168388118849&fb_action_types=og.shares 42:56 - Le mot "vivant" et l'externalisme sémantique Dirty Biology - Êtes-vous sûr d'être vivant : https://youtu.be/d6u6Xhsg-qk 1:18:00 - Comment rester curieux (et ne pas devenir fou) Alex Dainis - How to stay curious in my daily life https://youtu.be/LAY-rlGnesc 1:39:10 - L'altruisme efficace et Peter Singer Le livre de Peter Singer : https://livre.fnac.com/a12007832/Peter-Singer-L-Altruisme-efficace Altruisme efficace France : https://altruismeefficacefrance.org/ Givewell.org

Thibaut et Lê reviennent au classique pour cet Axiome anniversaire ! 0:00 Long retour sur le réalisme scientifique. 21:31 La science est belle et tout le monde peut s'extasier devant elle ! People See the Double-slit Experiment for the First Time | Tibees https://www.youtube.com/watch?v=J_t380X1_2A 50:30 Le bayésianisme est-il un "underdog" ? Ou faut-il en parler comme d'un consensus ? La pensée bayésienne | Hygiène Mentale https://www.youtube.com/watch?v=x-2uVNze56s 1:28:12 Quels incentives mettre pour résoudre les problèmes environnementaux ? Quota Carbone Individualisée, un concept pour sauver le monde ? Le Réveilleur https://www.youtube.com/watch?v=NIVPzTFhzQY 1:58:47 Le vitalisme est si intuitif qu'il reste difficile à avaler, même avec tout ce que l'on sait. Mais la science semble univoque. La vie mécanique | Ballade mentale https://youtu.be/MdVZcb8FWV4 2:23:40 On parle de foot ! Et y a plein de choses fascinantes à dire, tant d'un point de vue bayésien que moral.

Thibaut et Lê se retrouvent pour un Axiome IRL où il sera question notamment de réalisme scientifique et de la vérité des modèles... Au programme : 5:58 Parlons du sens moral des animaux avec la vidéo d'Homo Fabulus "Votre chien est-il un animal moral" : https://youtu.be/kfe5mCHepo8 18:43 Questions d'éthique médicale avec la vidéo de Scilabus "Placebo : Faut-il mentir aux patients ?" : https://youtu.be/Dh9TMKcneT0 Sur l'efficacité limitée du placebo : http://www.cochrane.org/fr/CD003974/interventions-placebo-pour-le-traitement-de-toutes-les-pathologies-cliniques 46:51 Discussion autour du "luck egalitarianism" avec la vidéo de Politikon "Une paradoxale égalité des chances" : https://youtu.be/jgZ3CIlwRic 1:08:33 Un peu d'ontologie des maths avec la vidéo d'El jj "Il n'y pas de question stupide #02 : Là où les nombres s'arrêtent" : https://youtu.be/K3CahQtchaI Discuter avec un ultrafinitiste : https://www.youtube.com/watch?v=Gt1vNo45GfQ 1:28:29 Le réalisme et la notion de vérité : tous les modèles sont-ils faux ? Science4all "La sagesse des forêts | Intelligence Artificielle 17" : https://youtu.be/D2IazsNG9_g Monsieur Phi "ÊTES-VOUS ASSIS SUR DES ÉLECTRONS ? Réalisme scientifique (Ep.1) | Grain de philo #13" : https://youtu.be/9-ILAnAW8us

Début à 11:05. Thibaut et Lê parlent de dessins à base de séries de Fourier et de penser en termes de paris épistémiques, avant de prendre les questions des auditeurs. Deux (deux ?) minutes pour l'éléphant de Fermi & Neumann | El Jj https://www.youtube.com/watch?v=uazPP0ny3XQ Thinking in Best | Annie Duke | Rationally Speaking (Julia Galef) http://rationallyspeakingpodcast.org/show/rs-208-annie-duke-on-thinking-in-bets.html

Cette fois, on parle de : 0:10 Paradoxe de Newcomb (encore !) 6:20 Hygiène Mentale a publié la première vidéo YouTube avec le mot "bayésianisme" dans le titre ! L'occasion de parler des fondements philosophiques de ce courant de pensée. La lune n'a PAS d'influence sur les naissances | Hygiène Mentale https://www.youtube.com/watch?v=PRtwo1j0y2I 39:01 The NerdWriter introduit un concept très pertinent : les dark patterns. L'occasion de parler aussi des "nudges". How Dark Patterns Trick You Online | The NerdWriter https://www.youtube.com/watch?v=kxkrdLI6e6M 56:01 Suite à une vidéo d'Albert le chatisticien, on parle d'inégalités et de distribution des richesses. Spoiler, on est contre la pauvreté. Mais pas forcément contre les inégalités... Combien les pauvres devraient-ils laisser aux riches ? La statistique expliquée à mon chat https://www.youtube.com/watch?v=3QqR3AQe-SU Wealth Inequality in America | politizane https://www.youtube.com/watch?v=QPKKQnijnsM Attitudes vis-à-vis des inégalités de revenu en France : existerait-il un consensus ? Thomas Piketty http://piketty.pse.ens.fr/fichiers/public/Piketty2003c.pdf Hans Rosling's 200 Countries, 200 Years, 4 Minutes - The Joy of Stats - BBC Four https://youtu.be/jbkSRLYSojo 1:57:38 On parle de vision et de perception. Et des merveilles de l'univers... [CQFD #3] "Voir" en astrophysique | Florence Porcel https://www.youtube.com/watch?v=skiShRYlAig Voir dans l'invisible / transpercer les objets | Balade Mentale https://www.youtube.com/watch?v=S0IjBafDOAo Les vraies couleurs de l'univers - Astro'Stylé #01| String Theory https://www.youtube.com/watch?v=UInGLnoTKsY Ceci n'est pas du bleu | Lanterne Cosmique https://www.youtube.com/watch?v=dnTzYXRUHBQ 2:32:56 Le paradoxe des deux enveloppes. Un joli problème des probabilités (dont la solution semble bayésienne !).

Au programme aujourd'hui : (0:20) - un petit retour sur le paradoxe de Newcomb (10:05) - une vidéo de Kurzgesagt qui nous convainc que trouver des traces de vie extraterrestre serait la pire des nouvelles pour l'espèce humaine. https://youtu.be/UjtOGPJ0URM (41:07) - une vidéo de David Louapre (Science étonnante) sur les splendeurs et les étrangetés de la théorie du chaos https://youtu.be/YrOyRCD7M14 (1:15:38) - une vidéo de Tania Louis pour dédramatiser les erreurs de tout le monde, des mathématiciens aussi bien que des astronautes https://youtu.be/Ylt9KD-B0eY (1:47:52) - un podcast de Julia Galef avec Bryan Caplan sur "The Case Against Education" : pourquoi 80% de l'éducation n'est que du signal http://rationallyspeakingpodcast.org/show/rs-202-bryan-caplan-on-the-case-against-education.html (2:31:40) - la fable du Dragon-Tyran de Nick Bostrom : faut-il tuer le dragon de la vieillesse ? https://nickbostrom.com/fable/dragon.html Traduction française : https://nickbostrom.com/fable/dragon-tyran.html

Thibaut et Lê reviennent sur le problème de 3blue1brown et le paradoxe du grue (vleu), parlent (13:25) de statistiques et de l'indice de masse corporelle, (30:40) de l'espéranto et des langues construites, (1:01:52) du Bitcoin et des nombreuses autres applications de la Blockchain, (1:34:11) de l'âge de la Terre et de l'Histoire des sciences et (2:33:09) du paradoxe préféré de Thibaut, à savoir le paradoxe de Newcomb. Ep 9 : I.M.C. - "Être gros ?" | Risque alpha https://www.youtube.com/watch?v=TeuSuquvsGI Esperanto | Linguisticae (en particulier le dernier épisode de sa série) https://www.youtube.com/watch?v=-ab1RUIdmBw Le BITCOIN 2 : Arnaque ou révolution? Stupid Economics https://www.youtube.com/watch?v=3TZqfXOo2TQ J’m’énerve pas, j’explique | #02 Science - Quel est l’âge de la Terre ? https://youtu.be/M_gShd4tKQU Newcomb's paradox and the tragedy of rationality | Julia Galef https://www.youtube.com/watch?v=2KxJ6eTY9bA

Isaac Newton war der erste, der Naturgesetze erkannte. Seine drei Grundgesetze (auch newtonsche Axiome genannt) der Mechanik sind die ersten drei Naturgesetze, die entdeckt wurden.

Lê et Thibaut parlent de pédagogie en mathématiques avec un problème de géométrie à la solution particulièrement élégante (1:06), du dilemme du trolley grandeur nature (21:26), de corbeaux noirs et de la place de la philosophie des sciences dans un parcours scientifique (53:44), d'automates cellulaires et d'émergence (1:20:55) et enfin de la transition vers un revenu de base face aux progrès des IA (1:46:42). The hardest problem on the hardest test | 3Blue1Brown https://youtu.be/OkmNXy7er84 The Greater Good - Mind Field S2 (Ep 1) | Vsauce https://youtu.be/1sl5KJ69qiA Quart d'Heure Insolite : induction et falsification | Richard Taillet https://youtu.be/niz9aYV6RaY Le Jeu de la Vie — Science étonnante #49 https://youtu.be/S-W0NX97DB0 Consultation publique initiée par Cédric Villani : Anticiper et maîtriser les impacts de l’IA sur le travail et l’emploi https://parlement-et-citoyens.fr/project/anticiper-et-maitriser-les-impacts-de-l-ia-sur-le-travail-et-l-emploi/presentation/presentation-9 Les propositions de Lê : Préparer la transition vers un revenu de base : https://parlement-et-citoyens.fr/projects/anticiper-et-maitriser-les-impacts-de-l-ia-sur-le-travail-et-l-emploi/consultation/consultation-35/opinions/pistes-d-action/preparer-la-transition-vers-un-revenu-de-base Promouvoir la vulgarisation de qualité : https://parlement-et-citoyens.fr/projects/anticiper-et-maitriser-les-impacts-de-l-ia-sur-le-travail-et-l-emploi/consultation/consultation-35/opinions/pistes-d-action/promouvoir-la-vulgarisation-de-qualite-des-enjeux-du-futur

Feedback von Jakob creativ-chaot.cc rurpod.de Kommunikation 02 Paul Watzlawick – Kommunikationsaxiomepaulwatzlawick.de Friedemann Schulz von Thun – Vier-Seiten-Modell Wikipedia Serien-Tipp: The Crown – Staffel 2 AV Club Outro Eclectic Method – A Die Hard Christmas with Bruce Willis

Thibaut et Lê reviennent sur l'extinction des moustiques et les infinis constructifs, parlent (19:01) des machines moléculaires et de l'importance des visuels, (40:53) de l'enseignement de l'algorithmique et de la polarisation politique, (1:00:44) des biais de genre et des commentaires YouTube, (1:35:33) de l'allongement de la vie et d'une possible jouvence éternelle et (2:00:48) de l'argument du Doomsday et de la possible fin de l'humanité. Your Amazing Molecular Machine - Veritasium https://youtu.be/X_tYrnv_o6A Drew Berry: Animations of unseeable biology | TED https://www.youtube.com/watch?v=WFCvkkDSfIU $500 million dollars | Smarter Every Day https://youtu.be/G6N5DZLDja8 APPRENDS À CODER - TECHCODE | Micode https://www.youtube.com/watch?v=DQyRHHzdXZk Minute Physics | Are University Admissions Biased? | Simpson's Paradox Part 2 https://www.youtube.com/watch?v=E_ME4P9fQbo Minute Physics is wrong | 1791L https://www.youtube.com/watch?v=CPHPtPTaPt8 Les vidéastes responsables des commentaires ? - La Question 911 | 911 Avocat https://www.youtube.com/watch?v=vZuVjFa5gAs YouTube is Not Expressive | Philosophy Tube https://www.youtube.com/user/thephilosophytube Why Die? CGP Grey https://www.youtube.com/watch?v=C25qzDhGLx8 Why Age? Should we end ageing forever? Kurzgesagt https://www.youtube.com/watch?v=GoJsr4IwCm4

Lê et Thibaut parlent de l'opportunité de tuer tous les moustiques avec The Good Stuff (6:33) ; des premiers fondements de toute connaissance avec Wireless Philosophy (21:18) ; d'eau et de l'art de vulgariser avec Le Réveilleur (50:12) ; de tout le mal qu'on peut penser de la démocratie avec Science4All (1:04:18) ; et enfin d'un théorème récemment prouvé en théorie des ensemble et de la difficulté de vulgariser les maths (1:31:25). Should We Make Mosquitoes Extinct? | The Good Stuff https://youtu.be/1nNzxKM-3Ew The Epistemic Regress Problem | Wireless Philosophy https://youtu.be/MAZ8awuILJg [Critique] Et tout le monde s'en fout # 4 - L'eau - | Le Réveilleur https://youtu.be/p-VuRpkrNto Et tout le monde s'en fout # 4 - L'eau - | Et tout le monde s'en fout https://youtu.be/MWwJGhtsH54 7 arguments CONTRE la démocratie | Démocratie 30 | Science4All https://youtu.be/fYioC7v1F3U "Deux mathématiciens viennent de prouver que deux infinis étaient égaux, et c'est une révolution" | Thomas Messias (Slate.fr) http://www.slate.fr/story/151703/mathematiciens-demonstrations-infinis-egaux "Mathematicians Measure Infinities and Find They’re Equal" Kevin Hartnett (Quanta Magazine) https://www.quantamagazine.org/mathematicians-measure-infinities-find-theyre-equal-20170912/

Thibaut et Lê parlent du (08:15) paradoxe de Bertrand, de bayésiannisme, du problème de l'induction, (39:17) de l'évolution de la coopération dans des jeux répétés, (54:02) de la tragédie des communs, (1:12:33) de la morale des intelligences artificielles fortes et (1:39:56) des conflits entre la morale intuitive (de Lê) et l'utilitarisme. Bertrand's Paradox - Probability | Wireless Philosophy https://youtu.be/xy6xXEhbGa0 Briller en Société #19: Je relève ce défi ! Professeur Culture Précieuse (Paradoxe de Bertrand original) https://youtu.be/LpsViqxMKPY La vidéo pas drôle mais intéressante | Squeezie https://youtu.be/6xqPKUx1WOI The Evolution of Trust | Nicky Case (jeu décrit par Squeezie) http://ncase.me/trust/ Pour une amande de plus | Stupid Economics https://www.youtube.com/watch?v=88K1Rt48yVw Ce que l'argent ne peut pas acheter | Stupid Economics https://www.youtube.com/watch?v=03eImug62IU Myths and Facts About Superintelligent AI | Minute Physics https://www.youtube.com/watch?v=3Om9ssTm194 Moral Machine : http://moralmachine.mit.edu/ Pertes, dotations et références | Crétin de cerveau | Science Étonnante https://www.youtube.com/watch?v=9AJHdGcyqh8

Petra Schwer ist seit Oktober 2014 Juniorprofessorin an unserer Fakultät. Sie arbeitet im Institut für Algebra und Geometrie in der Arbeitsgruppe Metrische Geometrie. Ab Oktober 2016 startet in diesem Institut ein neues Graduiertenkolleg mit dem Titel Asymptotic Invariants and Limits of Groups and Spaces und Petra Schwer freut sich darauf, dort viele mit ihrer Begeisterung anstecken zu können. Ihr Weg in die Algebra war nicht ganz direkt: Sie hat zunächst Wirtschaftsmathematik in Ulm studiert. Ein Wechsel an die Uni Bonn ebnete den Weg ins etwas abstraktere Fahrwasser. Zwei Ausflüge in die Industrie (zwischen Diplom und Promotionszeit und in der Postdoc-Phase) haben ihre Entscheidung für die akademische Mathematik bekräftigt. Im Gegensatz zur Differentialgeometrie, die von Ihrem Ursprung her auf analytischen Methoden und Methoden der Differentialrechnung (wie zum Beispiel des Ableitens) beruht, untersucht die Metrische Geometrie Mengen mit Abstandsfunktion. Darunter fallen auch die klassischen Riemannschen Geometrien, aber auch viel allgemeinere geometrische Strukturen, wie zum Beispiel Gruppen oder Graphen. Eine Metrik ist nichts anderers als eine Funktion, die einen Abstand zwischen zwei Punkten definiert. Die Euklidische Geometrie (in zwei bzw. drei Dimensionen) ist sicher allen aus der Schule bekannt. Sie ist ein Beispiel eines Geometriemodells in der metrischen Geometrie. Euklid versuchte erstmals Geometrie von Ihren Grundbausteinen her zu beschreiben. Er hat sich gefragt: Was ist ein Punkt? Was ist eine Gerade? Wie lässt sich der Abstand eines Punktes zu einer Geraden definieren? Schließlich stellte er eine Liste von grundlegenden Objekten sowie deren Eigenschaften und Beziehungen auf (Axiome genannt) die eine Geometrie erfüllen soll. Diese Axiome sind dabei die Eigenschaften, die sich nicht aus anderen ableiten lassen, also nicht beweisbar sind. Eines dieser Axiome besagte, dass durch einen festen Punkt genau eine Gerade parallel zu einer vorgegebenen anderen Geraden verläuft. Es entbrannte ein Jahrhunderte dauernder Streit darüber, ob sich dieses Parallelenaxiom aus den anderen aufgestellten Axiomen ableiten lässt, oder ob man diese Eigenschaft als Axiom fordern muss. Sehr viel später wurde klar, dass der Streit durchaus einen wichtigen und tief liegenden Aspekt unserer Anschauungsgeometrie berührte. Denn es wurden gleich mehrere Mengen (mit Abstandsfunktion) entdeckt, in denen diese Eigenschaft nicht gilt. Deshalb nannte man die Geometrien, in denen das Parallelenaxiom nicht gilt nichteuklidische Geometrien. Ein sehr nahe liegendes Beispiele für nichteuklidische Strukturen ist z.B. die Kugel-Oberfläche (damit auch unsere Erdoberfläche) wo die euklidische Geometrie nicht funktioniert. In der Ebene ist der traditionelle Abstand zwischen zwei Punkten die Länge der Strecke, die beide Punkte verbindet. Das lässt sich im Prinzip auf der Kugeloberfläche imitieren, indem man einen Faden zwischen zwei Punkten spannt, dessen Länge dann anschließend am Lineal gemessen wird. Spannt man den Faden aber "falschrum" um die Kugel ist die so beschriebene Strecke aber nicht unbedingt die kürzeste Verbindung zwischen den beiden Punkten. Es gibt aber neben der klassischen Abstandsmessung verschiedene andere sinnvolle Methoden, einen Abstand in der Ebene zu definieren. In unserem Gespräch nennen wir als Beispiel die Pariser Metrik (oder auch SNCF oder Eisenbahnmetrik). Der Name beschreibt, dass man im französischen Schnellzugliniennetz nur mit umsteigen in Paris (sozusagen dem Nullpunkt oder Zentrum des Systems) von Ort A nach Ort B kommt. Für den Abstand von A nach B müssen also zwei Abstände addiert werden, weil man von A nach Paris und dann von Paris nach B fährt. Das verleiht der Ebene eine Baumstruktur. Das ist nicht nur für TGV-Reisende wichtig, sondern gut geeignet, um über Ordnung zu reden. Ebenso sinnvoll ist z.B. auch die sogenannte Bergsteiger-Metrik, die nicht allein die Distanz berücksichtigt, sondern auch den Aufwand (bergauf vs. bergab). Damit ist sie aber in den relevanten Fällen sogar asymmetrisch. D.h. von A nach X ist es "weiter" als von X nach A, wenn X oben auf dem Berg ist und A im Tal. Analog ist es wenn man mit dem Boot oder schwimmend mit bzw. gegen die Strömung oder den Wind unterwegs ist. Dann misst man besser statt der räumlichen Distanz die Kraft bzw. Energie, die man für den jeweiligen Weg braucht. Für Karlsruher interessant ist sicher auch die KVV-Metrik, die wie folgt beschrieben wird: Um den Abstand von einem Punkt A zu einem anderen Punkt B der Ebene zu messen, läuft man von A und B senkrecht zur x-Achse (und trifft diese in Punkten A', bzw B') und addiert zu diesen beiden Abständen den Abstand von A' zu B'. Anschaulich gesprochen muss man also immer erst von A zur Kaiserstrasse, ein Stück die Kaiserstraße entlang und dann zu B. Eben so, wie die KVV ihre Strecken plant. Zwischen einer Ebene und z.B. der Kugeloberfläche gibt es einfach zu verstehende und doch wichtige geometrische Unterschiede. Eine Strecke in der Ebene läßt sich z.B. in zwei Richtungen unendlich weit fortsetzen. Auf der Kugeloberfläche kommt nach einer Umrundung der Kugel die Verlängerung der Strecke an dem Punkt wieder an, wo man die Konstruktion begonnen hat. D.h. insbesondere, dass Punkte auf einer Kugeloberfläche nicht beliebig weit voneinander entfernt sein können. Es gibt außerdem genau einen Punkt, der genau gegenüber liegt und unendlich (!) viele kürzeste Wege dorthin (in jeder Richtung einen). Verblüffend ist dabei auch: So verschieden sich Ebene und Kugeloberfläche verhalten, in einer fußläufigen Umgebung jedes Punktes fühlt sich die Erdoberfläche für uns wie ein Ausschnitt der Ebene an. Mathematisch würde man sagen, dass sich eine Kugel lokal (also in einer sehr kleinen Umgebung) um einen Punkt genauso verhält, wie eine Ebene lokal um einen Punkt. Die Krümmung oder Rundung der Kugel ist dabei nicht spürbar. Versucht man die gesamte Kugel auf einer ebenen Fläche darzustellen, wie zum Beispiel für eine Weltkarte, so kann dies nur gelingen, wenn man Abstände verzerrt. Für unsere ebenen Darstellungen der Erdkugel als Landkarte muss man also immer im Hinterkopf behalten, dass diese (zum Teil stark) verzerrt sind, d.h. Längen, Winkel und Flächen durch die ebene Darstellung verändert werden. Ein wichtiges Konzept zur Unterscheidung von (z.B.) Ebene und Kugeloberfläche ist die eben schon erwähnte Krümmung. Es gibt verschiedene Definitionen - insbesondere, wenn man Flächen eingebettet im dreidimensionalen Raum untersucht. Dabei hat ein flachgestrichenes Blatt Papier keine Krümmung - eine Kugeloberfläche ist gekrümmt. Um das formal zu untersuchen, werden Tangentialflächen an Punkte auf der Oberfläche angelegt. In einer kleinen Umgebung des Berührpunktes wird die Abweichung der Tangentialebene von der Oberfläche betrachtet. Bei der Kugel liegt die Kugeloberfläche immer auf einer Seite von der Tangentialebene. Das muss nicht so sein. Die Tangentialfläche kann z.B. in einem Sattelpunkt die zu untersuchende Fläche durchdringen - d.h. in unterschiedliche Richtungen ist die Krümmung entweder positiv oder negativ. Man braucht aber eigentlich gar keine Tangentialflächen, denn auch Winkelsummen verraten uns etwas über die Krümmung. In der Ebene ergeben die drei Innenwinkel jedes Dreiecks zusammen addiert immer 180 Grad. Auf der Kugel, also auf einer gekrümmten Fläche, sind es immer mehr als 180 Grad. Legt man zum Beispiel einen Punkt in den Nordpol und zwei weitere so auf den Äquator, dass die Verbindungsstrecken zum Nordpol einen Winkel von 90 Grad einschließen, so hat das entstehende Dreieck eine Winkelsumme von 270 Grad. Etwas komplexer ist die Situation bezüglich Krümmung auf einem Torus (der sieht aus wie ein Schwimmreifen oder Donut). Betrachtet man das lokale Krümmungsverhalten in Punkten auf der Donut-/Torusoberfläche ist sie außen so gekrümmt wie eine Kugel, innen sieht sie aber aus wie eine Sattelfläche. Es läßt sich aber auch ein abstraktes Modell des Torus konstruieren, das genauso flach, wie die euklidische Ebene ist. Dazu wähle in der Ebene ein Quadrat mit fester Seitenlänge und klebe gedanklich die gegenüberliegenden Seiten (also oben und unten, sowie links mit rechts) zusammen. Man erhält so ein "periodisches" Quadrat: Wenn man auf einer Seite hinauswandert, kommt man gegenüber an der gleichen Stelle wieder in das Quadrat hinein. Dieses Objekt ist topologisch ebenfalls ein Torus, hat aber, weil das Quadrat Teil der Ebene ist, Krümmung 0. Literatur und weiterführende Informationen D. Hilbert, S. Cohn-Vossen: Anschauliche Geometrie, eine sehr schöne, (in weiten Teilen) auch mit wenig mathematischen Vorkenntnissen gut verständliche Einführung in viele verschiedene Bereiche der Geometrie. D. Burago, Y. Burago, S. Ivanov: A Course in Metric Geometry, eines der Standardlehrbücher über metrische Geometrie. Euklid, Elemente, Digitale Version der 5 Bücher von Euklid. Gromov: Metric Structures for Riemannian and Non-Riemannian Spaces. Das "grüne Buch" - Kursnotizen einer Vorlesung von Gromov, die später in Buchform gebracht wurden.

Cyberage Radio 07.03.2016 : COMBICHRIST, DECODED FEEDBACK - OFFICIAL BASE, :WUMPSCUT:, RUINED CONFLICT, VISCERA DRIP, CYANIDE REGIME, NOISUF-X, NIGHTMARE NOISE MACHINE, BIOMECHANICALDEGENERATION, N3VOA, SKINNY PUPPY BLOCK! HYPNOSKULL, WELTSCHMERZ, PHILIPP MüNCH, AXIOME

Cyberage Radio 06.26.2016 : COMBICHRIST, WORSAW, EXTINCTION FRONT, STOPPENBERG, DECODED FEEDBACK - OFFICIAL BASE, :WUMPSCUT:, RUINED CONFLICT, VISCERA DRIP, CYANIDE REGIME, NOISUF-X, NIGHTMARE NOISE MACHINE, BIOMECHANICALDEGENERATION, N3VOA, SKINNY PUPPY BLOCK! HYPNOSKULL, WELTSCHMERZ, PHILIPP MüNCH, AXIOME

Cyberage Radio 06.19.2016 : COMBICHRIST, DECODED FEEDBACK - OFFICIAL BASE, :WUMPSCUT:, MONO-AMINE (OFFICIAL), RUINED CONFLICT, VISCERA DRIP, CYANIDE REGIME, NOISUF-X, NIGHTMARE NOISE MACHINE, BIOMECHANICALDEGENERATION, N3VOA, SKINNY PUPPY BLOCK! HYPNOSKULL, WELTSCHMERZ, PHILIPP MüNCH, AXIOME

„Man kann nicht nicht kommunizieren.“ Dies ist das erste der fünf pragmatischen Axiome, die der Kommunikationswissenschaftler Paul Watzlawick seinerzeit prägte. Demnach ist jedes menschliche Verhalten eine Form der Kommunikation.  Wie sagst du etwas und was hört der Andere? Erlebe, wie du deine Kommunikation verbessern kannst, indem du mehr Wissen über das Wechselspiel erlangst. Werde zum guten Sprecher und Hörer. Erfahre, warum du mal gut zuhören kannst und ein anderes Mal abschaltest, so dass nichts mitbekommst. Lerne das “Vier-Ohren-Modell” des Kommunikationspsychologen Friedemann Schulz von Thun kennen. Dieses Modell besagt, dass sich eine Aussage/Äußerung auf vier Ebenen entschlüsseln lässt oder abläuft. Sachinformation = worüber ich informiere (der Inhalt der Nachricht) Selbstkundgabe = was ich damit über mich aussage (Absichten, Gefühle usw.) Beziehungshinweis = was ich von der anderen Person halte und wie wir zueinander stehen Appell = wozu ich mein Gegenüber auffordern oder veranlassen möchte. Eine Äußerung eines Sprechers (Sender) beinhaltet diese vier Ebenen, die der Empfänger mit "vier Ohren" entschlüsseln muss.   Dein Bewertungshimmel Wenn es dir gefallen hat, bitte schreibe mir eine kurze Bewertung auf iTunes und abonniere die Show! Alles zur Martina Hautau Show Hol dir deinen Upgrade-Kick Workletter zu jeder Episode! Wie das geht? Ganz einfach trage deine E-Mail ein und du erhältst alle Downloads zur Show gratis in dein E-Mail-Postfach. Auf dieser Webseite kannst du deine E-Mail eintragen: http://www.martinahautau.de/show Wenn du Fragen hast, schreibe mir unter: info@martinahautau.de

In den Räumen des Entropia e.V. traf sich Joachim Breitner mit Sebastian Ritterbusch, um ihm von Computerbeweisen und der Incredible Proof Machine (http://incredible.pm/) zu erzählen. Diese hatte er mit Unterstützung von Kollegen und Freunden für einen dreitägigen Workshop im Oktober 2015 am Science College Jülich mit Schülerinnen und Schülern im Start-Stipendium für motivierte und neu zugewanderte Jugendliche in Mittel- und Oberstufe unter Unterstützung der Deutsche Telekom Stiftung entworfen. Der mathematische Beweis ist grundlegender Bestandteil der Mathematik und die Technik des Beweisen wird im Mathematik- oder Informatikstudium vielfach geübt, wie es auch im Modell036 Podcast zur Analysis beschrieben wurde. Dennoch wird das wichtige Thema nur selten in der Schule angesprochen, da korrekte Beweise sehr formal und abstrakt sind. Mit einem spielerischen Zugang wird der Einstieg in die exakte Beweistheorie für Schüler und Mathematik-Interessierte nicht nur möglich, sondern ermöglicht auch neue Formen der Lehre wie den Modell051 Flipped Classroom. Beweise gehen von bestehenden Aussagen und festgelegten Axiomen aus, um neue Aussagen oder Erkenntnisse zu belegen. Von der Aussage "es regnet" kann man beispielsweise mit einem fiktiven Axiom "wenn es regnet, werden Straßen nass" schließen, dass gilt: "die Straße ist nass". Und man kann daraus mit der Technik des Widerspruch-Beweis zeigen, dass aus der Aussage "die Straße ist trocken" folgt, dass "es regnet nicht" gilt. Denn (und das ist der Beweis), würde es regnen, so wäre die Straße nass, also nicht trocken. Wann ist aber nun ein Beweis richtig? Diese Frage kann sich jeder selbst beantworten, in dem man einen vorliegenden Beweis versucht nachzuvollziehen. Eine Alternative ist die Beweisprüfung mit dem Computer, wie beispielsweise mit Isabelle. Diese Art von Software richtet sich allerdings in erster Linie an fortgeschrittene Nutzer und setzt Kentnisse in sowohl in der Logik als auch in der (funktionalen) Programmierung voraus, und so suchte Joachim nach einer einfachereren Methode, beweisen zu lernen und die Ergebnisse maschinell zu prüfen. Mit der von ihm kreierten Incredible Proof Machine werden Beweise durch Ziehen und Setzen bildlich erstellt, in der Form eines Graphen. So wird das Beweisen zu einem Puzzle-Spiel mit Erfolgserlebnis, das man nach und nach lösen kann, ohne dabei die exakte Mathematik zu verlassen. In dem Spiel gibt es viele Aufgaben, die zu lösen sind. In der Übersicht sind diese in Lektionen geordnet und zeigen jeweils durch einen breiten Strich, dem Inferenzstrich getrennt, von welchen Aussagen oben man welche Aussagen unten beweisen soll. Wählt man eine Aufgabe aus, so sieht man die gegebenen Aussagen, die oberhalb des Striches waren, als Quellen auf einem Arbeitsblatt. Die zu beweisenden Aussagen erscheinen als Senken. Von den Quellen kann man nun per Maus Verbindungen zu den Senken ziehen- entweder direkt, oder mit Hilfe zusätzlicher Blöcke, bzw. gegebener Beweisregeln, aus einer Toolbox links, die ebenfalls zur Verfügung stehen und weitere gegebene Axiome darstellen. Sind alle offenen Senken bewiesen, so leuchtet unten eine Zeile grün auf, als Bestätigung für einen geschafften Level- eine positive Bestärkung, die nicht ganz so spektakulär ist, wie bei Populous. Während man auf dem Arbeitsblatt spielt, gibt die Incredible Proof Machine unmittelbar Rückmeldung, falls eine Verbindung so keinen Sinn macht: Will man die Aussage B mit Aussage A beweisen, so wird die Linie zwischen den beiden sofort rot, und gibt dem Spielenden die Hilfestellung, wo mindestens ein Fehler steckt. Die logischen Aussagen und die gegebenen Beweisregeln verwenden eine gängige Notation zur Beschreibung logischer Verknüpfungen. Ein ∨ (sieht wie der kleine Buchstabe v aus), steht für die logische Oder-Verknüpfung und die Notation stammt vom lateinischen Wort vel. Das umgekehrte Symbol ∧ steht für die logische Und-Verknüpfung. In der ersten Lektion gibt es zwei Blöcke bzw. Beweisregeln für die Und-Verknüpfung: Einmal ein Block mit zwei Eingängen X und Y und einem Ausgang X∧Y, sowie einem Block mit einem Eingang X∧Y und zwei Ausgängen X und Y. Die Lektion 1 behandelt damit den grundlegenden Umgang mit dem System und die Konjugation. Die Lektion 2 führt die Implikation ein. Eine Implikation, oder auch Folge, beschreibt die Aussage, dass aus einer Aussage eine zweite zwingend folgt. Zur Anwendung einer Implikation gibt es in dieser Lektion eine Beweisregel, die eine Implikation anwendet. Ein weiterer Block ermöglicht eine Implikation zu erzeugen, in dem die Vorbedingung in einem Einschub angenommen bzw. angeboten wird, und man daraus das Zielereignis dann herleiten muss. Die Prüfung der Beweise in der Incredible Proof Machine erfolgt durch einen Beweisprüfer in Haskell, einer funktionalen Programmiersprache, die auch schon im Modell047 Podcast zum Tiptoi zur Sprache kam. Der Beweisprüfer wurde mit ghcjs nach JavaScript kompiliert und läuft damit komplett im Browser. Über einen Compiler von Haskell zu Redstone wie in dem Modell056 Podcast zu Minecraft ist leider noch nichts bekannt. Ein lehrreicher Zusammenhang ist hier, dass aus logischer Sicht Implikationen vollkommen korrekt sind, wenn die rechte Seite wahr ist – ohne dass ein ursächlicher Zusammenhang bestehen muss. Wenn also jemand nach Einnahme von offensichtlich unwirksamen Mitteln gesund geworden ist, so ist der logische Schluss, dass nach der Einnahme die Person gesund ist, korrekt. Doch darf man daraus keinesfalls schließen, dass die unwirksamen Mittel dafür der Grund gewesen wären. Das ist ein ähnlicher Fehlschluss wie Cum hoc ergo propter hoc – aus Korrelation folgt keine Kausalität. Die Lektion 3 führt die Disjunktion bzw. Oder-Verknüpfung mit drei neuen Beweisregeln-Blöcken ein, zwei zur Erzeugung einer Aussage mit einer Disjunktion, eine zur Zerlegung einer Disjunktion. Interessant ist dabei besonders die Zerlegung der Disjunktion, da sie auf eine Fallunterscheidung führt. Man kann auch frei weitere Aufgaben innerhalb der Incredible Proof Machine für sich selbst hinzufügen, neue Vorschläge aber auch auf Github einreichen. Die Lektion 4 behandelt die abstrakte falsche Aussage ⊥. Aus dieser kann man alles folgern, ex falso quodlibet, was dann auch in der ersten Aufgabe zu zeigen ist. Eine besondere Notation ist dabei, dass aus einer Aussage falsch folgt, wie A→⊥. Dies bedeutet einfach nur, dass A nicht gilt, also falsch ist – die Negation von A. In Lektion 5 verlassen wir dann die intuitionistische Logik, die von einer konstruktiven Mathematik ausgeht, hinein in die allgemeinere klassische Logik. Hier wird die Beweisregel vom ausgeschlossenen Dritten (tertium non datur) eingeführt. Dabei sind konstruktive Beweise, die also ohne tertium non datur auskommen, leichter automatisiert zu führen. Für die Aussage "Es gibt eine irrationale Zahl, die mit einer irrationalen Zahl potenziert rational ist" gibt es als Beispiel einen nicht-konstruktiven Beweis: Entweder ist Quadratwurzel von 2 mit sich selbst potenziert rational, oder spätestens das Ergebnis potenziert mit der Quadratwurzel von zwei ist rational, denn das ist 2. Es ist nicht klar, welche Basis die Lösung ist, sondern hier nur, dass es eine der beiden ist. Einen Zusammenhang von der konstruktiven Logik zur Programmierung liefert die Theorie der Curry-Howard-Korrespondenz – man kann Programmieren auch als eine Art Beweisen sehen, und daher sind auch ähnliche graphische Darstellungen als Flussdiagramm möglich. In Lektion 6 werden Quantoren und Prädikate eingeführt. Man kann hier beispielsweise zeigen, wann der Existenzquantor und der Allquantor vertauscht werden dürfen: Die Lektion 7 behandelt zwei weitergehende Beispiele, die auch umgangssprachlich verständlich sind: Die erste Aufgabe behandelt das Bar-Paradox: Hier gilt es zu beweisen, dass es in jeder nicht-leeren Bar immer eine Person gibt, dass wenn sie trinkt, alle in der Bar trinken. Die zweite Aussage lautet: Wenn jeder Mann einen reichen Vater hat, dann gibt es einen reichen Mann mit einem reichen Großvater. Die klassische Aussagenlogik kann aber auch über andere Kalküle definiert werden: So demonstriert die Incredible Proof Machine die Verwendung des Hilbert-Kalküls und das NAND-Kalküls. Während das Hilbert-Kalkül besonders theoretisch verwendet wird, liefert das NAND-Gatter als einfacher Logikbaustein Anwendungen bis hin zum Volladierer aus NAND-Gattern. Man kann auch jederzeit neue Beweisregeln oder Lemmas definieren, in dem man alle Bausteine logischer Diagramme mit offenen Ein- und Ausgängen mit gedrückter Shift-Taste anwählt und links zu einem neuen Baustein zusammenführt. Das folgende Bild zeigt die Definition des Beweis durch Widerspruch, und die anschließende Verwendung zu Lösung einer Aufgabe in Lektion 5: Im Gegensatz zur Incredible Proof Machine soll die Software Isabelle nicht vom Nutzer verlangen, alle Beweise selbst zu führen, sondern unterstützt dabei, Beweise auf einem hohen Abstraktionsgrad zu formulieren und zu beweisen. Ein kleines Beispiel für die Nutzung von Isabelle ist der humorvolle Versuch das allgemeine Dreieck zu definieren – und letzlich die eindeutige Existenz zu beweisen. Eine wichtige Anwendungen für Computerbeweise ist die formale Prüfung und der Beweis von Computersoftware, wie sie beispielsweise durch die Launchbury Semantik möglich wird. Sehr bekannt ist die Nutzung von rechnerunterstützten Beweisen für das Vier-Farben-Problem, das Hermann Minkowski in einer Topologie-Anfängervorlesung vergeblich versuchte nebenbei zu lösen. Der erste Beweis war noch sehr umstritten, da die Korrektheit der verwendeten Software nicht gesichert war. Erst mit einer formalen Prüfung in Coq wurde der Beweis 2005 allgemein akzeptiert. Eine andere gängige Methode ist auch die Verwendung spezialisierter Verifikationsnumerik, um die Existenz von Lösungen zu beweisen, wie dies auch im Modell019 Podcast zum computerunterstützten Beweisen behandelt wird. Auch die dichteste Kugelpackung, bzw. die Keplersche Vermutung, wurde erst 1998 mit Computerhilfe bewiesen, der zunächst ebenso umstritten war. Erst mit dem Projekt Flyspec konnte 2014 die Korrektheit des Beweises formal bewiesen werden. Im Hintergrund der Aufnahme hört man den Freifunk Karlsruhe, der parallel zu unserem Gespräch ein Treffen in den Räumen des Entropia e.V. hatte. Kinder und Jugendliche, die sich für Programmieren interessieren, sollten sich ein CoderDojo, wie das CoderDojo in Karlsruhe, genauer ansehen. Literatur und Zusatzinformationen Einführender Blog-Eintrag zur Incredible Proof Machine mit einer Sammlung von ähnlichen Projekten. J. Breitner: The Correctness of Launchbury's Natural Semantics for Lazy Evaluation, arXiv preprint arXiv:1405.3099, 2014. J. Breitner: The Safety of Call Arity, Archive of Formal Proofs, 2015. J. Breitner: Formally Proving a Compiler Transformation Safe, Haskell '15 Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, Pages 35-46, ACM New York, NY, USA, 2015. T. Nipkow, L. Paulson, M. Wenzel: Isabelle HOL- A Proof Assistant for Higher-Order Logic, Springer-Verlag, 2015. Podcasts T. Schwentick: Logik, Gespräch mit N. Ludewig im Omega Tau Podcast, Folge 101, Omega Tau, 2012. http://omegataupodcast.net/2012/08/101-logik/ D. Rütters: Computerunterstütztes Beweisen, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 19, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. http://modellansatz.de/beweisen J. Eilinghoff: Analysis, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 36, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. http://modellansatz.de/analysis J. Breitner: Papierrechner, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 47, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/papierrechner C. Spannagel: Flipped Classroom, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 51, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/flipped-classroom F. Gilges: Spielcomputer, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 56, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/spielcomputer

Vorlesung vom 15.05.08