The opinion which is fated to be ultimately agreed by all who investigate, is what we mean by the truth, and the object represented in this opinion is the real.
Experience comes from bad judgment.
Reserve your right to think, for even to think wrongly is better than not to think at all. I am a PhD student at the Computing Science Institute at the University of Nijmegen in the Netherlands. I work in the Foundations group led by Henk Barendregt , who is also my supervisor. I am also a member of the Logic Group at the University of Padova in Italy, where I graduated in 1996. My current fields of interest are Mathematical Logic, Type Theory, Functional Programming, Computer Algebra, Constructive Mathematics.