Lo imposible (de Fernando Orejas)

2 de Marzo de 2013, ha tenido 379 vistas


Alan Turing

En su famoso artículo de 1936, del que ya se ha hablado en otras entradas de este blog, Turing hacía varias cosas notables. Primero, definía un modelo de máquina (la máquina de Turing) que permitía dar una definición matemática, y  cercana a la intuición, de qué es lo computable. Segundo, demostraba que había una "maquina universal" que podía tomar otras máquinas como datos y comportarse como ellas. Finalmente, demostraba que hay problemas (matématicos) que ninguna máquina podría resolver, que son no computables o indecidibles.

Etiquetas utilizadas: , , , ,

Leer mas »

Mapas semánticos: clasificación y representación

15 de Enero de 2013, ha tenido 2227 vistas

El problema de la clasificación de objetos es, a grandes rasgos, uno de los problemas centrales de la investigación y donde, quizás de forma más clara, podemos observar la posible mezcla de metodologías provenientes de diversas áreas de estudio.

Etiquetas utilizadas: , , , ,

Leer mas »

Clustering por K-medias

15 de Enero de 2013, ha tenido 10344 vistas

 El algoritmo de las K-medias (presentado por MacQueen en 1967) es uno de los algoritmos de aprendizaje no supervisado más simples para resolver el problema de la clusterización.

El procedimiento aproxima por etapas sucesivas un cierto número (prefijado) de clusters haciendo uso de los centroides de los puntos que deben representar. Aunque se puede probar que este algoritmo siempre termina, no siempre la distribución que se alcanza es la más óptima, ya que es muy sensible a las condiciones iniciales.

Etiquetas utilizadas: , ,

Leer mas »

Algoritmo A*

15 de Enero de 2013, ha tenido 2736 vistas

El algoritmo de búsqueda A* se clasifica dentro de estos algoritmos de búsqueda informada. Fue presentado por primera vez en 1968 por Peter E. Hart, Nils J. Nilsson y Bertram Raphael, siguiendo el esquema de utilizar una función heurística junto a el calculo del coste real del camino recorrido, y siempre y cuando se cumplan unas determinadas condiciones, calcula el camino de menor coste entre el origen y el objetivo.

Etiquetas utilizadas: , , ,

Leer mas »

Topics Navigator

7 de Enero de 2013, ha tenido 204 vistas

Topics Navigator is a prototype model to experiment with some uses of graphs and hypergraphs for storing, recovering and analyzing connected information.

Etiquetas utilizadas: , , , ,

Leer mas »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Teoría de la Computabilidad... ¿extinguida?

6 de Diciembre de 2011, 289 vistas

A pesar de que con los nuevos planes de estudio asignaturas como TCO (Teoría de la Computabilidad) se dan por extinguidas, espero que su utilidad siga existiendo por medio del canal de yutzu que se está preparando para ir colgando su contenido (que no es mío, sino la labor conjunta de muchos profesores de este departamento).

Etiquetas utilizadas: , ,

¿Puede existir Matemática sin Computación?

20 de Noviembre de 2016, 548 vistas

Esta entrada no va a ser un alegato en favor de la computación como rama de la matemática... no es necesario, la computación está suficientemente bien fundamentada (al mismo nivel que el resto de áreas clásicamente centrales en la disciplina) como para que no necesite ningún tipo de justificación o apoyo por parte de nadie. Pretendo solo enfatizar mi extrañeza acerca del desconocimiento dentro del mundo matemático más clásico (y el dominante en la mayoría del universo humano matemático, sobre todo en un país matemáticamente "adormecido" como España) de lo que la computación, en toda su amplitud, supone para el conjunto de la matemática, en sus ramificaciones más fundamentales o no. Tampoco se podrá encontrar aquí nada relacionado con las herramientas computacionales de ayuda al resto de disciplinas matemáticas... se trata la computación como área, no como herramienta.

Etiquetas utilizadas: , , , ,