Ya habran notado que navegar a lo largo y ancho de esta red es uno de mis hobbies favoritos, y no es para menos, he encontrado información realmente valiosa que dificilmente podria adquirir en la universidad, en un libro o de una persona frente a frente; Los Blogs, sobretodo, contienen información que carece en gran parte de formalidad académica pero resultan útiles para un novato como yo, uno de ellos es Monadically Speaking: Adventures in Programming Language Theory del cual he sacado una pregunta genial: ¿Es encontrar posible un algoritmo para diseñar, implementar y crear algoritmos?. En caso de que lo halla, ¿habria otro algoritmo que respondiera a las mismas cuestiones del primero?, Una respuesta vaga podria ser: «Desde luego, al ser este un conjunto preescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permitiria realizar una actividad mediante pasos sucesivos, los cuales no generarian dudas a quien deba realizar dicha actividad, el algoritmo podria darse», ¿No es entonces un conjunto finito? y por finito me refiero a que tiene fin, a que algun día parará o tendra como cardialidad un número natural pero parece ser que el «meta-algorimo» del que hablo me lleve a esa definición, aun mas, solo me permite dudar si los algoritmos necesariamente deben ser finitos.
lambdaunivalle.wordpress.com 