Dipl.-Math. Patrick Braselmann
Mathematisches Institut
Rheinische Friedrich-Wilhelms-Universität
Bonn
Beringstraße 1
53115 Bonn, Germany
Office: Be4Zi43
Phone: 0228 / 73 - 6863
E-mail: brasel@math.uni-bonn.de
Wissenschaftliche Hilfskraft in der
Interfakultären Forschergruppe "Wissensformate":
Teilprojekt I.2 (Koepke):
Darstellungsformen mathematischer Beweise.
Diplomarbeit (2002):
"Iterierte Ultrapotenzen und 0#"
Research
Formalization of the Gödel Completeness Theorem in Mizar
Submission of seven Mizar-Articles to the Mizar Mathematical Library
Talks
Patrick Braselmann, Peter Koepke: A formal proof of the Gödel completeness
theorem, Colloquium Logicum 2004, Heidelberg
Teaching
SS 2004: Zuständig für den Übungsbetrieb der Vorlesung
"Einführung in die Mathematische Logik"
Last changed: Oktober 15th, 2004