Podcasts about implikation

In dieser Episode geht es um ein oft unterschätztes, aber essenzielles Führungsthema: die Physis der Führungsperson. Johannes Gronover beleuchtet, wie körperliche Fitness, Ernährung und Mindset direkten Einfluss auf Status, Autorität und Energielevel haben. Basierend auf wissenschaftlichen Studien zeigt er, warum fitte Führungskräfte als kompetenter wahrgenommen werden und welche kleinen Veränderungen im Alltag zu mehr Energie und besserer Führung führen.

Die Strategen mit den Gaming-News 2025 KW03. Das Jahr starter spektakulär, zumindest am Gaming-Markt & der Börse! Die Themen sind daher heute: - Gewinnspiel & Podcast Facts - Releases (Builders of Egypt, Flying Corp, u.a.) - Gaming-Aktien 2025: 11bit, Frontier Dev., GamesWorkshop, Nacon, Vivendi Jahreszahlen & Auswirkungen. - Implikationen & Einordnung des Blacklistings von Tencent und die Frage: was bedeutet das für UbiSoft? Dieses, weitere Spekulationen und mehr in der heutigen Folge... Gebt diesmal bitte Feedback über die anhängende Spotify-Umfrage und diskutiertgerne auf unserem Discord Server. Links zur Show: https://linktr.ee/diestrategen Bis zum nächsten mal!

Zurück von der Zeitlinien-Operation wartet der richtige Dr. Flowers auf ein Gespräch mit Doc. Worüber er reden möchte? Das ist ein Rätsel, dass sich nur durch Interpretation und Implikation lösen lässt...“Werq”, “Lasting Hope”, “Fantasia Fantasia”, “Late Night Radio”, “Carefree”, “Fretless”, “Deliberate Thought”, “Too Cool”, “Sincerely”, “As I Figure”,  by Kevin MacLeod (incompetech.com)Licensed under Creative Commons: By Attribution 4.0 Licensehttp://creativecommons.org/licenses/by/4.0/ “Fireworks” by Alexander Nakarada (www.serpentsoundstudios.com)Licensed under Creative Commons: By Attribution 4.0 License

In der Ausgabe vom 24. Mai spricht Jasmin Kosubek mit dem Prozessbeobachter Kai Mathar über den Gerichtsprozess gegen Sucharit Bhakdi, der in beiden Fällen freigesprochen wurde. Dazu ein Kommentar des Juristen Dr. Alexander Christ. Außerdem sprechen wir mit dem ehemaligen SRF-Redakteur Helmut Scheben über die Wiederaufnahme Syriens in die Arabische Liga und die geopolitische Implikation dieser Entscheidung. Mit der Professorin für Methodenlehre an der TU Berlin Prof. Dr. Gisela Müller-Plath sprechen wir über die Dürre in Europa und stellen die Frage, ob der menschengemachte Klimawandel als Begründung standhält.

In Episode #35 haben wir uns für ausgewählte Themen etwas mehr Zeit genommen, um etwas tiefer einsteigen zu können. Es wird u.a. diskutiert, wie man ein IT Unternehmen, mit Fokus aufs Kundengeschäft, wirkungsvoll mit OKRs steuern kann. Und welche Implikation, dies auf das Day-to-Day-Business und die Kundenbeziehungen haben kann. Wir beschäftigen uns mit der Frage, ob und wie OKRs bei der Prozessoptimierung helfen können. Oder ob OKRs für Felder, die weniger Unsicherheit ausgesetzt sind, eigentlich das richtige Tool sind. Was dann auch zu der Frage führt, welcher Rahmenbedingungen es bedarf, um OKRs erfolgreich einführen zu können. Diese Folge findest du auch als Podcast auf: https://murakamy.com/blog/ama35-okrs-episode-35 Besuche uns auf https://murakamy.com Alle bisherigen Folgen findest Du hier: https://murakamy.com/blog/tag/AMA

In der heutigen Episode sprechen Philip Hopf und Kiarash Hossainpour über die Themen Glück, "Glücklich sein" und dessen direkte Implikation mit gewonnenem Wohlstand. Hat man weniger Probleme, wenn man mehr Geld hat? Warum genießt die Person, die sich, dass teuerste Strandhaus leisten kann, jenes am wenigsten?

Schönheitsideale, vermeintliche Unzulänglichkeiten, eigenes Potential und die Frage, wie viel Zeit und Raum das Aussehen (und seine Optimierung) im Leben einnehmen sollte - darüber spricht Alev Doğan mit Schauspielerin und Regisseurin Karoline Herfurth. In ihrem aktuellen Film “Wunderschön” thematisiert Herfurth den Schönheitswahn, unter dem insbesondere Frauen leiden, und die politische Implikation, die es hat, wenn Frauen mehr Zeit mit ihrer Optik verbringen als mit ihrem Geist und ihren eigentlichen Interessen. Ein Achter Tag über den Sinn des Lebens, persönliche Ziele, Gleichberechtigung, Vorbilder, die Hexenverbrennung im späten 16. Jahrhundert und die Frage, ob Sushi wirklich schmeckt.

Unabhängige Studien belegen, dass die notzugelassenen Impfstoffe gegen SARS-CoV-2 den Verlauf der Krankheit verschlimmern können. Teil 1/2.Ein Standpunkt von Raymond Unger.Raymond Unger machte in jüngster Zeit mit seinem gewichtigen Buch „Vom Verlust der Freiheit“ Furore, das auch ein ausführliches kritisches Kapitel über die aktuelle Krise rund um Covid-19 enthält. Wichtige Erkenntnisse zur Corona-Impfung lagen bei Abschluss der Arbeiten an diesem Buch noch nicht vor. In diesem zweiteiligen Artikel möchte der Autor den aktuellen Stand der freien Corona-Forschung nachtragen. Teil 1 behandelt die vier wichtigsten (Neben-)Wirkungen der notzugelassenen Impfstoffe. Teil 2 beschäftigt sich dann mit der starren Rolle von Politik und Medien, die diese neuen Erkenntnisse weitgehend ignorieren. Obgleich es inzwischen einige Fachartikel zur Impfproblematik gibt, sind Publikationen in populärer und leicht verständlicher Form rar. Um eine redliche Risikoanalyse des Pro und Contra der SARS-CoV-2-Impfung vornehmen zu können, kann der folgende Text als Einstieg dienen.Spike-Protein als toxisches AgensAm 12. Mai 2021 erschien ein bemerkenswerter Artikel in der Frankfurter Rundschau. Darin zitiert der Redakteur neue Studien, die gleich mehrere Novitäten bezüglich Corona aufdecken. Zum einen wird klar, dass COVID-19 keine „Lungenkrankheit“ ist, sondern mannigfaltige Schäden im Kapillarsystem des Blutkreislaufsystems auslösen kann. Außerdem werden Blutplättchen angegriffen und somit die Blutgerinnung gestört. Zum andern wird deutlich, dass der für diesen Wirkmechanismus zuständige, toxische Teil des Virus ausgerechnet seine „Spikes“ sind. Der Titel des Artikels bringt es auf den Punkt: „Spike-Protein allein reicht aus, um Covid auszulösen — vor allem Blutgefäße nehmen Schaden“. Die Frankfurter Rundschau schreibt:„John Y-J. Shyy vom Department of Medicine an der University of California und sein Team sind in einer Studie dem Mechanismus auf den Grund gegangen, wie genau das Coronavirus im Körper agiert. Eine der wichtigsten Erkenntnisse: Der Schaden, den das Spike-Protein an Zellen anrichten kann, kann erheblich sein. Außerdem können die Forscher:innen bestätigen, dass es sich bei Covid-19 in erster Linie um eine Gefäßkrankheit handelt — und nicht um eine Atemwegserkrankung. (…)In der neuen Studie erzeugten die Forscher:innen ein ‚Pseudovirus‘, das von Spike-Proteinen des Sars-CoV-2-Erregers umgeben war, aber kein echtes Virus enthielt. Die Exposition gegenüber diesem Pseudovirus führte zu Schäden in der Lunge und den Arterien im Tierversuch. Das würde beweisen, dass das Spike-Protein allein ausreicht, um die Krankheit auszulösen, so die Schlussfolgerung der Forscher:innen. Gewebeproben zeigten nach der Infektion Entzündungen in den Endothelzellen, die die Wände der Lungenarterien auskleiden. Auch im Labor untersuchte das Forscherteam, wie sich gesunde Endothelzellen, die die Arterien auskleiden, nach Kontakt mit dem Spike-Protein verhalten. Auch hier nahmen die Zellen Schaden — unter anderem durch den Kontakt von Spike-Protein und ACE2-Rezeptor“ (1).Der Artikel der Frankfurter Rundschau endet dann überraschend abrupt. Mit der Implikation dieser dramatischen Erkenntnis, lässt man den Leser allein. Der Autor hatte sich offenbar nicht mehr getraut, die naheliegende Schlussfolgerung zu ziehen: Wenn die Forscher der University of California recht haben, wirken Impfungen nicht gegen Corona, sondern lösen es aus. Denn das Ziel von Corona-Impfungen ist es, Körperzellen gentechnisch so zu verändern, dass zukünftig Billionen toxische Spike-Proteine synthetisiert werden. ...weiterlesen hier: https://apolut.net/krank-und-frei-von-raymond-ungerUnterstütze apolut:IBAN: DE40 8506 0000 1010 7380 26BIC: GENODEF1PR2Verwendungszweck: apolutKontoinhaber: apolut GmbHVolksbank Pirna eG_Patreon: https://www.patreon.com/apolutflattr: https://flattr.com/@apolutTipeee: https://de.tipeee.com/apolutInstagram: https://www.instagram.com/apolut_netFacebook: https://www.facebook.com/apolutTwitter: https://twitter.com/apolut_netOdysee: https://odysee.com/@apolut:a See acast.com/privacy for privacy and opt-out information.

Mit dem Ausbruch von COVID-19 hat sich die zeitkritische Frage gestellt, welche Maßnahmen zur Eindämmung beitragen können, und wie wirksam sie sind. Viola Priesemann und Kolleg:innen schätzen die Wirksamkeit verschiedener Maßnahmen aus Inzidenzen. Komplementär entwickeln sie im Modell neue Ansätze zur Eindämmung der Pandemie. Jüngst haben sie in dem Zusammenhang erforscht, wie wirksam das Testen, Kontaktnachverfolgen und Isolieren (test-trace-isolate - TTI) ist - wenn man beachtet, dass das System aus verschiedenen Gründen lückenhaft ist. Trotz der Lücken stellt das TTI ein wirksames Mittel zur Eindämmung dar und erlaubt damit deutlich mehr Kontakte im Alltag. Dieser Effekt ist bei niedriger Inzidenz wesentlich größer als bei hoher, da das TTI sich auf die verbleibenden Infektionsketten konzentrieren kann und diese schnell stoppen kann. In ihrem Vortrag vom 21. April 2021 hat Viola Priesemann die methodischen Ansätze skizziert und die Resultate sowie die Implikation für die Fallzahlentwicklung ausgeleuchtet. Geschlossen wird der Vortrag mit einem Ausblick auf die kommenden Monate. Viola Priesemann ist promovierte Physikerin. Sie ist Leiterin der Forschungsgruppe „Dynamik Neuronaler Systeme“ am Max-Planck-Institut für Dynamik und Selbstorganisation in Göttingen. Seit der Corona-Pandemie hat sie ihr Forschungsfeld der Informationsverarbeitung im Gehirn, um die Modellierung der Ausbreitung des Corona-Virus ergänzt.

Eifersüchtig - was kann das heißen? Eifersüchtig - ein Adjektiv mit vielfältiger Bedeutung und Implikation. Eifersüchtig zu sein bedeutet, der*dem geliebten Partner*in mit Skepsis und Misstrauen zu begegnen. Dies geschieht aus Angst, sie*ihn zu verlieren. Durch dieses Verhalten kann eine Beziehung stark belastet werden. Wer dem anderen gegenüber ständig argwöhnisch ist, eventuell hinter ihm her spioniert, setzt die Partnerschaft aufs Spiel. Man sollte lernen, dass man auch in sich selbst und mit sich selbst zufrieden sein kann. Dann fällt es auch leichter, echte Liebe zu entwickeln, keine eifersüchtige Liebe, die allzu oft dazu missbraucht wird, innere Löcher füllen zu füllen. Dieser Beitrag ist von und mit Sukadev Bretz von Yoga Vidya. Hier findest du: Sanskrit Wörterbuch Seminare mit Sukadev Seminarübersicht Yoga Vidya YouTube Live Kanal Online Seminare Video Seminare Yoga Vidya kostenlose App Yoga Vidya Newsletter Unseren Online Shop Schon ein kleiner Beitrag kann viel bewegen... Spende an Yoga Vidya e.V.!

Eifersüchtig - was kann das heißen? Eifersüchtig - ein Adjektiv mit vielfältiger Bedeutung und Implikation. Eifersüchtig zu sein bedeutet, der*dem geliebten Partner*in mit Skepsis und Misstrauen zu begegnen. Dies geschieht aus Angst, sie*ihn zu verlieren. Durch dieses Verhalten kann eine Beziehung stark belastet werden. Wer dem anderen gegenüber ständig argwöhnisch ist, eventuell hinter ihm her spioniert, setzt die Partnerschaft aufs Spiel. Man sollte lernen, dass man auch in sich selbst und mit sich selbst zufrieden sein kann. Dann fällt es auch leichter, echte Liebe zu entwickeln, keine eifersüchtige Liebe, die allzu oft dazu missbraucht wird, innere Löcher füllen zu füllen. Dieser Beitrag ist von und mit Sukadev Bretz von Yoga Vidya. Hier findest du: Sanskrit Wörterbuch Seminare mit Sukadev Seminarübersicht Yoga Vidya YouTube Live Kanal Online Seminare Video Seminare Yoga Vidya kostenlose App Yoga Vidya Newsletter Unseren Online Shop Schon ein kleiner Beitrag kann viel bewegen... Spende an Yoga Vidya e.V.!

Nach der zweiten März-Woche an der Börse blicken wir auf den Ausbruch im DAX und die insgesamt positive Börsenwoche. Dennoch geht das "Tauziehen" zwischen Technologie-Aktien und den Anleihe-Preisen weiter. Grund für uns, das Thema Bund-Future und deren langfristige Implikation auf den Markt zu erörtern.

Vor wenigen Wochen versetzte Kanzleramtschef Helge Braun viele Konservative und Liberale in Panik: In einem Gastbeitrag im „Handelsblatt“ dachte er laut über die Zukunft der Schuldenbremse nach und plädierte für eine Modifikation, da auch in den nächsten Jahren der deutsche Staat viel Geld brauchen wird, um die Folgen der aktuellen Krise abzufedern. Braun sprach sich für eine Änderung der Verfassung aus. Wenngleich Braun damit keineswegs grundsätzlich vom Konzept der Schuldbremse abrückte, genügte dieser eine Artikel bereits, um konservative und liberale Politiker und Ökonomen auf den Plan treten zu lassen, die in dramatischen Äußerungen schilderten, wie nahe Deutschland dem Untergang stünde, wenn man sich tatsächlich von der Schuldenbremse trennen würde. Von einem „Markenkern“ war dabei die Rede, wenngleich diese Marke relativ neu ist: Erst im Jahr 2009 beschloss eine Zweidrittel-Mehrheit im #Bundestag, die Schuldenbremse in die Verfassung zu schreiben. Man reagierte damit auch auf die #Finanzkrise von 2008, wenngleich die Pläne für eine solche Bremse bis ins Jahr 2005 zurückgehen. Die Linken und die Grünen stimmten gegen die Einführung, doch die #GroKo ließ sich nicht beirren und schadete damit der Demokratie und jeder progressiven Politik nachhaltig. Es wird durch die benötigte Zweidrittel-Mehrheit sehr schwer sein, diesen verantwortungslosen Schritt wieder umzukehren. In der neuen Folge von „Wohlstand für Alle“ gehen Ole Nymoen und Wolfgang M. Schmitt auch auf die ideologische Implikation dieses konservativen Konstrukts ein. Thomas Biebricher: Neoliberalismus zur Einführung, Junius. Helge Braun: “Ein Pakt für Deutschland nach der Pandemie”, online verfügbar unter: https://www.handelsblatt.com/meinung/gastbeitraege/gastkommentar-das-ist-der-plan-fuer-deutschland-nach-corona/26850508.html. Pepe Egger: “Schicksalstage einer Schuldenregel”, online verfügbar unter: https://www.freitag.de/autoren/pep/schicksalstage-einer-schuldenregel. Sachverständigenrat: “Staatsverschuldung wirksam begrenzen”, online verfügbar unter: https://www.sachverstaendigenrat-wirtschaft.de/fileadmin/dateiablage/Expertisen/Staatsverschuldung_wirksam_begrenzen.pdf Jan Schnellenbach: “Diesen Vorschlag der Union hätte man von den Linken erwartet”, online verfügbar unter: https://www.welt.de/wirtschaft/article225049085/Schuldenbremse-Diesen-Vorschlag-der-Union-haette-man-von-den-Linken-erwartet.html. Ihr könnt uns unterstützen - herzlichen Dank! Paypal: https://www.paypal.me/oleundwolfgang Wolfgang M. Schmitt, Ole Nymoen Betreff: Wohlstand fuer Alle IBAN: DE67 5745 0120 0130 7996 12 BIC: MALADE51NWD Twitter: Ole: twitter.com/nymoen_ole Wolfgang: twitter.com/SchmittJunior Die gesamte WfA-Literaturliste: https://wohlstand-fuer-alle.netlify.app/

In der heutigen Episode des „The Age Of Iron Podcasts” hatte ich die Ehre, meinen Coaching-Kollegen Tobias Büchner in der Show als Gast begrüßen zu dürfen. Tobias zeichnete sich im Verlauf der letzten Jahre als ambitionierter Athlet sowie als einer der besten Coaches Deutschlands aus. In dieser Folge bereichert er uns durch seine Erfahrung, die er tagtäglich an über 30 Klienten sammelt und schenkt uns Einblicke in die Herangehensweise, wie sein Vorgehen für die Gestaltung eines Trainingsprogrammes seiner Kunden aussieht. Zusammen gehen wir dabei auf die verschiedenen Trainingsvariablen ein, die wir im Hypertrophiekontext nutzen, um die bestmöglichen Anpassungen bei unseren Kunden zu erreichen. Wir sprechen über die Implikation der relativen Auslastung, abhängig der Übung und gehen auf viele weitere interessante Parameter ein, die wir bei der Gestaltung eines optimalen Programmings heranziehen. Aus der Folge wird jeder ambitionierte Athlet, egal ob Anfänger oder Fortgeschrittener, etwas für sich und sein Training mitnehmen können.

Die Letzte Folge mit schlechter Audio-Qualität! Ab Folge 4 ist endlich das gute Mikro da. In Folge 3 geht es um die Frage, ob die Corona-Krise uns lehrt, dass Transformation nicht immer ein vorsichtiger und langsamer Prozess sein muss bei dem Inklusive und Teilhaben entscheidend für den Erfolg sind, sonder Transformation auch über einen exogenen Schock – wie es eben die Corona Pandemie einer ist – erfolgreich passieren kann. Die Corona Pandemie führt dazu, dass viele Unternehmen, die vorher in lange und langsame Prozesse der Digitalisierung des eigenen Unternehmens investiert haben, schlagartig ohne diese Prozesse digital agieren. Natürlich klappt das nicht immer einwandfrei, aber es ist interessant und sagt etwas über Prozesse und Prozessdesign aus. Simon und Sophia unterhalten sich über dieses Thema und seine gesellschaftliche Implikation.

Willkommen zu einer neuen Episode des "HYPERTROPHYCAST". Heute mit Alexander Ketterer aka fps.training und wir thematisieren Unterschiede zwischen Männern und Frauen bzgl. Training und Ernährung. Wenn ihr etwas aus der Folge mitnehmen konntet, würde ich mich je nach Platform über ein Abo und eine Bewertung freuen! Vielen Dank für den Support und bis nächsten Woche. TIMESTAMPS: 00:07:05 Corona: Muskelerhalt & Muscle Memory 00:10:55 Gleiche Gainrates bei Männern und Frauen? 00:15:50 Warum verkraften Frauen mehr Volumen? 00:19:30 Muskelfaserverteilung: slow vs. fast-twitch 00:26:28 Implikation für das Training bei Frauen 00:38:28 Periodisierung des Kaloriendefizits während der Menstruation 00:43:01 Energy Availabilty Threshold Alexander auf Instagram: https://www.instagram.com/fps.training Fps.training: http://fps.training/ Fragen, Vorschläge und Feedback: https://docs.google.com/forms/d/1P6FC... HYPERTROPHYCAST PLAYLIST: https://open.spotify.com/playlist/3BT... Website & Coaching: https://www.luisfrielingsdorf.de Youtube: https://www.youtube.com/user/RatedRCA Instagram: https://www.instagram.com/luisfrielingsdorf Email: coaching@luisfrielingsdorf.de

Wir haben nicht viel Zeit, da Andreas am Tag der Aufnahme noch ein Baseball Spiel kommentieren darf. Wir beginnen also sofort mit der AL East. Die Yankees setzen ein Ausrufezeichen in der Serie gegen die Dodgers, die sie mit 2-1 für sich entscheiden. Ist das ein Zeichen für eine potentielle Worldseries. Wir fragen uns, ob wir uns Sorgen um die Rays machen. In der Central loben wir die Twins und beobachten die Indians in ihren Bemühungen oben dran zu bleiben. Die Astros haben wohl unseren Podcast gehört, verlieren sie seit Aufnahme lediglich ein Spiel. Die Athletics haben eine Achterbahnwoche, bleiben aber auf einem Wildcard Spot. In der National League East gewinnen die Braves die Serien gegen die eigene Division und zeigen, dass sie zurecht Platz Eins inne haben. Die Nationals führen weiterhin die Wildcard Standings an, kommen aber nicht an Atlanta ran. Die Phillies und Mets können sich strecken wie sie wollen, selbst die Wildcard wird schwer. In der Central staunen wir über die Cardinals, die es weiterhin schaffen zu überraschen. Oder enttäuschen die Cubs und Brewers viel mehr? Im Westen analysieren wir, ob die Schwächephase der Dodgers in der letzten Woche eine Implikation auf die Playoffs haben werden. Mit dem Hinweis auf unsere Anwesenheit bei der Baseball EM in Bonn beenden wir die heutige Aufnahme.

Sich selbsterfüllende Prophezeiungen nennt man das Phänomen, dass unsere Erwartungen, die wir in Bezug auf eine Sache haben, das Ergebnis bestimmen. Wenn ich glaube, etwas nicht zu können, werde ich recht haben - und die Sache tatsächlich nie (oder nicht) können. Umgekehrt bewahrheitet sich aber auch die Prophezeiung darüber, wenn ich glaube, dass ich etwas kann.  In dieser Episode stelle ich zwei psychologische Studien zum Phänomen der sich selbsterfüllenden Prophezeiungen vor, spreche darüber, welche Implikation dieses Wissen für unser Leben hat und wie du die Macht deiner Gedanken stattdessen dazu nutzen kannst, dein Leben so zu gestalten, wie du es dir wünschst.   Ich freu mich sehr darüber, dich auf deiner Reise heim zu deinem wahren Selbst begleiten zu dürfen! Alles Liebe und bis zur nächsten Folge Britta    Wenn dir die Episode gefallen hat, abonnier den Podcast auf deinem Podcast-Player, hinterlass einen Kommentar und trag dich auf meiner Webseite http://www.brittakimpel.com für meinen Newsletter ein. So erfährst du immer als erstes, wenn es etwas Neues aus dem TLUNiversum gibt.     FOLG MIR AUSSERDEM AUF ********************** WEBSEITE: http://www.brittakimpel.com   FACEBOOK: https://www.facebook.com/brittakimpelyoga   INSTAGRAM: http://www.instagram.com/brittakimpel  PINTEREST: https://www.pinterest.com/brittakimpel   YOUTUBE: https://www.youtube.com/channel/UCw8KYgKm9BXdTN0_ncXTwYg 

Oliver Leisse im Gespräch mit Dennis Ullner über das mobile Gaming und das Erfolgsspiel Fortnite. Über die Gründe, warum Fortnite so erfolgreich ist. Über mobiles Zocken auf einem komplexeren Niveau. Über eine Welle mobiler Spiele, die von Ost nach West schwappt. Über die Notwendigkeit von Strategie im Spiel. Über das Vermeiden von Eintrittsbarrieren - das Spiel ist kostenfrei zu spielen. Über überforderte Eltern und Lehrer. Über Technologie-Pessimismus und Unverständnis aus Unwissen. Über Hunger Games als Wegbereiter des Erfolgs. Über die gesellschaftliche Implikation - im Team spielen, mit Strategie spielen, den Misserfolg akzeptieren (fail fast, fail often) und um dann doch immer besser zu werden. Strategie-Prototyping.... Gerne Feedback an mich: ol@see-more.org! (Für den guten Sound ist übrigens Dennis verantwortlich.) Folge direkt herunterladen

HALLOO!! Hier ist er wieder, euer geistig umnachteter Boulevard- und Lifestyle-Podcast für die Jahre zwischen den Jahren. Diesmal kümmern wir uns um EUCH - DAS LAND, indem wir für eure Bildung und Information sorgen. Nachdem wir bereits den Klimawandel und den Terrorismus abgeschafft haben, setzen wir uns in dieser Folge nun mit ganzer Kraft gegen die einzig verbliebene Geisel der Menschheit ein: Fake-News! Und keine Sorge - Trump steht hier nur aus SEO-Gründen und wird natürlich mit keiner Silbe erwähnt, auch wenn er durch seine ergreifende und einnehmende Art eine Inspiration für UNS - DAS LAND ist. Nachdem wir über den Start der Stubenfliege, das Urinierverhalten von Eisbären, Eimersaufen bei Olympia und die Implikation des Dildos von Margarete Thatcher auf die Frauenwahlrechte philosophiert haben, wenden wir uns den wichtigen Dingen des Lebens zu: Netflix. Mike und Jan geben einen kurzen Review der Serie "Designated Survivor" und "Three Mics". Außerdem thematisieren wir die von Wespen ausgehende Terrorgefahr, sprechen über Pünktlichkeit, Scheinehen, die Zahnfee, typisches Spielzeug der 90er, die Dating-App "Whispar" und Gedankenkontrolle durch Google. Zwischendrin freut sich Dr. Sommer über eine Frage - und noch viel mehr freut er sich natürlich auf eure Fragen, entweder auf seinem Anrufbeantworter unter 03641/5549831 oder an sommer@selbstfindungszerstoerung.de. Und als wäre das noch nicht genug, gibt's zum krönenden Abschluss natürlich wie immer unsere beliebteste Kategorie: den Abspann.

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

Global Studies 2011 | Symposium 10/19/2011-10/20/2011 Was ist „zeitgenössische Kunst“? Diese Frage weist im Kontext der gegenwärtigen Kunstproduktion im Iran einerseits auf das Bestreben der Künstler und Ausstellungsmacher hin, die eigene Kunst in global gültigen Bewertungskategorien einer „zeitgenössischen Kunst“ zu verorten. Andererseits verweist sie auf Bewertungskategorien, die sich im iranischen Kunstfeld entwickeln und die unter den gegenwärtigen Kunstproduktionen zwischen „wirklich zeitgenössischen“ und als „nicht-­‐zeitgenössisch“ einzustufenden Kunstwerken unterscheiden. Die Frage nach dem Kunstbegriff und seiner Verwendung ist in Bezug auf die Gegenwartskunst im Iran eng mit diesen Implikationen des „Zeitgenössischen“ verknüpft. Die Entwicklung der Kunst und des Kunstfeldes (und somit auch die Ausbildung eigener Bewertungskriterien) in Teheran als Zentrum des iranischen Kunstgeschehens ist im Zusammenhang mit den internationalen, durch Ausstellungspraktiken und den globalen Kunstmarkt maßgeblich beeinflussten Rezeptionsweisen einer „zeitgenössischen iranischen Kunst“ zu sehen. Dies belegen nicht nur die parallel im Iran und in der internationalen Kunstszene aufkommenden Themenfelder und ästhetischen Ausformulierungen der ausgestellten Werke. Schon die Entstehung einer im Iran als „modern“ bezeichneten Kunst in der zweiten Hälfte des 20. Jahrhunderts fand in Anlehnung an die Entwicklungen der modernen und postmodernen Kunst in Europa und den USA statt. Wird dieses Narrativ der Aneignung und Beeinflussung unter den veränderten Vorzeichen eines entgrenzten globalen Kunstfeldes heute fortgesetzt? Oder beginnt in den unterschiedlichen beschreibenden und bewertenden Instanzen des Teheraner Kunstfeldes eine kritische Auseinandersetzung mit globalen und lokalen Beurteilungskriterien, die auch in der Kunstproduktion sichtbar wird? Im Zentrum meines Forschungsinteresses steht somit die Untersuchung der Entwicklung und der Zusammenhänge von Rezeptions-­‐ und Produktionspraktiken in Bezug auf die Auswirkungen einer Verhandlung des „Zeitgenössischen“ in der iranischen Gegenwartskunst.

Astronomische Beobachtungen mit großen bodengebundenen Teleskopen sind, bedingt durch die statistischen Prozesse der Lichttransmission durch die Erdatmosphäre, in der räumlichen Auflösung begrenzt. Mittels adaptiver Optik, einer schnellen Korrektur der Lichtwellenfront, kann diese Einschränkung behoben werden. Damit diese Technologie auch für lichtschwache Objekte eingesetzt werden kann, ist eine künstliche Referenzquelle in der Hochatmosphäre nötig. Die vorliegende Dissertation gliedert sich in zwei Teile: Im astronomischen ersten Teil werden Beobachtungen von Quasaren mittlerer bis hoher Rotverschiebung beschrieben. Der zweite Teil beschäftigt sich mit der Entwicklung eines Lasersystems für das Very Large Telescope in Chile, mit dem ein künstlicher Leitstern erzeugt werden kann. Mittels optischer und nahinfraroter Aufnahmen radioschwacher Quasare in mehreren Rotverschiebungsbereichen wird im Rahmen dieser Arbeit eine Messung der Leuchtkraft des Quasarkerns sowie der beherbergenden Galaxie vorgenommen. Durch den Vergleich mit der räumlichen Intensitätsverteilung von Punktquellen im selben Feld mit den Beobachtungsobjekten konnte die geringfügig größere räumliche Ausdehnung der Galaxie detektiert werden. Das Helligkeitsverhältnis von Kern und Galaxie wurde mit Hilfe einer Modellierung der Oberflächenhelligkeit und der Anpassung an die Messwerte ermittelt. Dieses Verhältnis wird im Vergleich mit Messungen anderer Gruppen sowie Modellrechnungen der Galaxie- und Quasarbildung im jungen Universum diskutiert. Über den hier betrachteten Rotverschiebungsbereich von z=0.8 bis z=2.7 liegt dieses Verhältnis innerhalb der zu erwartenden Streuung der Modellrechnungen, wobei ein eindeutiger Trend mit dem kosmologischen Alter innerhalb der Fehlergrenzen nicht festgestellt werden konnte. Vergleicht man die Leuchtkraft der hier vermessenen radioschwachen Wirtsgalaxien der Quasare mit radiolauten Objekten sowie anderen Galaxientypen ähnlicher Rotverschiebung zeigt sich, dass diese eher mit Lyman-break Galaxien übereinstimmen und in der mittleren Helligkeit vergleichbar mit 'normalen' L* Galaxien sind. Die hier vorgestellten Messungen wurden an einem 3.5m Teleskop ohne Korrektur der atmosphärischen Störungen vorgenommen und sind dadurch prinzipiell in der erreichbaren räumlichen Auflösung begrenzt. Um zukünftige Messungen von Quasaren und ähnliche Projekte, bei denen eine hohe Auflösung gefordert ist, mit größerer Präzision durchführen zu können, ist ein Laserleitstern an einem großen Teleskop nötig. In Kapitel 2 werden die grundlegenden Eigenschaften der Lichttransmission durch die Erdatmosphäre und deren Implikation auf die Abbildung mit astronomischen Teleskopen beschrieben. Im selben Kapitel wird die Physik der Resonanzstreuung an Natriumatomen in der Mesosphäre beschrieben, welche zur Erzeugung des künstlichen Leitsterns genutzt wird und die Grundlage für die Auslegung des Laserleitsterns bildet. In Kapitel 3 wird die Entwicklung und der Test des Lasersystems beschrieben, welches im Rahmen dieser Arbeit für das Very Large Telescope in Chile gebaut wurde. Ziel war es, einen Laser zu entwickeln, der bei 589 nm mehr als 10 W Ausgangsleistung in einer einzelnen Mode mit hoher Strahlqualität erreicht. Mit der Aufteilung des Lasersystems in eine Master-Laser- und eine Verstärkerstufe konnten die Problematiken, welche sich durch thermische Störungen bei hoher Leistung ergeben, gelöst werden. Die cw Verstärkerstufe wurde als injektionsstabilisierter Resonator mit nicht-planarer Geometrie und zwei Farbstoffstrahlen verwirklicht, welche von vier leistungsstarken 532nm Lasern optisch gepumpt werden. Mit Hilfe eines detaillierten Modells des Laserprozesses konnte die Auslegung des Verstärkers erfolgen. Für die Stabilisierung des Verstärkers auf die Resonanzspitze wurden mehrere Methoden getestet. Hierbei konnte eine neue polarisationsspektroskopische Messmethode gefunden werden, welche ein eindeutiges Fehlersignal über den gesamten Phasenbereich liefert, womit eine hochstabile Regelung verwirklicht werden konnte. Mit dem Gesamtsystem konnte stabil eine Einmoden-Ausgangsleistung von 24 W mit hervorragender Strahlqualität erreicht werden.