Entwicklung eines Beweises in Minlog

Published on

Diese Arbeit entstand für das Seminar Rechnerischer Gehalt von Beweisen. In dieser Arbeit wird der Satz, dass injektive Abbildungen von endlichen Mengen {1,...,n} auf sich selbst surjektiv sind, in mehreren Versionen geführt. Ziel dieser Arbeit ist der Beweis der Aussage in Minlog, einem in Scheme geschriebenes Programm zur Beweisführung. Außerdem wird aus dem Beweis ein Programm extrahiert, welches das Urbild von Funktionswerten berechnen kann.

Dateien zum Download

Contact

If you want to send me feedback, comments or corrections, you can write me an email to . You can also visit my contact page, where you will find other possibilities for contacting me.

About this article

Similar articles

  • How to compare infinite sets of natural numbers, so that proper subsets are also strictly smaller than their supersets

    Published on

    Are there really as many rational numbers as natural numbers? You might answer “Yes” but a better answer would be “It depends on the underlying order relation you use for comparing infinite sets”. In my opinion there really is no reason why we should consider Cantors characterization of cardinality as the only possible one and there is also a total order relation for countable sets where proper subsets are also strictly smaller than their supersets. In this article I want to present you one of them.

  • Bachelorarbeit zur ε-ungefähren Analysis

    Published on

    Die „ε-ungefähre Analysis“ ist eine alternative Theorie der Analysis, die ich im Rahmen der Bachelorarbeit in Mathematik entwickelt habe. Das Besondere an ihr: In dieser Theorie ist es möglich auszudrücken, wann zwei Zahlen ungefähr gleich sind. Das erweitert nicht nur das klassische Konzept, welches nur Gleichheit und Nichtgleichheit von Zahlen kennt, sondern bietet auch eine völlig neue Sichtweise auf die Analysis. Konzepte wie Grenzwert, Stetigkeit und Differenzierbarkeit können dann neu und aus meiner Sicht intuitiver formuliert werden.

    Gleichzeitig ist die Theorie nicht schwer zu verstehen und ich habe mich insbesondere darum bemüht, die Bachelorarbeit so zu schreiben, dass die dargestellte Theorie möglichst schnell und einfach verstanden werden kann. Studenten ab dem 2. Semester sollten diese Arbeit ohne große Probleme lesen können.