Doktorand der Philosophie an der UNICAMP, Logiker und Informatiker. Ich spreche noch kein Deutsch, daher werden die Updates auf Deutsch langsam sein.