## Archive for the ‘**Matemáticas**’ Category

## Cum hoc ergo propter hoc

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

## Proofs

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:

## Stuck for a while

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:

- 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“
- Parallel prefix computation for conversion between unary and halfunary bit vector encodings: The ligth for this problem came from here
- Fanout: This one is not so complicated but this link is usefule anyway.

## Is the systems theory an axiomatic theory?

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

## La legibilidad de un texto se puede cuantificar

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