I always wanted to know a little bit more about the tenure process and this post cleared most of my doubts.

We have nothing like that here in Brazil, at least not in public federal universities, such as the one where I work.

Adolfo

]]>One problem with CS is that it’s horribly hard to prove anything substantial.

]]>What is 1 – 1 + 1 – 1 … ?

Let 1 – 1 + 1 – 1 … = C

Then C = 1 – (1 – 1 + 1 – 1 …) => C = 1 – C => C = 1/2.

But you can prove C = 1/4 etc. using the same “technique”. ðŸ™‚

]]>A lot of problems in geometry arise because you draw things incorrectly, for example https://www.youtube.com/watch?v=Yajonhixy4g. The feel when you discover the reason for your problem is your own drawing disability was horrible for me. ]]>

for a more comprehensive view take a look at “A Concise Introduction to Mathematical Logic” or the Coq or Isabelle proof assistants

]]>