Triviality

According to the Nobel Prize-winning physicist Richard Feynman  (1985), any theorem, no matter how difficult to prove in the first place, is viewed as “trivial” by mathematicians once it has been proven. Therefore, there are exactly two types of mathematical objects: trivial ones, and those which have not yet been proven.

From MathWorld

A present for the real mathematicians that stay at home

A course in universal algebra 

Is the systems theory an axiomatic theory?

Thats the formal question that Sebastian, unce upon a time, told to some known teacher.

Yo soy Dario Lemos

Yo soy de nombre y apellido dariolemos. Todo el mundo cree que dice una gran verdad cuando declara que existe.Yo digo para contrariar la verdad que yo no existo. Mido 1,76 en verano y 1,78 en invierno. Soy la dimensión de las estaciones. A veces, cuando no tengo que pensar, mido por kilómetros la angustia y la inutilidad de vivir.
Visto simplemente, sin exageraciones, con un formidable desdén por la moda. Tengo chaqueta de aviador que nunca estuvo en la guerra.
Vivo de la poesía, o mejor, la poesía vive de mi. Nunca tengo dinero, ni me interesa. Tengo en cambio abundantes amigos que pagan por mí en tributo a mi genio y a la amistad que les concedo por minutos, pues nadie es digno de mi compañía.
Las mujeres se derriten de deseos bajo este sol tropical, porque yo cobro las miradas y los besos a precios muy altos y generalmente en dólares.
¿Qué más puedo decir de un poeta excepcional como yo?
Bailo rock and roll cuando la marihuana relaja mis músculos… De noche, cuando la ciudad duerme, me provoca asaltar a los ciudadanos, abofetearlos y gritarles que van a morir que desocupen la soledad, esos dominios de la poesía en los que me paseo como un emperador.
En síntesis, soy un poeta sin antecedentes, y no dejaré sucesores. Conmigo nace y muere la poesía. No diré otras cosas porque no duermo esta noche.
¡Ah, se me olvidaba decir que no amo a nadie, y que nada me interesa!

Dario Lemos

What is yours Erdos number?

http://en.wikipedia.org/wiki/Erdos_number

Master theses options

Some ideas for my master thesis could became from here:

Max Planck Institute for Software Systems – Distributed systems and operating systems
Max Planck Institure for Informatic – Programming logics department – Program analysis and verification group
Software engineering chair – Security group – Saarland Univeristy
Institute for computer architecture and parallel computing – Saarland University

but the most important thing now is obtain good grades in this subjects:

Computer architecture
Verification
Language based security
Automata, games and verification
Security and privacy on decentralized networks

IMPRS printer working

jalvarez@rocinante:~$ cat .cupsrc
ServerName cups.mpi-sb.mpg.de
jalvarez@rocinante:~$ cat .lpoptions
Default imprshp42501

Konstanz and Meersburg

I went to Konstanz and Meersburg on weekend, so the pictures are here

Camera working on Debian Sid

Finally I got that my camera Kodak CX7330 works on Debian Sid, is pretty easy as all that is finally done, you should do:

apt-get install gphoto2
gphoto2 –auto-detect
gphoto2 -l
gphoto2 -P

The other option is using gphotofs:

apt-get install gphotofs
gphotofs /media/camera

Thats all, so finally you can see on my photo section all the photos taken during my arrival to Saarbrücken and other good stuff.