Podcasts about abstraktionsgrad

Marlene kommt vom Land und lebt nach einigen Stationen in Städten heute wieder auf dem Land. Sie ist wohlbehütet mit ihren beiden Geschwistern in Salzburg in einem kleinen Ort aufgewachsen. Ihren Eltern war Bildung immer wichtig und sie haben ihren Kindern alle Wege ermöglicht. Wichtig war ihnen stets, dass sie an den Dingen dranbleiben und diese auch fertig machen. Marlene hat leicht gelernt und ist gerne zur Schule gegangen. Vorrangig waren ihr die sozialen Kontakte wichtiger als die Lerninhalte, wie wahrscheinlich bei vielen von uns auch. Ihre Mutter war schon damals leidenschaftliche Pädagogin und wirkte als Vorbild, ebenso wie ihre ältere Schwester, die ebenfalls in diesem Bereich tätig ist. Marlene begann ebenso an der pädagogischen Hochschule zu studieren und hat schon sehr früh Praxiserfahrungen gesammelt. Durch diese Erfahrungen und Weiterbildungen, die sie bereits während des Studiums absolviert hat, hat sie viele der Methoden und Lerninhalte im Studium hinterfragt und wollte die Zusammenhänge genauer verstehen. Ihre Bachelorarbeit hat sie deshalb genutzt, um dem Thema des körperbasierten Lernens genauer nachzugehen. Sie hatte eine Einzelfallstudie durchgeführt und es ließen sich beachtliche Erfolge nachweisen. Das motivierte Marlene weiter zu forschen. Beim körperbasierten Lernen geht es darum, dass Inhalte, die durch Bewegung gelernt werden, besonders nachhaltig gespeichert werden. Buchstaben und Zahlen sind bereits ein hoher Abstraktionsgrad, der nicht von allen Kindern einfach begriffen werden kann, obwohl das Gehirn sehr viel selbst kompensieren kann. Marlene hat viele Erfahrungen in Kindergärten, Schulen oder im Hort gemacht und irgendwann entschieden, dass sie sich in die Materie noch mehr vertiefen möchte. Sie ging nach Wien, um Bildungswissenschaften zu studieren. Zu dieser Zeit ist sie auch bei KUL – Körperbasiertes Unterrichten und Lernen – eingestiegen, welches ihre Mutter und Schwester gestartet hatten. So hat sie u.a. Workshops gegeben für Pädagoginnen, hatte aber auch hier bald das Gefühl noch mehr zu wollen. Heute gibt sie ihr Wissen an Studierende weiter, denn Marlene hat schließlich auch noch promoviert und ist heute Professorin für Deutschdidaktik an der Pädagogischen Hochschule in Klagenfurt. Ihr Wissen und ihre Erfahrung haben die drei gemeinsam in einer Lehrbuchserie festgehalten, die laufend erweitert wird. Marlene lebt heute mit ihrer Frau und ihrem Sohn am Faakersee. Sie lieben es draußen und in der Natur zu sein. Durch ihre Stadt-Wohnung in Wien können sie die Vorteile beider Welten genießen. Sie haben beide für sich das gefunden, was sie sich immer gewünscht haben. Dazu gehören neben ihren erfüllenden Jobs, die sie beide sehr schätzen, auch gemeinsame Werte, Familie und ein Kind. Bei der Karenzzeit für ihren Sohn Theo kann Marlene erstmals einen Vorteil eines gleichgeschlechtlichen weiblichen Elternpaares ausmachen, da bei zwei Frauen eine geteilte Karenz nicht hinterfragt wird. Sie lieben beide ihren Sohn über alles, schätzen aber auch ihre Jobs. In diesem Zusammenhang geht Marlene auch auf jene Sichtweisen ein, die uns aufgrund unserer Sozialisation mitgegeben wurden. Dies führt sie auch zum Thema Altersarmut von Frauen und sie ist überzeugt, dass Frauen mehr über ihre Finanzen nachdenken sollten. Abschließend verrät sie uns noch, dass sie dankbar ist für alles, was sie hat, frei nach einem Zitat von Erich Fromm, welches bei ihr im Büro hängt: „Glück ist kein Geschenk der Götter, sondern die Frucht innerer Einstellung.“

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

Wed, 09 Jul 2014 05:20:00 +0000 https://podcastdb29a3.podigee.io/124-warum-wahrheit-so-gefahrlich-ist 75f12406177c3508218f7d9e13f58e70 Diesen Cartoon können Sie kaufen. In Diskussionen geht es meist darum, wer Recht hat. Und jeder liefert passende Argumente, um seine Position zu untermauern. Israelis und Palästinenser. Sunniten und Schiiten. Linke und Rechte. Sogar Wissenschaftler über das selbe Thema. Egal, welche Argumente wir anführen. Wir können Wahrscheinlichkeiten bestimmen. Aber niemals die Wahrheit finden. Sogar in der Mathematik wird es ab einem bestimmten Abstraktionsgrad wenig exakt. Hören Sie mehr dazu auf diesem Podcast. Diesen Beitrag können Sie auf meinem Persönlichkeits-Blog nachlesen. Wollen Sie meinen Newsletter abonnieren? Einfach hier klicken ... und Ihre eMail-Adresse eintragen. Bild: www.cartoon4you.de 124 full no Roland Kopp-Wichmann

Diesen Cartoon können Sie kaufen. In Diskussionen geht es meist darum, wer Recht hat. Und jeder liefert passende Argumente, um seine Position zu untermauern. Israelis und Palästinenser. Sunniten und Schiiten. Linke und Rechte. Sogar Wissenschaftler über das selbe Thema. Egal, welche Argumente wir anführen. Wir können Wahrscheinlichkeiten bestimmen. Aber niemals die Wahrheit finden. Sogar in der Mathematik wird es ab einem bestimmten Abstraktionsgrad wenig exakt. Hören Sie mehr dazu auf diesem Podcast. Diesen Beitrag können Sie auf meinem Persönlichkeits-Blog nachlesen. Wollen Sie meinen Newsletter abonnieren? Einfach hier klicken ... und Ihre eMail-Adresse eintragen. Bild: www.cartoon4you.de Folge direkt herunterladen

Diesen Cartoon können Sie kaufen. In Diskussionen geht es meist darum, wer Recht hat. Und jeder liefert passende Argumente, um seine Position zu untermauern. Israelis und Palästinenser. Sunniten und Schiiten. Linke und Rechte. Sogar Wissenschaftler über das selbe Thema. Egal, welche Argumente wir anführen. Wir können Wahrscheinlichkeiten bestimmen. Aber niemals die Wahrheit finden. Sogar in der Mathematik wird es ab einem bestimmten Abstraktionsgrad wenig exakt. Hören Sie mehr dazu auf diesem Podcast. Diesen Beitrag können Sie auf meinem Persönlichkeits-Blog nachlesen. Wollen Sie meinen Newsletter abonnieren? Einfach hier klicken ... und Ihre eMail-Adresse eintragen. Bild: www.cartoon4you.de

In seinen Schwarzaquarellen legte er Schicht um Schicht schwarze, fast transparente Farbe auf das Blatt und gelangte in der Überlagerung der Schichten zu einer nuancierten Abstufung von Hell und Dunkel. In «Eimer und Giesskanne» von 1910 führt er dieses Verfahren mit sanften Aquarellfarben weiter. Er setzt auch hier beinahe transparente Schichten von Farben neben und vor allem übereinander. Dabei verflüchtigt sich das Motiv allmählich in der Flächigkeit des Farbauftrags.Die Detailzeichnung fehlt vollständig. Das Flüchtige der Komposition und sein hoher Abstraktionsgrad erinnern an japanische Tuschmalerei.

Hier sind wir wieder, zurück aus der Sommerpause und wieder eingeschworen auf unseren wöchentlichen Rhythmus. Die erste reguläre Folge dreht sich gleich um ein Thema, das uns von Hörern auf unserer Facebookseite vorgeschlagen wurde: Es geht um die Tendenz, dass … Weiterlesen →

In dieser Arbeit zur Marmorinkrustation öffentlicher, stadtrömischer Architektur werden zunächst die Techniken rekonstruiert, die eingesetzt wurden, um die Wandverkleidungen an der Wand zu befestigen. Diese detaillierte Kenntnis der Arbeitsvorgänge macht es möglich, allein aufgrund der Spuren in den Ziegelmauern von Gebäuden auf das ursprüngliche Erscheinungsbild der Inkrustationen zu schließen. Durch eine transparente Darlegung der Befunde wurde die Vergleichbarkeit der unterschiedlich detailliert erhaltenen Befunde gewährleistet. Die Methode wurde zur Rekonstruktion der aussagekräftigsten Befunde aus dem Zeitraum zwischen dem 1. Jahrhundert v. Chr. und dem 7. Jahrhundert n. Chr. in Rom angewandt. Es wurde das Aussehen der jeweiligen Gliederungsschemata beschrieben, rekonstruiert und analysiert; Kriterien hierfür waren die Stellung der Dekoration in ihrem Verhältnis zu anderen Inkrustationen, ihre Farbigkeit, das Verhältnis der Dekorationsschemata zu real-statischen Zusammenhängen, der Abstraktionsgrad sowie die soziale Dimension der Inkrustationen, welche auch anhand der antiken Quellen erschlossen werden konnte.