Homepage of Julian SchlöderMathematicsI was an intern and later a student assistant at the Naproche Project. My internship report is available for download. I worked out a formalized proof of the Gödel completeness theorem for arbitrary, overcountable languages using the Mizar System. I will submit it to the Mizar Mathematical Library (MML) soon. In the winter semester 2010/2011 I attended a seminar about concrete incompleteness in the Peano arithmetic. The notes to my presentation about the Paris-Harrington principle may be downloaded (in german) here. They are derived from Model Theory: An Introduction by David Marker, Springer, 2002. In the summer semester 2009 I attended a seminar about analytical number theory and the Riemann Zeta Function. The notes to my presentation about the zero-points of the Riemann Zeta Function may be downloaded (in german) here. They are derived from Zahlentheorie by H. Koch and H. Pieper, Deutscher Verlag der Wissenschaften, 1976. ProgrammingI am a member of a small team working on a feature-rich, expandable and modular IRC-Chatbot called Roger. It is implemented in pure Python. Roger is still under development and to my knowledge there has been no "stable" relase yet.
In order to run a small wiki-like software on my homerouter (a Linksys WRT 54gl running OpenWrt) without wasting space on an interpreter or having to crosscompile anything I wrote wici - a small collection of shellscripts to provide wiki-like functionality in a CGI-webserver. It supports basic markup (underline, italics, bold, internal and external links), creation and deletion of pages and a basic search function. It does not support images in the text or any kind of user-management (this should be done by the webserver). Contact InformationEmail: julian.schloeder (et) uni-bonn.de (obviously the (et) needs to be replaced by @) |