Martin Geisler Online

I’ve now had my first week at University of Aarhus and I’m slowly getting back into study-mode. My first expressions is that DAIMI:dModLog is going to be a lot of fun, DAIMI:dDist also looks promising and Analyse 1 is a bit old-fashioned. Our books is Real Analysis by H. L. Royden from 1963 (we use the third edition from 1988). So the notation is somewhat strange: The for-all symbol (a flipped A: ∀) isn’t used but the there-exists symbol (a mirrored E: ∃) is, he uses & to mean logical “and” but the normal v-shaped symbol to mean logical “or”.

I’ve been working lately on fixing PhpWiki so that it’s possible to export the pages to static XHTML pages. Most of the code is already there, I’m just fixing some errors to make it usuable. With that in place, it would be easy to setup a cronjob to periodically make a tarball with GimpsterDotCom, should anybody be interested in such a thing…

Also, with static pages PhpWiki suddenly becomes a powerful general-purpose tool for making websites. I’ve been hired to redo this website and expect to use PhpWiki for that. The homepage for DK-TUG (http://tug.dk/) will probably also get a dose of PhpWiki.

This entry was posted 2 years, 10 months ago on Tuesday, February 11th, 2003 at 15:58 and is filed under Personal, Computing, Books. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.