Felix Maocho

Para quien le interese lo que a nosotros nos interesa

Robótica – Manual en pdf de robots hechos con Lego

Por Félix Maocho
31/1/2012

He encontrado un manual para la construcción de robots hechos con Lego para personas con un nivel medio-bajo de experiencia tanto en construcción de robots como de Lego que puede ser de utilidad a quienes deseen iniciarse en esta actividad.

En esta guía encontrarán información para construir tres diferentes modelos de sistemas automáticos, que representan cada uno de ellos una rama de la robótica:

Un “brazo robótico”,  como el que se ve a la izquierda, el modelo más común de la robótica industrial, básico pero como los que podemos encontrar en cualquier cadena de montaje, un “movility robot” o equipo capaz de desplazarse entre dos puntos sorteando los a obstáculos que encuentre en su camino, y la “maquina de Turig”, un modelo físico y real, del modelo teórico con el que Turing demostró, que existía la posibilidad de construir una máquina capaz de resolver todos los problema, excepto aquellos que una máquina, jamás podrá resolver

Sigue leyendo

31 enero 2012 Posted by | Robotica | , , | 2 comentarios

Robótica – La Maquina de Turing hecha con Lego

Por Félix Maocho
22/6/2011

Circulaba de antiguo entre los matemáticos una duda, si existía un método que pudiera aplicarse sistemáticamente a cualquier sentencia matemática, que nos informara si esa sentencia es cierta o no.

Es decir si yo por ejemplo escribo 3+2=4 ¿Hay un método que se pueda aplicar para demostrar que la anterior sentencia es falsa y que además sea universal, es decir, que se puede aplicar a cualquier sentencia matemática para que nos indique si la sentencia es cierta o falsa?.

En palabras de matemáticos, esto se llama “saber si las matemáticas son decidibles”, si existe ese método son “decidibles” y si no existe no son “indecibles”. De ahí la importancia de poder contestar a esa pregunta.

Para contestar a esa duda, en 1936, Alan Turing  en un artículo denominado On Computable Numbers, diseñó un modelo conceptual de computador, al que llamó la  Máquina de Turing, y demostró que había problemas no tenían una solución del tipo es “cierto” o  es “falso”, por más trabajáramos en ello y que por tanto, ninguna máquina podía resolver tal cuestión de forma universal, por tanto, que las matemáticas son globalmente consideradas “Indecidibles”, aunque en la vida practica, nos movamos en un área donde las ecuaciones tiene una respuesta definida, o son ciertas o son falsas.

Sigue leyendo

22 junio 2011 Posted by | General, Robotica | | Deja un comentario

   

Seguir

Recibe cada nueva publicación en tu buzón de correo electrónico.

Únete a otros 382 seguidores