Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Faculty of Science logo extended with Löb's Theorem

Recently the logo of the Faculty of Science of UvA has been adapted by incorporating items which are significant for the Institute for Logic, Language and Computation (ILLC) and for the Korteweg-de Vries Institute (KdVI). For ILLC the formula □(□A→A)→□A expressing Löb's Theorem was added. Related to KdVI the KdV equation ut + uxxx + 6uux= 0 was added.

See the new logo in bigger size on http://tinyurl.com/bsozo7q and see the old logo on http://tinyurl.com/box77xp.
For Löb's Theorem see http://en.wikipedia.org/wiki/L%C3%B6b%27s_theorem. For the KdV equation see references in
http://www.science.uva.nl/math/About/founders.html.

Please note that this newsitem has been archived, and may contain outdated information or links.