Podcasts about vorbedingung

Kommt es zu direkten Gesprächen zwischen Russland und der Ukraine? Noch ist nicht klar, ob sich die Präsidenten Putin und Selenskyj am Donnerstag in Istanbul wirklich treffen, sagt Anna Engelke im Gespräch mit Host Kai Küstner. Die ARD-Hauptstadtkorrespondentin hatte am Wochenende den neuen Bundeskanzler bei seiner Reise nach Kiew begleitet. Friedrich Merz sowie die Staats- und Regierungschefs aus Frankreich, Großbritannien und Polen unterzeichneten eine Erklärung, in der sie eine Feuerpause ohne Vorbedingung für 30 Tage fordern und Russland - sollte es sich nicht darauf einlassen - mit Sanktionen drohen. Dabei bekamen sie Unterstützung von US-Präsident Trump. Zumindest am vergangenen Wochenende standen die USA und Europa also seit dem Amtsantritt von Trump erstmals auf einer Seite, erklärt Anna. Ob der US-Präsident bei seiner Linie bleibt, sei aber nicht sicher. Gleichzeitig ist man vom Frieden im Ukraine-Krieg noch weit entfernt. Es gibt keine Anzeichen dafür, dass Putin Abstriche bei seinen Kriegszielen macht. Die Forderungen der Europäer hat Russland abgelehnt. Anna berichtet außerdem über die Bundesregierung, die über neue Waffenlieferungen für die Ukraine nicht mehr öffentlich sprechen will. Ein Grund: man möchte Russland im Unklaren lassen. Etwa 20 Kilometer von der russischen Grenze entfernt, im Südosten Estlands, findet derzeit die NATO-Übung "Griffin Lightning" statt. Von dort meldet sich Stefan Niemann. Er beobachtet das Manöver, an dem mehr als 27.000 Soldaten teilnehmen - darunter auch von der Bundeswehr. Ziel ist es, die multinationalen Kräfte der NATO und verschiedene Szenarien zu trainieren. Kokainvorwürfe gegen Merz und Co https://www.tagesschau.de/faktenfinder/merz-macron-starmer-kokain-100.html tagesthemen-Interview mit Friedrich Merz auf Kiew-Reise https://www.tagesschau.de/multimedia/sendung/tagesthemen/video-1465584.html Tweet von Emmanuel Macron: pic.x.com/qYTL0gQWFF Lob und Kritik, alles bitte per Mail an streitkraefte@ndr.de Alle Folgen von "Streitkräfte und Strategien" https://www.ndr.de/nachrichten/info/podcast2998.html

Die Themen im heutigen Versicherungsfunk Update sind: Oldtimer nur selten als Wertanlage gekauft Die Anschaffung eines klassischen Fahrzeuges dient nur wenigen Besitzern (15,0 Prozent) als Wertanlage. Stattdessen werden diese Automobile vor allem aus emotionalen Gründen gekauft: 44,5 Prozent der Befragten haben Oldtimer aufgrund ihrer emotionalen Bedeutung ausgewählt, 31 Prozent wegen des Designs und 23 Prozent wegen der historischen Bedeutung des Autos. Noch gravierender sind diese Gründe für die jüngere Generation. Hier kaufen 53,8 Prozent Oldtimer wegen der emotionalen Bedeutung und 46,5 Prozent wegen des Designs. Das sind die Ergebnisse einer Civey-Studie im Auftrag des Spezialversicherers Hiscox. Einsturz der Baltimore-Brücke wird Preise für Schiffsversicherungen steigen lassen Der Einsturz der Francis Scott Key Bridge und die anschließende Blockade des Hafens von Baltimore wird eine große Anzahl von Versicherungspolicen auslösen, darunter Schiffshaftpflicht- und Kasko-, Sach- und Frachtversicherungen sowie Betriebsunterbrechungen. Abhängig von der Dauer der Blockade und der Art der Betriebsunterbrechungsdeckung für den Hafen von Baltimore könnten sich die versicherten Schäden auf 2 bis 4 Milliarden Dollar belaufen. Damit überträfen sie die versicherten Rekordschäden der Costa Concordia-Katastrophe, schätzt Morningstar DBRS ein. Die Rating-Experten gehen zudem davon aus, dass die Schäden im Zusammenhang mit dem Einsturz der Baltimore-Brücke die Preise für Schiffsversicherungen weltweit weiter in die Höhe treiben werden. Pedelec-Unfälle enden öfter tödlich Auswertungen des Statistischen Bundesamtes zeigen, dass Unfälle mit Pedelecs häufiger tödlich enden als solche mit konventionellen Fahrrädern. Während im Jahr 2023 durchschnittlich 7,9 Pedelec-Fahrerinnen und Fahrer je 1.000 Unfällen mit Personenschaden ums Leben kamen, waren es bei den herkömmlichen Fahrrädern nur 3,6 Tote. Novis Versicherungen: Erlaubnis entzogen Die slowakische Versicherungsaufsicht Národná banka Slovenska (NBS) hat der Novis Insurance Company, Novis Versicherungsgesellschaft, Novis Compagnia di Assicurazioni und der Novis Poisťovňa a.s. die Erlaubnis zum Geschäftsbetrieb entzogen, berichtet das Portal Cash-online. Gesetzliche Unfallversicherung: Verdachtszahlen sinken Die Zahl der Anzeigen auf Verdacht einer Berufskrankheit ist 2023 um mehr als 60 Prozent zurückgegangen. Nach vorläufigen Zahlen wurden 144.641 Anträge eingereicht, wie die Deutsche Gesetzliche Unfallversicherung (DGUV) mitteilt. Das sind 60 Prozent weniger als im Jahr zuvor, als allerdings auch ein Rekord an Meldungen zu verzeichnen war (370.141 Meldungen). Einkommen und Inflation sind Hebel beim Sparen Das Meinungsforschungsinstitut INSA Consulere widmete sich der Frage: Unter welchen Voraussetzungen die finanzielle Vorsorge der Bundesbürger frischen Auftrieb erhalten würde. Die allermeisten Befragten würden dann (wieder) mehr sparen, wenn das Einkommen höher wäre. Dies trifft auf 60 Prozent zu. Knapp die Hälfte (44 Prozent) gab an, bei geringerer Inflation in die Rücklagenbildung zu intensivieren. Dagegen macht nur etwa jeder Dritte höhere Erträge (Zinsen oder Renditen) oder Garantien (sichere/garantierte Zinsen/Renditen) zur Vorbedingung für eine höhere individuelle Sparquote.

In dieser geführten Meditation stärkst du deine Intelligenz mit unausweichlichen Schmerzen umzugehen. Was sind unausweichliche Schmerzen? Zum Beispiel die Scham älter und hässlicher zu werden. Oder die Trauer über den Verlust eines geliebten Menschen. Oder die Angst vor der eigenen Vergänglichkeit. In dieser geführten Meditation lässt du den Schmerz zu und entwickelst Entspannung und Gelassenheit – die Vorbedingung für Intelligenz. Mehr lesen: Intelligente Entscheidungen treffen durch Meditation https://www.findyournose.com/intelligente-entscheidungen-treffen-meditation von Samarpan P. Powels, Herausgeberin von FindYourNose.

Human Nagafi Der Skit von Patrick und Daven waren sehr spannend, aber Human fragt sich wieder eine ganz bestimmte Frage: Unter der Bedingung, dass Kai denkt, er steht “auf der richtigen” Seite und will das Beste für “alle”, was muss die epistemische Vorbedingung sein, dass das was er sagt “moralisch” “gut” ist.

Trainiere dein Hörverstehen mit den Nachrichten der Deutschen Welle von Freitag – als Text und als verständlich gesprochene Audio-Datei.EU-Gipfel ringt um Einigung über Corona-Wiederaufbaufonds Die Staats- und Regierungschefs der 27 EU-Länder beraten an diesem Freitag auf einem Sondergipfel über den geplanten Wiederaufbaufonds für schwer von der Corona-Krise betroffene Staaten. Auch über den Finanzrahmen bis 2027 soll eine Einigung gefunden werden. Insgesamt geht es um ein Volumen von rund 1,7 Billionen Euro. Besonders umstritten ist das von der EU-Kommission vorgeschlagene 750-Milliarden-Euro-Paket für schnelle Corona-Hilfen. Vor allem die Zuschüsse und die Konditionen der Auszahlung sorgen für Zündstoff. Gespräche im Vorfeld des Gipfels brachten keine Annäherung. Kluft zwischen Serbien und Kosovo bleibt groß Nach eineinhalb Jahren haben Serbien und das Kosovo erstmals wieder direkte Gespräche unter EU-Vermittlung geführt. Der serbische Präsident Aleksandar Vucic warf dem kosovarischen Ministerpräsidenten Avdullah Hoti nach dem Treffen in Brüssel vor, unrealistische Forderungen zu stellen. Die Unterschiede in allen wichtigen Fragen seien im Moment zu groß, sagte Vucic. Das Kosovo hatte sich 2008 von Serbien losgesagt. Anders als die meisten EU-Länder erkennt die Regierung in Belgrad die Unabhängigkeit bis heute nicht an. Die EU macht dies aber zur Vorbedingung für einen Beitritt Serbiens. Karlsruhe entscheidet über Klagen gegen Datenweitergabe an Ermittler Das Bundesverfassungsgericht veröffentlicht an diesem Freitag eine Entscheidung zum staatlichen Zugriff auf persönliche Daten von Handy- und Internetnutzern. Polizei, Bundeskriminalamt und Nachrichtendienste dürfen für ihre Arbeit die sogenannten Bestandsdaten abfragen. Dazu gehören zum Beispiel Name, Anschrift und Geburtsdatum, nicht aber einzelne Verbindungen. In den zwei Klagen gegen Datenweitergabe wird kritisiert, dass der Zugriff schon bei Ordnungswidrigkeiten erlaubt ist. In bestimmten Fällen werden auch Passwörter und PIN-Nummern herausgegeben. Finanzminister Scholz schon 2019 über Verdacht bei Wirecard informiert Bundesfinanzminister Olaf Scholz soll bereits vor knapp eineinhalb Jahren über verdächtige Vorgänge beim Dax-Unternehmen Wirecard informiert worden sein. Der SPD-Politiker sei am 19. Februar 2019 darüber unterrichtet worden, dass die Finanzaufsicht Bafin "in alle Richtungen wegen Marktmanipulation ermittelt", schreibt die Frankfurter Allgemeine Zeitung. Wirecard hatte Ende Juni Insolvenz angemeldet, nachdem das Unternehmen eingestehen musste, dass in der Bilanz aufgeführte Barmittel von 1,9 Milliarden Euro nicht auffindbar seien. Berichte über neue Proteste im Iran Iranische Sicherheitskräfte sind Augenzeugenberichten zufolge mit Tränengas gegen Demonstranten in der Stadt Behbahan im Südwesten des Landes vorgegangen. Auch in anderen Städten - darunter in der Hauptstadt Teheran - gab es ein großes Sicherheitsaufgebot, wie auf Videos in sozialen Medien zu sehen war. Die Filme konnten nicht unabhängig überprüft werden. Im vergangenen Jahr hatten sich Demonstrationen wegen der schlechten Wirtschaftslage zu gewalttätigen Protesten gegen die Regierung entwickelt. Mehr als zwei Millionen Corona-Infizierte in Brasilien Mehr als zwei Millionen Menschen haben sich in Brasilien seit Beginn der Pandemie nachweislich mit dem Coronavirus infiziert. Das geht aus den Daten des Gesundheitsministeriums in Brasília hervor. Im größten Land Lateinamerikas starben bisher über 76.000 Menschen an oder mit dem Krankheitserreger. Nur in den USA wurden bislang mehr Corona-Infektionen und Tote registriert. Ex-VW-Manager soll aus den USA überstellt werden Ein US-Richter in Detroit hat der Überstellung des inhaftierten Ex-Volkswagen-Managers Oliver Schmidt nach Deutschland zugestimmt. Der heute 51-Jährige sollte eigentlich erst im Dezember 2022 aus der US-Haft entlassen werden. Die restliche Strafe wegen Verschwörung zum Betrug im Zusammenhang mit dem Diesel-Skandal soll er nun in Deutschland absitzen.

Serie WIE LEGEN WIR DIE BIBEL AUS? mit Pastor Mag. Kurt Piesslinger 2.URSPRUNG UND WESEN DER BIBEL Die Bibel kann nur verstehen, wer sich ihr vertrauensvoll nähert. Wer so handelt, wird dadurch reich belohnt werden. Merktext: 1.Thessalonicher 2,13 – Und darum danken wir auch Gott ohne Unterlass dafür, dass ihr das Wort der göttlichen Predigt, das ihr von uns empfangen habt, nicht als Menschenwort aufgenommen habt, sondern als das, was es in Wahrheit ist, als Gottes Wort, das in euch wirkt, die ihr glaubt. 2.5 Die Bibel im Glauben verstehen Vertrauen in Gottes Wort ist die entscheidende Vorbedingung, um gesegnet zu werden. Wir wünschen Ihnen Gottes Segen! Für Videoaufnahme: vimeo.com/405435532

Serie WIE LEGEN WIR DIE BIBEL AUS? mit Pastor Mag. Kurt Piesslinger 2.URSPRUNG UND WESEN DER BIBEL Die Bibel kann nur verstehen, wer sich ihr vertrauensvoll nähert. Wer so handelt, wird dadurch reich belohnt werden. Merktext: 1.Thessalonicher 2,13 – Und darum danken wir auch Gott ohne Unterlass dafür, dass ihr das Wort der göttlichen Predigt, das ihr von uns empfangen habt, nicht als Menschenwort aufgenommen habt, sondern als das, was es in Wahrheit ist, als Gottes Wort, das in euch wirkt, die ihr glaubt. 2.5 Die Bibel im Glauben verstehen Vertrauen in Gottes Wort ist die entscheidende Vorbedingung, um gesegnet zu werden. Wir wünschen Ihnen Gottes Segen! Für Videoaufnahme: https://vimeo.com/405435532

Zum Reformationstag hat Susanne Breit-Keßler die Menschen zu innerer Ruhe aufgerufen. Luthers Botschaft sage, dass jeder ohne jede Vorbedingung von Gott geliebt und akzeptiert werde. "Also Menschen müssen nicht unbedingt was leisten oder groß rauskommen, um wirklich akzeptiert zu sein", so die evangelische Theologin.

Was verändern 1.000 Euro monatlich ohne jede Vorbedingung oder Gegenleistung? Wird die soziale Kluft geringer? Sterben Berufe aus, die keiner gern macht? Wird überhaupt niemand mehr arbeiten? Werden wir alle glücklicher?

Hier werden Sie „kurz informiert“ mit Isabel Grünewald Neue Sicherheitslücken in Intel-Prozessoren Nach Spectre und Meltdown kommt der neue Seitenkanalangriff ZombieLoad, der die Abschottung der Speicherbereiche gleichzeitig laufender Prozesse überwindet. ZombieLoad-Malware kann Daten anderer Prozesse auslesen, selbst wenn diese in einer anderen virtuellen Maschine laufen. Vorbedingung ist allerdings, dass sowohl Malware als auch Angriffsziel auf demselben Prozessorkern laufen. Während die jüngsten Intel-Prozessoren vor ZombieLoad bereits geschützt sind, gibt es für ältere Microcode-Updates. Auch Betriebssysteme und Hypervisoren brauchen Patches. Christchurch Call soll Kampf gegen Online-Extremismus beflügeln Mehrere Regierungen und Konzerne haben in Paris den Christchurch Call unterzeichnet, eine unverbindliche Erklärung zum Kampf gegen Extremismus im Netz. Die USA fielen durch Abwesenheit auf. Der Christchurch Call ist eine Reaktion auf den Livestream der Ermordung von 51 Muslimen in der neuseeländischen Stadt Christchurch durch einen Einzeltäter. Die Unterzeichnenden wollen die Wurzeln von Terror und gewalttätigem Extremismus angehen: Durch Bildung und Kampf gegen Ungleichstellung sollen die Gesellschaften inklusiver und widerstandsfähiger werden. Medien sollen zur Einhaltung ethischer Standards ermuntert werden. Microsoft Paint mit neuen Tastaturkurzbefehlen Das Urgestein MS Paint ist doch nicht tot. Nun bekommt die Software sogar neue Funktionen, kleine nur, aber immerhin. Einige neue Eingabe-Funktionen sollen für mehr Barrierefreiheit sorgen. So lässt sich Paint künftig auch ausschließlich mit der Tastatur bedienen. Dadurch können auch körperlich eingeschränkte Nutzer, die keine Maus verwenden können, mit Paint Spaß haben. Trump verbietet Telekomgeschäfte mit Firmen "gegnerischer" Staaten US-Präsident Trump hat den Nationalen Notstand hinsichtlich der Telekommunikation ausgerufen. Die Maßnahmen richten sich gegen Huawei. Das US-Handelsministerium erklärte, dass es ausreichend Anlass zu der Annahme gebe, Huaweis Aktivitäten liefen den nationalen Sicherheitsinteressen oder außenpolitischen Interessen der USA zuwider. Wer US-Technik an Huawei verkaufen oder transferieren wolle, müsse dafür künftig eine Lizenz erwerben. Diese könne verweigert werden, wenn nationale Sicherheitsinteressen berührt seien. Diese und weitere aktuelle Nachrichten finden Sie ausführlich auf heise.de

Was verändern 1.000 Euro monatlich ohne jede Vorbedingung oder Gegenleistung? Wird die soziale Kluft geringer? Sterben Berufe aus, die keiner gern macht? Wird überhaupt niemand mehr arbeiten? Werden wir alle glücklicher?

Mein heutiger Interviewgast ist Ahmet Acar von der Hypoport AG. Wir sprechen darüber, wie Selbstorganisation in einem Unternehmen mit 1000 Mitarbeitern funktionieren kann. Dabei streifen wir die vier Hypoport-Prinzipien, Deep Work, Holokratie, Soziokratie, Achtsamkeit, das künftige Selbstverständnis von HR sowie die Zukunft der Arbeit in 10 bis 15 Jahren. Außerdem beschäftigen wir uns mit der Frage, warum Persönlichkeitsentwicklung eine zwingende Vorbedingung von Selbstorganisation ist. Hier geht's zur Webseite von Hypoport: Link Hier geht's zum Blog von People & Organisation (PnO): Link Hier geht's zum Buch von Cal Newport „Konzentriert abreiten“: Link iTunes Rezension Anleitung: http://superchargeyourlife.de/itunes-rezension-schreiben-anleitung So kannst Du mich bei Fragen oder Anregungen kontaktieren: mike.kaiser@mika-do.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

Die Tempel Griechenlands, die Kathedralen des Mittelalters – ohne Geld hätten diese Kunstwerke nicht entstehen können. Die Entwicklung des Geldwesens ist eine Vorbedingung für Blüte und Niedergang der Kulturen.

Global Studies 2011 | Symposium 10/19/2011-10/20/2011 Avantgarde im Brasilien der 1950/60er Jahre: Transkulturelle Verflechtungsprozesse und die Herausbildung von „Weltkunst“ In Brasilien muss die Herausbildung einer internationalen Kunst – also einer solchen, die unter einem möglichen globalen Kunstbegriff gefasst werden will – stets im Spannungsfeld zwischen kolonial konnotierter, nach europäischem Vorbild institutionalisierter Hochkunst, als Artesanía abgewerteter Kunst indigener und afrobrasilianischer Traditionen und dem Aufkommen einer immer stärker medial geprägten Massenkultur betrachtet werden. Letztere spielt deshalb eine wichtige Rolle, da sie die Zirkulation von Objekten, Bildern und kulturellen Praktiken stark vereinfacht und beschleunigt, gleichzeitig aber auch für die Institutionalisierung einer bestimmten Ästhetik sorgt, die zur Vorbedingung einer als global verstandenen Kunst wird. Die Kunstproduktion der 1950er Jahre ist in Brasilien von dem Dilemma geprägt etwas eigenes, spezifisch Brasilianisches zu schaffen, das die Bedürfnisse nach einer nationalen Identität ästhetisch verarbeitet, aber gleichzeitig für die internationale Kunstszene anschlussfähig ist, ohne dabei dem Vorwurf von Eklektizismus oder Nachahmung zu unterliegen. Internationale Anerkennung erfahren brasilianische Künstler/innen jedoch erst als sie in den 1960er Jahren in ihrer Kunst tropische Stereotype thematisieren, politische Repression und Marginalisierung anprangern, und sich Kunst in einer Art und Weise aneignen, die ganz den europäischen Erwartungen eines tropischen Landes entsprechen. Um über die Genese einer als global verstandenen Kunst in Brasilien zu reflektieren, möchte ich von einem methodologischen Spektrum ausgehen, das Kunst(objekte) in Verbindung mit sozialen Machtstrukturen betrachtet und einen theoretischen Referenzrahmen spannt, der sich zwischen postkolonialem Diskurs, Cultural Studies und theoretischen Begrifflichkeiten Pierre Bourdieus bewegt und daher interdisziplinär angelegt ist.

Die Immunantwort auf ein Verbrennungstrauma beginnt im Moment der Verletzung und resultiert in einer Monozytenaktivierung, die mit einer vermehrten Synthese und Ausschüttung von inflammatorischen Mediatoren einhergeht. Unter physiologischen Bedingungen dient ein ausgewogenes Zusammenspiel von pro- und antiinflammatorischen Zytokinen der Homöostase, wohingegen das Immunsystem nach massivem Trauma mit einer oft exzessiven Freisetzung proinflammatorischer Mediatoren reagiert. Patienten mit schwerer Verbrennungsverletzung sind daher hochgradig gefährdet ein ausgedehntes „systemic inflammatory response syndrome, (SIRS)“, d. h. eine maligne Ganzkörperinflammation, eine Sepsis oder eine Multiorgandysfunktion, assoziiert mit einer hohen Letalität, zu entwickeln. Eine überwiegend antiinflammatorische Immunantwort dagegen manifestiert sich als systemische Immundefizienz und Anergie mit einer signifikant erhöhten Infektionsanfälligkeit. Es besteht eine eindeutige Ursache-Effekt-Beziehung zwischen Trauma und Zytokinsystem. Mechanischer Stress führt zu schweren Störungen der Interaktion von Monozyten und T-Zellen mit der Folge einer schwerwiegenden Immundysfunktion, wobei PGE2 als einer der Hauptmediatoren der traumainduzierten Immundepression angesehen wird. Erhöhte PGE2-Spiegel sind mit einer reduzierten T-Zellmitogenese, IL-2-Produktion und IL-2-Rezeptorexpression korreliert und für eine Verschiebung der T-Helfer-Aktivität in Richtung eines dominierenden TH2 Phänotyps mit erhöhter Synthese der immunsuppressiven Zytokine IL-4 und IL-10 verantwortlich. Zytokine sind für die Kommunikation im Immunsystem, vor allem bei der Koordination einer Immunantwort durch T-Lymphozyten, von entscheidender Bedeutung. Als sezernierte Proteine waren sie bis vor kurzem der durchflusszytometrischen Analyse nur begrenzt zugänglich. Wir konnten sie wie in vorliegender Arbeit beschrieben in fixierten Zellen intrazellulär nachweisen, d. h. vor der Sekretion. Dieses Verfahren erlaubte es uns, die Expression der Zytokingene quantitativ, kinetisch, korreliert mit Oberflächenproteinen und auf die Einzelzelle bezogen analytisch zu erfassen, zumindest bis zur posttranslationalen Ebene. In peripheren mononukleären Blutzellen (PBMC) von 10 Patienten mit schwerer Verbrennungsverletzung (KOF >30%) und 15 gesunden Kontrollpersonen wurde die Zytokinsynthese mit Ionomycin und PMA polyklonal induziert und die Zellen anschließend mit fluorochromkonjugierten monoklonalen Antikörpern gegen IL-2, IL 4 und IFN-g, sowie gegen CD4-, CD8-, CD45RA- und CD45RO-Zelloberflächenantigene in unterschiedlichen Kombinationen gefärbt. Massives Verbrennungstrauma führte nach polyklonaler Stimulation der T Lymphozyten zu teils signifikanten systemischen Veränderungen der Zytokinexpression in den Kulturüberständen. Verglichen mit einer exzessiven IL-4 Freisetzung und stark erhöhter IL-10 Sekretion zeigten die IFN-g- und die IL-2 Synthese eine nur mäßige Steigerung gegenüber den gesunden Kontrollen. Wir sahen somit eine traumatisch induzierte Veränderung des Zytokinprofils in Richtung eines überwiegend TH2-artigen, immunsuppressiven Phänotyps. Diese Verschiebung von einer eher zytotoxischen (TH1) zu einer weitgehend humoralen und daher abgeschwächten Immunantwort ist mit einer erhöhten Infektionsanfälligkeit verbunden. Mit der durchflusszytometrischen Einzelzellanalyse gelang uns dann erstmalig die Identifikation der CD8+ Zelle, die ursächlich für die gesteigerten Syntheseantworten im posttraumatischen Verlauf verantwortlich ist. Die Synthesekapazität der CD4+ T-Helferzellen blieb nahezu unverändert. Eine Ausnahme bildete die prozentuale Abnahme IFN-g positiver Gedächtniszellen (CD45RO+) zugunsten einer zunehmenden Zahl IFN-g produzierender naiver T Helferzellen (CD45RA+). In der CD8+ Subpopulation kam es in der ersten Woche nach Verbrennungsverletzung zu einer signifikanten Steigerung der IL-2, IL-4 und IFN-g de novo Synthese, die interessanterweise bei weiterer, differenzierter Analyse eine positive Korrelation mit dem klinischen Verlauf ergab. Patienten, die verstarben, zeigten im Vergleich zu den Überlebenden signifikant erhöhte IL-4 und IL-2 Syntheseraten der CD8+ Zellen. Betrachtet man die IL-2 Synthese dieser CD8+ Zellen genauer, nahm nur die Zahl IL-2-produzierender CD8+CD45RA+ Zellen signifikant zu, verglichen mit dem Kontrollkollektiv, wobei beide Patientenkollektive an dieser Entwicklung partizipierten. Auch die IFN-g Synthese der CD8+CD45RA+ Subpopulation zeigte an allen Tagen post Trauma eine signifikante Zunahme gegenüber den Kontrollen ohne aber mit der Überlebensrate zu korrelieren. Dagegen war der prozentuale Anteil IFN-g produzierender CD8+ CD45RO+ Zellen von Verstorbenen signifikant gegenüber den Überlebenden reduziert und blieb auch an allen Untersuchungstagen deutlich hinter dem Kontrollniveau zurück, das von den überlebenden Patienten z. T. signifikant übertroffen wurde. Neben der funktionellen Charakterisierung über die Zytokinexpression (intrazellulär) kann der Aktivierungsstatus des Immunsystems durchflusszytometrisch auch über eine Oberflächenphänotypisierung ermittelt werden, ohne aber damit funktionell unterschiedliche Subpopulationen von T Zellen definieren zu können. Einen ersten Hinweis auf die Aktivierung des Immunsystems von Verbrennungspatienten erhielten wir über die signifikante Zunahme von IL-2Ra (CD25) tragenden T-Zellen in der ersten Woche nach Trauma. Aktivierte T-Zellen exprimieren darüberhinaus MHC-Klasse II-Moleküle und verschiedene Adhäsionsmoleküle, denen bei der Wechselwirkung der Zellen entscheidende Bedeutung zukommt. Akzessorische Moleküle erhöhen beispielsweise die Avidität der T-Zell-APC Interaktion und wirken kostimulatorisch. Wir konnten nach schwerer Verbrennungsverletzung eine verstärkte Expression des vorherrschenden T-Zellrezeptors (TCR) a/b und der akzessorischen T Zellmoleküle CD2, CD7, CD28, CD29 und CD80 nachweisen. Die Zunahme von CD28-Molekülen auf der Oberfläche von CD4+ und CD8+ T-Zellen ist besonders bemerkenswert, da mit zunehmender Signalstärke des über CD28 vermittelten Signals die Differenzierung einer T-Zelle auf die TH2-Entwicklung ausgerichtet wird. Die Aktivierung von T-Lymphozyten ist außerdem mit markanten Veränderungen im Expressionsmuster einzelner CD45 Isoformen verknüpft. Die Induktion der CD45RO Isoform und der Verlust von CD45RA waren beim Schwerstverbrannten besonders auffällig. Die durchflusszytometrische Bestimmung des Aktivierungsstatus des Immunsystems hat unseres Erachtens das Potenzial einer Standardmethode zur Ermittlung von Hochrisikopatienten mit deren Hilfe immunsupprimierte Patienten und solche mit SIRS und Sepsis unterschieden werden können. Die zentrale Vorbedingung für eine effektivere Sepsistherapie stellt eine verbesserte Diagnostik im Sinne kontinuierlicher zellbiologischer Informationen („Online-Monitoring“) am Krankenbett dar, um die meist sehr schnell wechselnden immuninflammatorischen Zustandsbilder direkt zu erkennen und einer zeitgerechten, individuell adaptierten Behandlungsintervention zuzuführen.

Tue, 1 Jan 1991 12:00:00 +0100 http://epub.ub.uni-muenchen.de/2470/ http://epub.ub.uni-muenchen.de/2470/1/2470.pdf Heller, Kurt A.; Hany, Ernst A. Heller, Kurt A. und Hany, Ernst A. (1991): Freizeitgebundene Technikerfahrungen von Kindern und Jugendlichen als Vorbedingung für technische Kreativität. In: VDI - Technologiezentrum Physikalische Technologien (Hrsg.), Technikfolgenabschätzung: Projektpräsentation zum Förderschwerpunkt Wechselwirkung zwischen Arbeit, Technik und Freizeit. BMFT: Bonn, pp. 23-27.