Fach: Mathematik und Informatik
Abstract
In der vorliegenden Arbeit werden die beiden Gödelschen Unvollständigkeitssätze vorgestellt und die diesen Theoremen zugrundeliegenden mathematischen Prinzipien erläutert und schliesslich ihre Beweise skizziert. Erklärtes Ziel war, die Gödelschen Unvollständigkeits-sätze mathematisch möglichst präzise zu durchdringen. Diese Sätze der mathematischen Logik, die hinreichend starken mathematischen Theorien gewissermassen ihre Grenzen aufzeigen, gehören fraglos zu den bedeutendsten Errungenschaften dieser mathematischen Disziplin.
Auf ganz beeindruckende Weise und mit grossem didaktischem Talent hat es Ali Gottschall verstanden, im Rahmen seiner Maturitätsarbeit auch hochkomplizierte Sachverhalte sehr anschaulich zu illustrieren. Von der eigenständigen, intrinsisch motivierten Themenwahl über den vollkommen selbständig organisierten Arbeitsprozess bis hin zum Verfassen der aussergewöhnlich anspruchsvollen und auch didaktisch herausragenden schriftlichen Arbeit ist Ali Gottschall ein Paradebeispiel einer Maturitätsarbeit gelungen, die fraglos auch den Ansprüchen einer Bachelorarbeit in der Mathematik genügen würde.
