Podcasts about aussage es

  • 15PODCASTS
  • 16EPISODES
  • 38mAVG DURATION
  • ?INFREQUENT EPISODES
  • Dec 1, 2024LATEST

POPULARITY

20172018201920202021202220232024


Latest podcast episodes about aussage es

Trash*innen
"Die Anzeige ist raus! Herr Anwalt" Sommerhaus das Wiedersehen

Trash*innen

Play Episode Listen Later Dec 1, 2024 39:59


Was wir dort gesehen haben? Keine Ahnung! Aber endlich verstehen auch wir die Aussage "Es war ein Fiebertraum!" Wir verarbeiten gemeinsam mit euch diese "Aussprache"! Ihr wollt mitdiskutieren? Dann findet ihr uns auf: Instagram https://www.instagram.com/trash_innen?igsh=NTJ5dXY4Z2pkeDlj&utm_source=qr auf Threads https://www.threads.net/@trash_innen und WhatsApp https://whatsapp.com/channel … Du möchtest uns eine Nachricht senden oder ein Produkt über unseren Podcast bewerben? Dann schreib uns gern unter trashinnen@gmx.de

whatidoinspiresyou
Leadership ohne Stress– mit Dr. Julia Freudenberg

whatidoinspiresyou

Play Episode Listen Later Aug 15, 2024 60:32


In dieser Folge darf ich Dr. Julia Freudenberg begrüßen. Julia Freudenberg ist Teil der Geschäftsführung der mehrfach ausgezeichneten Hacker School mit der Vision, die Jugend, insbesondere auch Mädchen und sozioökonomisch benachteiligte junge Menschen, für das Programmieren zu begeistern. Des Weiteren ist sie Mitglied im Beirat der Jungen Digitalen Wirtschaft beim Bundeswirtschaftsministerium. Lasst euch anstecken von der Leidenschaft von Julia Freudenberg für das Thema „Digitalisierung“ und versteht die Hintergründe ihrer Aussage: „Es ist nicht entweder digital oder analog, sondern es ist einfach Menschenfreundlichkeit, den Menschen zu sehen, einfach mal an die Hand zu nehmen, denn das wird niemals durch Digitalisierung ersetzt!“ Hört rein, genießt die wertvollen Impulse und erfahrt, was gute Führung ausmacht und wie großartig es sich anfühlt, diese zu leben. Lasst euch inspirieren und euch ein Lächeln ins Gesicht zaubern.

Kinderwunschzeit - Der Podcast des Bundesfamilienministeriums
#40: Idiopathische Sterilität - was bedeutet das und warum nicht immer eine Ursache gefunden wird

Kinderwunschzeit - Der Podcast des Bundesfamilienministeriums

Play Episode Listen Later Jul 18, 2024 53:36


Bei 10% der Paare, die eine Behandlung in einem Kinderwunschzentrum machen, lässt sich die Ursache für die ungewollte Kinderlosigkeit nicht diagnostizieren. Das wird idiopathische Sterilität genannt. Dr. Angela Mayser erklärt im Gespräch mit Sally Schulze, warum man das auf keinen Fall mit der Aussage “Es gibt keine Ursache” verwechseln darf. Sie gibt Einblicke in die Behandlungsmöglichkeiten und ihre ärztliche Begleitung, die weit über medizinische Untersuchungen hinausgeht.

whatidoinspiresyou
Mental Health 3.0 - wo geht die Reise hin – mit Nora Dietrich

whatidoinspiresyou

Play Episode Listen Later Dec 15, 2023 84:01


In dieser Folge darf ich Nora Dietrich begrüßen. Nora Dietrich unterstützt als Expertin, Keynote Speakerin und Organisationsdesignerin Teams und Führungskräfte bei der Frage: Was brauchen wir, um unsere bestmögliche Arbeit zu machen und dabei gesund zu bleiben? Und sie berät Organisationen strategisch und bei der Umsetzung von New Work. Lasst euch anstecken von der Leidenschaft von Nora Dietrich für das Thema Mental Health und versteht die Hintergründe ihrer Aussage „Es gibt keine Gesundheit ohne Mentale Gesundheit, d.h. Gesundheit ist deutlich facettenreicher als körperliche Gesundheit und muss holistischer gedacht werden!“ Hört rein, genießt die wertvollen Impulse und erfahrt, was gute Führung ausmacht und wie großartig es sich anfühlt, diese zu leben. Lasst euch inspirieren und euch ein Lächeln ins Gesicht zaubern.

Perfectly Imperfect - Weniger Perfekt, Mehr Spaß! Podcast von Katharina Siebauer
Folge 90: 3 Dinge in die du auf keinen Fall investieren solltest

Perfectly Imperfect - Weniger Perfekt, Mehr Spaß! Podcast von Katharina Siebauer

Play Episode Listen Later Aug 12, 2022 24:43


Klar um ein Business zu starten musst du erstmal investieren. So viel ist dir schon klar. Aber gerade am Anfang ist es schwer einzuschätzen in was es sich nun wirklich lohnt zu investieren. Denn egal, auch wenn schon verstehe was hinter der Aussage “Es gibt keine Fehlinvestitionen!” steckt, manche Dinge und Erfahrungen kann man sich halt wirklich sparen. **Erfahre in dieser Folge:** In welche 3 Dinge du auf keinen Fall investieren solltest In was es sich wirklich lohnt zu investieren *** [Kostenloser Vortrag: Löse die Business Bremse Nummer 1]( https://katharinasiebauer.de/perfektionismus-lose-die-business-bremse-nummer-1/) *** Meine Angebote für dich: Die 3 meist unterschätzten Faktoren beim Online Business Aufbau erfährst du hier. [Invisible Circle](https://drive.google.com/file/d/1rU_2VBpVR-vfXPVJUZSs2iJk8Qu5p56f/view?usp=sharing) *** Du hast Interesse an meinen tieftransformierenden 1:1 Coaching Programmen? **- Perfectly Imperfect, die ersten 100 Tage für dein Business** **- Sinnerfüllt. Erfolgreich. Frei. Entfessle deine Business-Magie** Dann buch dir hier einen unverbindlichen Kennenlerntermin. [Kennenlern-Termin buchen: Hier klicken](https://katharinasiebauer.youcanbook.me) *** **Dir gefällt diese Podcast Folge? Dann erfahre gerne mehr über mich und meine Projekte hier:** [Website](https://katharinasiebauer.de/) [Instagram](https://www.instagram.com/kathi_perfektunperfekt/) [Facebook](https://www.facebook.com/Katharina-Siebauer-Perfektionismus-loslassen-100852712089937) [LinkedIn](https://www.linkedin.com/in/katharina-siebauer-599253b1/) Hab Spaß im Leben, Deine Kathi

Der Möglichmacher Podcast mit Jan Schmiedel - Erkennen ist krasser als tun!
Folge 465 Tischgespräch mit Yvonne - Sind Wünsche erlaubt?

Der Möglichmacher Podcast mit Jan Schmiedel - Erkennen ist krasser als tun!

Play Episode Listen Later Jul 31, 2021 35:50


Der letzte Samstag im Monat ist Tischgespräch-Zeit. Heute sprechen Yvonne Simon und ich über eine ganz besondere Aussage: "Es kommt nicht darauf an, was ich für Wünsche habe, sondern darauf, was ich bekommen kann." Was fällt Dir bei dieser Aussage in Dir auf? Kannst Du ihr zustimmen? Sagst Du Dir: "Was für ein Quatsch!" Wir beide haben uns mal zusammen an die Alster in Hamburg  gesetzt und intensiv darüber gesprochen. Dabei kamen und Themen wie: Demut, Aktzeptanz, Dankbarkeit und die Fülle des Lebens in den Sinn. Am Ende des Podcasts haben wir noch ein ganz besonderes Angebot für Dich. Mein Name ist Jan Schmiedel und ich bin Mental Coach. Ich will mit Dir Zukunft gestalten! Wenn Du ein Coaching bei mir haben willst, oder Dich einfach nur mal informieren möchtest, dann vereinbare einen kostenlosen Gesprächstermin über meine Webseite: www.janschmiedel.coach Erkennen ist krasser als tun! Ich bin dafür absolut überzeugt, dass Klarheit der Schlüssel zu sich selber ist. Was für ein Leben ist das, wenn man nur funktioniert und überlebt? Die stärkste mentale Kraft bist Du und Du wirst jeden Sturm im Leben trotzen, wenn Du zuhause in Deinem Leben bist. Mein Podcast bei: iTunes - Stitcher (Android)

Psychologie für den Alltag
Psychologie für den Alltag - Es war doch nur gut gemeint

Psychologie für den Alltag

Play Episode Listen Later Apr 25, 2021 15:21


Wer von uns hat nicht schon die Erfahrung gemacht, mit einer solchen Aussage: „Es war doch nur gut gemeint“, konfrontiert gewesen zu sein. Es handelt sich um eine klassische Aussage, die immer dann getroffen wird bzw. zu hören ist, wenn offensichtlich geworden ist, dass etwas Beabsichtigtes, Gewolltes oder Angestrebtes nicht eingetreten ist. Wobei sich die Aussage auf das Agieren eines Menschen bezieht, der im Vorfeld seines Tuns einen oder mehrere anderen Mitmenschen nicht einbezogen hat. Im Nachhinein lässt sich aufgrund dessen nicht selten eine damit verbundene Grenzüberschreitung feststellen. Dies bedeutet, dass eine bestehende natürliche oder absichtlich gesetzte Grenze zu einem anderen nicht beachtet wurde und eigenmächtig von dem Handelnden überschritten wurde. Die damit verbundenen bewussten Intentionen scheinen ausschließlich positiver Natur gewesen zu sein. Dennoch offenbart sich die Bereitschaft des Handelnden, die Befindlichkeiten auf der anderen Seite zunächst zu übergehen und außer acht zu lassen bzw. ganz bewusst zu ignorieren. Dies lässt einen Mangel an Achtsamkeit und Respekt in Verbindung mit einer Ausrichtung ausschließlich auf die eigenen Überzeugungen, Bedürfnisse und Wünsche erkennen.

SaarGau Welle Podcast
Trenders Bücher Trends (TBT) - „Ein komischer Vogel“

SaarGau Welle Podcast

Play Episode Listen Later Nov 14, 2020 2:13


Es geht um einen komischen Vogel, der etwas anders ist als die anderen Vögel. Er ist größer und schwerer als seine Amselgeschwister und kann deshalb nicht fliegen. Er kann nicht leichtfüßig hin und her trappeln und Regenwürmer aufpicken, weil er überhaupt nicht leichtfüßig ist. Dieser Vogel schießt wirklich den Vogel ab. Dieser Vogel ist ja auch kein Vogel, sondern ein kleiner roter Drache. Plötzlich war nämlich im Amselnest ein etwas größeres rötliches Ei. Nachdem die Amselmutter vergeblich versucht hat, das schwere Ei zu entfernen, sagte sie: „Ob ich nun auf drei oder vier Eiern sitze, macht auch keinen Unterschied“. So beginnt die Geschichte des kleinen roten Drachen. Nach und nach merkt nicht nur der Drache, dass er etwas anders ist. Die anderen Tiere des Waldes beäugen ihn schon etwas kritisch…bis sich die Gelegenheit für den „komischen Vogel“ bietet, zu zeigen, dass er auch brauchbare Fähigkeiten hat. So kommt es, dass sich die Aussage „Es ist nicht leicht, etwas anders zu sein.“, umwandelt in „Es ist schön, etwas anders zu sein.“Es ist also in Ordnung, so zu bleiben wie man ist. Denn manchmal ist es schön, etwas anders zu sein, oder etwa nicht?

SWR Aktuell im Gespräch
SPD-Obfrau: Kein Beweis für Lügen von Verkehrsminister Scheuer

SWR Aktuell im Gespräch

Play Episode Listen Later Oct 2, 2020 2:56


Die SPD-Obfrau im Maut-Untersuchungsausschuss des Bundestags, Kirsten Lühmann, sieht keinen Beweis dafür, dass Verkehrsminister Andreas Scheuer (CSU) über seine Gespräche mit den Mautbetreiberfirmen gelogen hat. In SWR Aktuell sagte sie, auch nach der jüngsten Sitzung stehe Aussage gegen Aussage: „Es ist eine Frage der Glaubwürdigkeit." Im Gespräch mit SWR-Aktuell-Moderator Andreas Herrler erklärt Lühmann, warum sie trotz vieler Zweifel nicht die Entlassung von Scheuer fordert.

Addendum zum Anhören
Offener Brief an den Gesundheitsminister von Martin Sprenger

Addendum zum Anhören

Play Episode Listen Later Jun 3, 2020 8:48


Martin Sprenger unterzieht die Aussage „Es wurden die richtigen Maßnahmen zum richtigen Zeitpunkt gesetzt“ einem Faktencheck.

Podcast Vertrieb Verkauf und Verhandlung
100 - 4P Modell, Verkaufspsychologie und Sprache

Podcast Vertrieb Verkauf und Verhandlung

Play Episode Listen Later Oct 8, 2019 17:04


In dieser Jubiläumsausgabe des Podcasts geht es vor allem um die Verwendung von Worten und der Sprache in Verhandlungen. Wissen Sie noch wie Sie heute morgen aufgestanden sind oder läuft es einfach automatisch? Na können Sie sich daran erinnern? Wahrscheinlich eher nicht und das geht ja vielen von uns so, gerade bei Gewohnheiten die wir immer wieder machen. Und genauso ist es auch in unserem Job. Die Gewohnheit ist einfach ein Luder. Heute schreibe ich darüber wie Sie bei der Verkaufspsychologie und Sprache negative Muster durchbrechen können und somit erfolgreicher werden. Und das geht, wenn Sie mit Ihren alten Gewohnheiten, die automatisch ablaufen, aufräumen. Und das ohne sich zu verbiegen, sondern absolut authentisch und mit mehr Erfolg am Ende! Wir sind Gewohnheitstiere … Verändern von Gewohnheiten fällt uns allen schwer. Und dabei ist es noch nicht einmal wesentlich, ob das bisherige Verhalten gut oder schlecht ist. Es ist einfach in unserer Routine, das was wir schon immer so gemacht haben. Deswegen funktioniert ja Mallorca und Gran Ganaria auch nicht ohne Wiener Schnitzel oder deutsches Bier. Wir bevorzugen das was wir kennen! Genauso geht es Verkäufern. Sie wissen alle dass ein „ähmmm“ keine gute Antwort auf die Kundenaussage „kein Interesse“ ist. Und dennoch machen wir es. Was hat Verkaufspsychologie und Sprache mit der Veränderung von Gewohnheiten zu tun? Was steht uns denn für eine Veränderung im Weg. Es ist Ihr Gehirn! Und das weil er sich alles merkt was Sie denken. Beim Lernen werden Synapsen im Gehirn miteinander verbunden wie bei einer Programmierung. Als Sie als Kind gelernt haben „das sagt man nicht“ – wenn Sie im Laden lautstark gefragt haben „Warum stinkt der Mann?“ hat sich das in Ihr Gehirn eingefräst. Durch diese Programmierung werden Sie so eine Frage nicht mehr stellen – und das vollkommen unterbewusst.. Mit Verkaufspsychologie und Sprache negative Muster durchbrechen Einmal gelernt heisst für immer angewendet. Genauso geht es uns im Verkauf und Vertrieb. In einem Verkaufsgespräch haben Sie bestimmte Muster gelernt und Sie nutzen diese immer wieder – und das im positiven wie im negativen Sinne Was bedeutet dies nun für die Verkaufspsychologie und Sprache um im Verkauf wirkliche Erfolge zu verzeichnen? Was Verkaufspsychologie und Sprache miteinander zu tun hat? Jeder Verkaufsprofi nutzt die Sprache als wesentliches Mittel. Es geht darum wie die Formulierung genau gemacht wird um Verkaufspsycholgoie und Sprache erfolgreich zu kombinieren. Ein Beispiel aus meiner Kaltakquiseoffensive von gestern. Stellen Sie sich folgende Akquise-Situation vor: „Grüß Gott, mein Name ist Huber von der Firma Schulze. Wir sind spezialisert auf X und ich möchte gerne wissen, ob ich unsere Produkte bei Ihnen vorstellen darf.“ Ich glaube Sie kennen die Antwort: „Nein, danke.“ Warum ist das so? Weil hier ein runtergeraterter Automatismus abgelaufen ist. Wenn Sie eine Standardfrage stellen, dann ist es nicht verwunderlich wenn der Kunde auf den Zug aufspringt und sein normales Fluchtverhalten bei Kaltakquise einsetzt. Überraschen Sie Ihren Kunden doch und zeigen Sie ihm dass er Einzigartig ist und nicht ein X-beliebiger Gesprächspartner den man nur abarbeitet. Hier einige Strategien: #1 Verkaufspsychologie und Sprache: Ich- oder Sie-Sprache Wann hören wir zu? Hören Sie zu wenn ein Verkäufer wie ein monologisierendes Etwas spricht – ohne Punkt und Komma? Wie reagieren Sie auf diese eigenen Lobeshymnen eines Verkäufers, der nur über die eigene Firma spricht? Die Kundenantwort ist nachvollziehbar und dennoch rufen mich jede Woche wieder Verkäufer an die mich nur zutexten über sich selbst. Der Mittelpunkt für diese Verkäufer ist nicht der Kunde, sondern nur dieser eine Abschluss und genau das zeigen Sie auch mit der Sprache. Wie finden Sie dieser Frage des Verkäufers: „Was muss ich tun, damit Sie unser Kunde werden?“ Um wen geht es jetzt? Immer noch um den Verkäufer! Das gleiche nun in der Sie-Sprache: „Was wünschen Sie sich von einem zusätzlichen Lieferanten? Welche Themen müsste ein zusätzlicher Partner für Sie lösen können?“ Eine völlig andere Wirkung, nicht wahr? #2 Verkaufspsychologie und Sprache 2: Aktive oder passive Sprache – Konjunktiv? Selbstsicherheit und überzeugt sein verkauft. Vertrauen beim Kunden entsteht über die Sprache. Je klarer und verbindlicher Sie sprechen desto mehr Vertrauen wird aufgebaut. Der Konjunktiv ist ein Weichmacher. Die Worte „würde“, „hätte“, „könnte“ funktioniern dabei eben nicht. Genausowenig das geliebte „eigentlich“, „vielleicht“ und „eventuell“. Und was heisst die Aussage dann „uneigentlich“? Streichen Sie solche Worte ersatzlos! Wie ist das mit Passiv? Verkaufspsychologie und Sprache verzichtet auf Passiv. Sie rufen bei Ihrem Handyanbieter an und möchten den Tarif wechseln. Wie wirkt die Aussage: „Es wird sich jemand darum kümmern!“? Ich bin mir sicher, dass diese Formulierung kein Vertrauen bei Ihnen auslöst. Wie wäre es mit: „Ich kümmere mich darum?“ #3 Verkaufspsychologie und Sprache: Negative oder positive Sprache? Kennen Sie das? Der Verkäufer sagt Ihnen nach dem Autokauf: „Keine Angst, Sie werden das nicht bereuen!“ Was denken Sie jetzt? Logisch: Sie haben Angst und bereuen jetzt schon den Kauf. Woran liegt das Unsere Synapsen in unserem Gehirn schaffen die Verarbeitung nicht so wie es gemeint war vom Verkäufer. Das ist genauso wie wenn Sie einem Kind das auf den Baum klettert sagen: „Pass auf, dass du nicht runterfällst!“ Die Wahrscheinlichkeit, dass dieses Kind vom Baum fällt hat sich gerade um 80% erhöht. Oder das Beispiel kennt wohl fast jeder: „Denken Sie jetzt nicht an eine gelbe Zitrone!“ und schon fließt der Speichel im Mund und Sie spüren das Saure der Zitrone. Und genau dieses Beispiel zeigt auch, dass unsere Gedanken automatisch zu Emotionen werden und das erklärt auch warum in der Verkaufspsychologie und Sprache negative Worte auch negative Emotionen auslösen. Nutzen Sie Worte wie „kein Problem“ oder „keine Angst“? Beenden Sie dieses Muster und ersetzen Sie diese Worte mit positiven Begriffen #4 Verkaufspsychologie und Sprache: Persönliche oder unpersönliche Sprache Wer benutzt das Wort „man“? Diese Verallgemeinerung funktioniert in der Verkaufspsychologie nicht. Wer will schon „man“ sein? Stellen Sie sich vor Sie schenken Ihrer Freundin etwas zum Geburtstag und sie sagt „Man hat sich gefreut.“ Wie reagieren Sie? Enttäuscht, verwirrt, wütend? Wenn sie allerdings sagt: „Danke das ist so lieb von dir und so aufmerksam“, freuen Sie sich oder? Mit der richtigen Verkaufspsychologie und Sprache ist es einfach einen Menschen als Mensch zu erreichen und wahres Interesse an ihm zu zeigen. Es geht doch darum auf den anderen zuzugehen und die Welt einmal durch seine Brille zu sehen: was er braucht was ihm wichtig ist was ihn interessiert und wann er kaufen würde! Verkaufspsychologie lohnt sich – Übung macht den Meister Wie gesagt wir sind Gewohnheitstiere und greifen gerne auf das Gewohnte, was wir schon immer gemacht haben zurück. Es geht in der Verkaufspsychologie darum sich umzustellen und anders zu reagieren. Je flexibler Ihr Repoirtoire in der Verkaufspsychologie und Sprache ist, desto wahrscheinlicher auch Ihr Verkaufserfolg. Da wir meistens auf die bisherige Sprache zurückgreifen ist es wichtig, sich zunächst einmal bewusst zu machen, dass wir diese Worte und Begriffe verwenden. Üben Sie diese neuen Worte in der täglichen Routine immer wieder. Setzen Sie sich „Reminder“ die Sie genau an diese neue Sprache erinnern und trainieren Sie. Es dauert ein bisschen und es ist sicher anstrengend und ungewohnt. Dennoch lohnt es sich in die Verkaufspsychologie und Sprache Zeit und Aufwand zu investieren, trotz Unsicherheit, die am Anfang sicher da ist. Mit der Zeit wird es leichter und es geht in Ihre Routine über. Ohne sich diese Sprachmuster bewusst zu machen haben Sie keine Chance Ihr Unterbewusstsein bewusst zu machen. Und ich bin mir sicher, Sie werden die Beziehung zu Ihren Gesprächspartnern sehr schnell verbessern und Ihre Ziele viel leichter erreichen.        

Feminess | Free your mind | Die besten Erfolgsstrategien für Frauen
#076 - Klartext mit Gunnar Kessler: Warum gibt es so WENIG FRAUEN im Online Marketing?

Feminess | Free your mind | Die besten Erfolgsstrategien für Frauen

Play Episode Listen Later Jun 21, 2019 28:53


In der heutigen Folge spreche ich mit Gunnar Kessler Klartext über die Frage, warum es so WENIG FRAUEN im Online Marketing gibt. Gunnar zeigt Angestellten und Selbständigen, was sie bisher wirklich davon abgehalten hat, mehr Geld zu verdienen. Dabei bewegt er sie zu einem ungewöhnlichen Gedankenwechsel, der das Internet zu einer automatisierten Einkommensquelle macht... Gunnar‘s Mission: Bis 2025 zeige ich 1 Million Familien den direkten Internet-Weg zur finanziellen Freiheit und gebe dir die nötigen Tools und Strategien an die Hand, damit du immer mehr als genug Geld für all deine Träume und Wünsche hast. Gunnar sagt: „Ich glaube daran, dass jeder Mensch es verdient hat, reich frei und glücklich zu leben. Leider haben wir in unserem Bildungssystem keinerlei intelligente Finanzbildung und die meisten Menschen haben nie gelernt haben, wie Geld funktioniert und wie man reich wird. Du erfährst deshalb heute, wie viel Wahrheit in der Aussage "Es gibt wenig Frauen im Online Marketing" wirklich steckt und wie du auch als Frau erfolgreich im Online Marketing sein kannst. Ich wünsche dir viel Spaß! :-) __________ Downloade deinen Ratgeber für ein komplett selbstbestimmtes Leben hier: https://feminess.de/ratgeber-selbstbestimmung Sichere dir JETZT dein Ticket für den Feminess Kongress in Bad Nauheim: https://feminess.de/kongress-badnauheim/ *****MIT DEM CODE "podcast20" SPARST DU DIR 20€*** Und DAS BESTE: Jetzt gilt die 2 für 1 Aktion. Denn Schluss mit Einzelkämpfern. Lasst uns gemeinsam wachsen und bring noch deine Freundin oder Geschäftspartnerin kostenfrei mit. Wenn du dir JETZT ein Ticket buchst, kannst du direkt eins KOSTENFREI dazu haben! _________ Werde Teil der Community und tausche dich mit gleichgesinnten Frauen aus: - Facebook: https://www.facebook.com/groups/feminess/ - Instagram: https://www.instagram.com/my.feminess/ - YouTube: https://www.youtube.com/channel/UCBvWwMkDdxhUDFZDWQPBlEQ?view_as=subscriber __________ Hier findest du mehr zu Gunnar: - Webseite: www.gunnarkessler.com - Der Podcast "Show Me The Money, Honey - der Digital Money Maker Erfolgspodcast rund um so viel mehr als nur Geld": www.ShowMeTheMoneyHoney.de Auch zu finden auf Soundcloud, Itunes, Spotify, Deezer - Gunnars Firma: www.digitalmoneymaker.de - Facebook: www.gunnarkessler.com/facebook - Instagram: www.gunnarkessler.com/instagram - YouTube: www.gunnarkessler.com/youtube _____ In seinem Buch teilt er mit dir, was Reiche ihren Kindern beibringen und wie du alle vorhandenen Blockaden löst, bis du selbst ohne jegliche Vorkenntnisse erfolgreich mehr Geld im Internet verdienst, als je zuvor in deinem Job: www.GeldDasBuch.de (alternativ mit Affiliatelink: https://www.digistore24.com/content/261516/23297/AFFILIATE/CAMPAIGNKEY ) Hier kommst du zum Test - Leidest Du unter einer dieser 11 mentalen Finanzblockaden ohne es zu wissen?: https://www.digistore24.com/redir/271752/AFFILIATE/CAMPAIGNKEY Ebook Geschenk: Geld verdienen im Internet: http://go.affiliate.182177.17089.digistore24.com/ Gunnars Buch „Geld – die 3 Schritte zu Reichtum, Freiheit & Glück": https://www.digistore24.com/redir/271648/AFFILIATE/CAMPAIGNKEY Der Kurs „Geld Frust zu Geld Lust – die Money Mentor Mastery“: https://www.digistore24.com/redir/271649/AFFILIATE/CAMPAIGNKEY

Dynamic Stillness - Der Osteopathie Podcast
WENN KINDER HAUT JUCKT UND NÄSST - Neurodermitis und Osteopathie

Dynamic Stillness - Der Osteopathie Podcast

Play Episode Listen Later May 11, 2019 21:43


WENN KINDER HAUT JUCKT UND NÄSST Folge # 95 : NEURODERMITIS, DER DARM UND OSTEOPATHIE (Anzeige/Werbung/Links) Osteopathie ist so viel mehr als Knochen einrenken! Dies wird gerade sehr deutlich wo sogar die Charité Berlin in einer groß angelegten Studie die Wirksamkeit von Osteopathie bei Neurodermitis klinisch und praktisch erprobt. Aus demInformationsflyer der Studiegeht hervor, dass sich Osteopathie „in Studien bei ausgewählten Erkrankungen als wirksam und sicher erwiesen [hat]". Somit habe man sich entschlossen  "sie auch in der Charité im Rahmen der Hochschulambulanz für Naturheilkunde in Berlin Mitte"anzubieten Weiter überrascht die Studie der renommierten Charite interessierte Laien, betroffene Patienten und viele ärztliche Kritiker der Osteopathie mit der mutigen Aussage: „Es gibt begründete Hinweise, dass […] Osteopathie […] Beschwerden einer Atopischen Dermatitis reduzieren [kann]. Die osteopathische Studienleiterin der Charite Dr. Gabriele Rotterstand hierzu dem RBB Gesundheitsmagazins „rbb Praxis“ am 21.11.18 Rede und Antwort: https://www.rbb-online.de/rbbpraxis/archiv/gesund-mit-wenig-geld.html  (Osteopathie ab 23:32) Aus osteopathischer Erfahrung  beginnt die Neurodermitis / Attisches Ekzem im Säuglings oder Kleinkind Alter und nimmt bei günstigem Verlauf meist bis zur Pubertät meist ab. Die betroffenen Kinder leiden oft  an einem unerträglichen Juckreiz, der manchmal am ganzen Körper auftritt. Manche Kinder sind zugleich entweder sehr gehemmt und gedämpft in ihrer Aktivität oder das krasse Gegenteil und sehr hyperaktiv. Im Sinne einer sogenannten atopischen Disposition zu Allergien und Hauterkrankungen kann sich, wenn unbehandelt oder gar (alleine durch Medikation) unterdrückt, im Laufe des älter Werdens des Kindes ein  "Etagenwechsel" der Symptome vollziehen von einem Krankheitsbild, der Haut zum Beispiel ins andere auf die Lunge. Eine (epi-) genetische Disposition ist wohl die Hauptursache, es gibt eine klare familiäre Häufung von Neurodermitis. Umwelt Faktoren die in den Industriestaaten vermehrt vorkommen, sorgen offenbar für ein aktivieren des auf den Genen abgelegten Abdrucks. In der heutigen Episode zum Thema Neurodermitis, der Darm und Osteopathie zeige ich dir : Die Zusammenhänge Haut, Häute, Schleimhäute und Darm Welche Bereiche der Wirbelsäule einen Osteopathen bei Neurodermitis interessieren Wie Osteopathen/innen Neurodermitis angehen könnten welche Faktoren in einer Stuhlprobe des Kindes zu testen wären und wie du an solche Werte kommst auch wenn dein Kinderarzt sich weigert Was waren deine größten Learnings? Was interessiert dich für kommenden Folgen zum (Kinder- ) Darm, Kinder-Haut und Immunsystemam meisten?   Dein Stefan Rieth, Msc. Ost. --- Teile gerne diese kostbaren Geheimnisse der Osteopathie mit deinen Liebsten, Freunden, auf dass Osteopathie noch mehr in den Fokus der Öffentlichkeit gelangt wie sie es verdient. Bewerte diese Folge und den Podcast gerne mit 5 Sternen bei Itunes, Spotify oder Stitcher, auf dass wir mit Osteopathischen Gedanken und Weisheiten eine richtige Welle der Gesundheit, Bewusstheit, Wachheit und Selbst-Verantwortung schaffen :-) Listen on: Stefanrieth.com: http://bit.ly/2y4pWm1 Itunes: https://apple.co/2JoJhlZ Stitcher: http://bit.ly/dncst Spotify: https://spoti.fi/2HdY6al Youtube: http://bit.ly/2zUho2h Kommentiere diese Folge, deinen Mehrwert und deine Erfahrungen bei Instagram: https://www.instagram.com/stefan.rieth/ Oder teile mit anderen bei Facebook deine Gedanken dazu: https://www.facebook.com/stefanriethcom/ Dein Stefan Rieth --- Ausschluss von Heilungsversprechen Bitte beachten Sie, dass es sich bei der Osteopathie um nicht wissenschaftlich und/oder schulmedizinisch anerkannte und/oder bewiesene Verfahren handelt und die Wirksamkeit wissenschaftlich und/oder schulmedizinisch nicht anerkannt ist. Besonderer Hinweis zum HWG (Heilmittelwerbegesetz) Aus rechtlichen Gründen weise ich besonders darauf hin, das bei keinem der aufgeführten Therapien- oder Diagnoseverfahren der Eindruck erweckt wird , das hier ein Heilungsversprechen meinerseits zugrunde liegt, bzw. Linderung oder Verbesserung einer Erkrankung garantiert oder versprochen wird. Sollte der Inhalt oder die Aufmachung dieser Seiten fremde Rechte Dritter oder gesetzliche Bestimmungen verletzen, so bitte ich um eine entsprechend kostenfreie Nachricht. Ich werde die zu Recht beanstandeten Passagen unverzüglich entfernen, ohne dass die Einschaltung eines Rechtsbeistandes erforderlich ist. Etwaig ohne vorherige Kontaktaufnahme ausgelöste Kosten jedweder Art werden insgesamt zurückgewiesen. Abmahnungen Keine Abmahnung ohne vorherigen Kontakt. Sollte der Inhalt der Aufmachung meiner Seiten fremde Rechte Dritter oder gesetzliche Bestimmungen verletzen, so bitte ich um eine entsprechende Nachricht ohne Kostennote. Ich garantiere, dass die zu Recht beanstandeten Textpassagen unverzüglich entfernt werde, ohne dass von Ihrer Seite die Einschaltung eines Rechtsbeistandes erforderlich ist. Ferner werde ich von Ihnen ohne vorherige Kontaktaufnahme ausgelösten Kosten vollumfänglich zurückweisen und gegebenenfalls Gegenklage wegen Verletzung vorgenannter Bestimmungen einreichen. Ziel dieses Hinweises ist keine Abmahnung  z.B. formlose E-Mail) zu erhalten, sondern nicht mit den Kosten einer anwaltlichen Abmahnung belastet zu werden. Es ist nicht vertretbar, in einem solchen Falle die Notwendigkeit einer anwaltlichen Abmahnung zu bejahen. #mutterglück#mamaliebe#schwangerwerden #babyzeit#hibbeln#wennausliebelebenwird#lebensqualität#babywunsch#persönlichkeitsentwicklung #übergewicht#osteopathy#kinderosteopathie #fruchtbarkeit#physiotherapeutin#kinesiologie #erziehungstipps #schreibaby#accompagnement#osteo #immunsystem#rückenschmerzen#mobilität #wohlbefinden#naturheilkunde#physio #physiotherapists#osteopathie#heilpraktiker #sportsphysio#osteopathe  

Neue Wirtschaft: Ausrüstung, Orientierung und Inspiration
[Art43] Sollte eine Führungskraft Mitarbeiter wirklich loben?

Neue Wirtschaft: Ausrüstung, Orientierung und Inspiration

Play Episode Listen Later May 30, 2018 10:41


In einer Sache sind sich alle einig: in vielen Unternehmen wird zu wenig gelobt! Oder? Wenn die Ergebnisse der letzten Mitarbeiterbefragung mal wieder schlechter als erwartet ausgefallen sind, hören wir als Antwort auf die fehlende Zufriedenheit im Unternehmen immer wieder Appelle wie: “Führungskräfte sollten unbedingt mehr loben!” Oft sogar in Verbindung mit Aussagen wie: „Insbesondere in deutschen Unternehmen wird viel zu wenig gelobt.” “Nicht gemeckert ist Lob genug.” Auch die Gallup Studie liefert passende Antworten wie “Führungskräfte sollen mehr loben, um Mitarbeiterinnen und Mitarbeiter zu motivieren und die Bindung an das Unternehmen zu erhöhen.” Und neulich traf eine Mitarbeiterin an der Kaffeemaschine sogar die Aussage: “Es ist doch eine Unart, dass Führungskräfte nicht mal Lob über die Lippen kriegen, es wohl aber schaffen, häufig zu kritisieren, wenn etwas mal nicht ganz so rund läuft.” Für uns hat Lob auch positive Effekte: wir fühlen uns geschmeichelt, manchmal erröten wir sogar leicht – so als wäre es fast schon unangenehm. Wir freuen uns über die Zuwendung in Form einer positiven Rückmeldung. Wir bekommen positive Anerkennung. Manchmal tröstet es ein wenig hinweg über die Anstrengungen der letzten Wochen oder des letzten Projektes. Lob ist wie das kühle Glas Weißwein, das man sich am Freitag nach einer harten Arbeitswoche auf dem Balkon gönnt. Zum Genuss, weil man die sommerliche Atmosphäre bisher nur aus dem Bürofenster beobachtet hat. Und trotzdem nehmen wir bei Lob oft einen schalen Beigeschmack wahr. Anerkennung, die mögen wir. Aber Lob? Wir können uns mit Dir über die Richtigkeit der oben zitierten Aussagen sicher streiten – und einer Meinung müssen wir auch gar nicht sein. Was wir jedoch auch beobachten ist eine dunkle Seite des Lobs – ähnlich wie bei dem erwähnten Glas Weißwein auf dem Balkon: wenn da nicht der nächste Morgen wäre…. Einige dieser Risiken, Nebenwirkungen und vielleicht sogar Gefahren möchten wir mit Dir teilen.

DIGITAL LEADERSHIP | GENIUS ALLIANCE
Mach Marke oder mach nur weiter so!

DIGITAL LEADERSHIP | GENIUS ALLIANCE

Play Episode Listen Later Nov 16, 2017 25:58


Heute geht es um ein Thema, welches mir wirklich am Herzen liegt, nämlich: Mach Marke oder mach nur weiter so. Was genau steckt dahinter? In dieser Folge teile ich ein paar Gedanken und Erkenntnisse mit euch, die ich in meinem Leben gesammelt habe. Wahrscheinlich kennt ihr alle diese Aussage: „Es kommt auf die inneren Werte an.“ Meine Reaktion darauf ist: Bullshit! Das, worauf es wirklich ankommt ist der Markenmantel, der die inneren Werte umgibt und genau darum geht es heute hier.   Worauf kommt es tatsächlich bei den inneren Werten an? Stellen wir uns das einmal vor: Ihr seid ein Mädel oder ein Typ und ihr wollt einen Partner kennenlernen. Ihr begegnet einem anderen Menschen, der euch irgendwie packt, denn es hat von Anfang an sofort “klick” gemacht. Hier spielt der Aspekt der inneren Werte überhaupt keine Rolle, denn das, was euch letztendlich angefixt hat, war alles Äußerliche, alles Oberflächliche. All das, was ihr wahrgenommen habt, was ihr gesehen habt, was ihr gerochen habt und was ihr irgendwie mit euren Sinnen  aufnehmen konntet. Genau das war letztendlich der entscheidende Impuls, um euch um den anderen zu bemühen und den Kontakt aufzunehmen. Das ist all das, was ich eingangs als Markenmantel beschrieben habe.   Natürlich sind die inneren Werte auch wichtig. Wenn der Markenmantel einmal geöffnet ist, dann möchte ich selbstverständlich keine heiße Luft sehen, denn die Markenwerte sollen hier eine wichtige Rolle spielen dürfen. Uns darf auch bewusst sein, dass Erfolg nun mal maßgeblich mit diesem besagten Markenmantel eng verknüpft ist, denn es ist letztendlich der erste Eindruck, der zählt und der wichtig ist. Dieser Eindruck ist dafür entscheidend, dass andere Menschen mit euch Kontakt aufnehmen, dass ihr glaubwürdig, erfahren, kompetent oder professionell wahrgenommen werdet.   Wir sprechen u.a. über folgende Dinge:   Warum ist Wissen nicht ausreichend? Was genaue ist ein Markenmantel? Vertrauen und Marken Wie kann man einen Vertrauensvorschuss kreieren?   Viel Spaß beim Zuhören und bleibt rebellisch!   Noch ein wichtiger Aufruf: Es geht nicht ohne dich. Und deshalb ist es sehr wichtig, dass du diesen Podcast mit deiner Bewertung bei iTunes unterstützt. Denn durch deine Bewertung rankt dieser Podcast bei iTunes entsprechend höher und schafft höhere Aufmerksamkeit, wodurch mehr Fragen an mich gestellt werden, mehr Interaktion stattfindet und dieser Podcast einen Dialog erfährt und damit lebendig gestaltet werden kann - nicht nur von mir, sondern von uns allen. Vielen Dank also jetzt schon für deine Bewertung bei iTunes.   Frisches Hörfutter direkt auf dein Smartphone   Du kannst nun umgehend auf dem Messenger deiner Wahl über neue Podcast-Episoden, Blogbeiträge, Newsletter und Aktionen auf dem Smartphone informiert werden und die Inhalte auch gleich abrufen. Zusätzlich kannst du dem MARKENREBELL auch Anregungen, Fragen oder andere Feedbacks senden, die dieser dann auf dem kurzen Weg gerne beantwortet. Wie das funktioniert, erfährst du hier. Außerdem versorgen dich einmal im Monat mit den wichtigsten Informationen kostenlos. Melde dich für unseren Newsletter an. Wenn dir der Artikel gefallen hat, teile ihn bitte in deinen Netzwerken, dadurch unterstützt du uns enorm! Danke!!!  Support the show (https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick&hosted_button_id=2PU5W9H752VZJ&source=url)

Modellansatz
Incredible Proof Machine

Modellansatz

Play Episode Listen Later Jan 21, 2016 177:07


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

united states man pr system ny mit thema software computers proof incredible dabei bar kinder workshop definition grund gro diese seite hilfe sinn umgang beispiel analysis wann spiel bild wort minecraft basis fehler stra schule sprache pages archive technik verbindung schluss aufgabe erkenntnisse vater aufgaben erst freunden zusammenhang aufnahme kollegen ergebnisse ergebnis dennoch beispiele methode zugang einmal symbol treffen einstieg github mittel formen aussagen zahl versuch jugendliche theorie toolbox diese frage linie projekten bestandteil aussage literatur javascript existenz nutzung browsers vorschl joachim quellen lehre beschreibung beweis mitteln proceedings verwendung nutzer karlsruhe sammlung setzen strich interessant widerspruch anwendungen cum logik lektionen mathematik im gegensatz ziehen haskell axiom lektion beweise paulson baustein bausteine verkn die pr dritten kalk hilfestellung fakult programmieren einnahme programmierung darstellungen dreieck redstone notation senken beweisen diese art zeile im hintergrund compiler populous coq erzeugung eine alternative korrelation negation arxiv korrektheit eing kausalit buchstabe oberstufe erfolgserlebnis entropia springer verlag karlsruher institut ausg blogeintrag programmiersprache coderdojo spielenden informatikstudium graphen arbeitsblatt technologie kit einschub diagramme ludewig axiome fehlschluss zerlegung konjugation beweises implikation zur anwendung omega tau aussage es vorbedingung computersoftware computerunterst abstraktionsgrad omega tau podcast sebastian ritterbusch computerhilfe modellansatz podcast