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.