Posludio

"Aquello que termina o sirve de finalización a algo"

Archive for the ‘Matemáticas’ Category

Cum hoc ergo propter hoc

leave a comment »


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

Advertisements

Written by jalvarez

2008/09/06 at 15:38

Posted in Delirios, Matemáticas

Proofs

with one comment


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

Written by jalvarez

2006/11/10 at 15:03

Posted in Matemáticas

Stuck for a while

leave a comment »


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.

Written by jalvarez

2006/11/03 at 14:06

Posted in Matemáticas

A present for the real mathematicians that stay at home

with one comment

Written by jalvarez

2006/10/20 at 17:36

Posted in Matemáticas

Is the systems theory an axiomatic theory?

leave a comment »


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

Written by jalvarez

2006/10/20 at 17:14

Posted in Matemáticas

What is yours Erdos number?

with one comment

Written by jalvarez

2006/10/19 at 21:09

Posted in Matemáticas

La legibilidad de un texto se puede cuantificar

leave a comment »


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

Written by jalvarez

2006/05/20 at 12:01