Posludio

De la psicometria, a la correlación, de la correlación al monstruo volador de espagueti y a la conocida relación entre el numero de piratas y la degradación de la capa de ozono, encontré que para la confusión entre correlación y relación causa-efecto existe una conocida falacia lógica documentada

Trying to face my biggest weaknesses I found these very good papers about building and writing proofs, one of them was written by Leslie Lamport, that for my surprise works now at Microsoft Research. In the Lamport’s paper he claims for a need to structured language to build mathematical proofs more readable and less error prone:

1. Introduction to mathematical arguments
2. How to write a proof
3. Structuring mathematical proofs

In the recent three weeks I had homeworks like for a whole Colombian semester.  Additionally, I was stuck for a couple of days with these things:

1. Operational semantics: The light for the problem was this Catalin’s sentence:  “… all rules directly apply to the whole term, some of them however (the descent rules) allow you to reduce the whole term by reducing a subterm, when reducing the subterm however … you still apply the rules to the whole thing“
2. Parallel prefix computation for conversion between unary and halfunary bit vector encodings:  The ligth for this problem came from here
3. Fanout:  This one is not so complicated but this link is usefule anyway.

A course in universal algebra 

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

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

http://en.wikipedia.org/wiki/Flesch-Kincaid_Readability_Test. ¿Sera posible autenticar un texto a partir de dicho indice? ¿Cada persona tendra un rango?