Comentarios en: En los límites de lo calculable: Máquinas de Turing y castores laboriosos http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/ El blog de txipi Sat, 20 Feb 2010 05:09:32 +0000 http://wordpress.com/ hourly 1 Por: Seigneur http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1940 Seigneur Tue, 25 Aug 2009 21:31:32 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1940 Estudio ultimo semestre de licenciatura en informática y apenas he conocido ésto de la máquina de turing y la verdad me parece interesante... Buen artículo, muy explicado. Saludos! Estudio ultimo semestre de licenciatura en informática y apenas he conocido ésto de la máquina de turing y la verdad me parece interesante…

Buen artículo, muy explicado.

Saludos!

]]> Por: El libro de los récords de las funciones castor afanoso (las máquinas de Turing más ocupadas) « Francis (th)E mule Science’s News http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1890 El libro de los récords de las funciones castor afanoso (las máquinas de Turing más ocupadas) « Francis (th)E mule Science’s News Tue, 23 Jun 2009 08:52:56 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1890 [...] 1984, la introdujo para el público en general. Muchos blogs hablan de castores afanosos (Carlos, Txipi). Yo solo os comentaré que si os interesa el tema, la historia de los avances más recientes sobre [...] [...] 1984, la introdujo para el público en general. Muchos blogs hablan de castores afanosos (Carlos, Txipi). Yo solo os comentaré que si os interesa el tema, la historia de los avances más recientes sobre [...]

]]> Por: Mondopsicotronico » Blog Archive » El CERN, el LHC y los bosones de los cojones (de Higgs) http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1585 Mondopsicotronico » Blog Archive » El CERN, el LHC y los bosones de los cojones (de Higgs) Sun, 28 Sep 2008 12:23:44 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1585 [...] viene diciendo que las matemáticas son por definición inexactas (repetid como mantra Kurt Gödel, Alan Turing y Gregory [...] [...] viene diciendo que las matemáticas son por definición inexactas (repetid como mantra Kurt Gödel, Alan Turing y Gregory [...]

]]> Por: Mondopsicotronico » Blog Archive » Conspiranoia: papel Albalpara el decondicionamiento mental http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1500 Mondopsicotronico » Blog Archive » Conspiranoia: papel Albalpara el decondicionamiento mental Sun, 27 Jul 2008 20:08:36 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1500 [...] La idea de que las ciencias exactas sean realmente exactas está muy extendida—lo suele poner en los carteles de las puertas de las facultades—aunque éste ha sido también un asunto muy discutido durante este siglo, y entre los que que abogan por la incertidumbre intrínseca de la lógica y las matemáticas se puede nombrar a Kurt Gödel con su teorema de la incompletitud o a Alan Turing, el padre de la computación con su "problema vacilante"—no deja de ser irónico que aquel que sentara las bases de la informática (considerada nuestra herramienta más avanzada a la hora de hacer más exacta la información) insistiese en la incapacidad de esta disciplina a la hora de computar según qué cosas  (visitad este enlace si queréis saber más sobre los límites en la computaci&oacu...). [...] [...] La idea de que las ciencias exactas sean realmente exactas está muy extendida—lo suele poner en los carteles de las puertas de las facultades—aunque éste ha sido también un asunto muy discutido durante este siglo, y entre los que que abogan por la incertidumbre intrínseca de la lógica y las matemáticas se puede nombrar a Kurt Gödel con su teorema de la incompletitud o a Alan Turing, el padre de la computación con su "problema vacilante"—no deja de ser irónico que aquel que sentara las bases de la informática (considerada nuestra herramienta más avanzada a la hora de hacer más exacta la información) insistiese en la incapacidad de esta disciplina a la hora de computar según qué cosas  (visitad este enlace si queréis saber más sobre los límites en la computaci&oacu…). [...]

]]> Por: ocehcap http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1368 ocehcap Mon, 12 May 2008 22:17:45 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-1368 hola nos vemos hola
nos vemos

]]> Por: Jose Antonio Palos http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-62 Jose Antonio Palos Sun, 16 Sep 2007 17:57:23 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-62 <p>Saludos.<br /> Excelente trabajo.<br /> Soy artsista-escultor, en Monterrey, MÉXICO.<br /> Estudié Ing. en Control Numérico, por acá.<br /> Tengo una duda "existencial".<br /> Exactamente.<br /> ¿Cual es la diferencia entre los sistemas de propociciones axiomaticas con estados de n mayores a 2 y hasta 5?.<br /> Leí que el mismo Gödel reconoció que la incompletud y la inconsistencia sistemática-lógica se perdian en el sistema con estado n=4, y aún mejor, en n=5.<br /> No he encontrado más.<br /> Quiere esto decir que las "autoreferencias" son válidas-ciertas-coherentes en un estado nMayor que dos... tal vez "tiempo?" pasado n=3 y/ futuro n=4, "NeverLand=n=5" especificos del sistema ?<br /> Cómo lo plantea el Dr Cesar Elizondo en su introduccion del tiempo en la variable lógica? <br /> La verdad me es un poco dificil.<br /> Si con n=2 es, deviene a 2nosotros" auto excluyente, <br /> ¿Cómo n4 y n5 no lo son?<br /> Como se rompe la paradoja?<br /> Desde un conjunto de axiomas en que la n mayor que 2 "contenga" algo como estados fraccionados de verdad en un mismo axioma o proposicion?<br /> ¿Cómo sería contener como realidad-verdad, certeza de verdad-no-incoherente "el principio de incertidumbre en la medicion" de momento y poscicion de un foton-electron?<br /> Necesita n=?<br /> De ser, <br /> No es esto una fuerte indicacion de que el conjunto axiomatico base del Comportarse de los humanos nosotros es "irreal", como incoherente al ser n2?<br /> Aunque Penroose y Hamenroof lo vean muy "misticón"<br /> ¿No es esto indicativo de que la estamos "regando" comportándonos Gödelianamente, como el mismo se auto-aniquila desde una base axiomatica incoherente con la realidad post Heisenberg-Membranable?<br /> Espero me puedan compartir sus comentarios.<br /> Gracias.</p> Saludos.
Excelente trabajo.
Soy artsista-escultor, en Monterrey, MÉXICO.
Estudié Ing. en Control Numérico, por acá.
Tengo una duda "existencial".
Exactamente.
¿Cual es la diferencia entre los sistemas de propociciones axiomaticas con estados de n mayores a 2 y hasta 5?.
Leí que el mismo Gödel reconoció que la incompletud y la inconsistencia sistemática-lógica se perdian en el sistema con estado n=4, y aún mejor, en n=5.
No he encontrado más.
Quiere esto decir que las "autoreferencias" son válidas-ciertas-coherentes en un estado nMayor que dos… tal vez "tiempo?" pasado n=3 y/ futuro n=4, "NeverLand=n=5" especificos del sistema ?
Cómo lo plantea el Dr Cesar Elizondo en su introduccion del tiempo en la variable lógica?
La verdad me es un poco dificil.
Si con n=2 es, deviene a 2nosotros" auto excluyente,
¿Cómo n4 y n5 no lo son?
Como se rompe la paradoja?
Desde un conjunto de axiomas en que la n mayor que 2 "contenga" algo como estados fraccionados de verdad en un mismo axioma o proposicion?
¿Cómo sería contener como realidad-verdad, certeza de verdad-no-incoherente "el principio de incertidumbre en la medicion" de momento y poscicion de un foton-electron?
Necesita n=?
De ser,
No es esto una fuerte indicacion de que el conjunto axiomatico base del Comportarse de los humanos nosotros es "irreal", como incoherente al ser n2?
Aunque Penroose y Hamenroof lo vean muy "misticón"
¿No es esto indicativo de que la estamos "regando" comportándonos Gödelianamente, como el mismo se auto-aniquila desde una base axiomatica incoherente con la realidad post Heisenberg-Membranable?
Espero me puedan compartir sus comentarios.
Gracias.

]]> Por: César http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-61 César Thu, 21 Jun 2007 10:01:07 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-61 <p>El problema de halting expone la duda de si una máquina de Turing cualquiera con una cadena de entrada w (cualquiera también) para o no para.<br /> El problema está demostrado que es irresoluble, con lo cual vale para aproximar otros problemas a este (halting problem) y demostrar por contradicción como en esos otros problemas no se tiene solución.</p> El problema de halting expone la duda de si una máquina de Turing cualquiera con una cadena de entrada w (cualquiera también) para o no para.
El problema está demostrado que es irresoluble, con lo cual vale para aproximar otros problemas a este (halting problem) y demostrar por contradicción como en esos otros problemas no se tiene solución.

]]> Por: naye http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-59 naye Sun, 27 May 2007 20:04:15 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-59 <p>hola m podrian explicar en q consiste el problena de halting?</p> hola m podrian explicar en q consiste el problena de halting?

]]> Por: Carlos http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-58 Carlos Fri, 25 May 2007 15:22:03 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-58 <p>Hola Cynthya:<br /> <br /> La idea de cintas múltiples en la máquina de Turing la propone como posibilidad Penrose en "La nueva mente del emperador", pero la rechaza porque no añade nada nuevo.<br /> <br /> El imput siempre es único aunque pueda descomponerse en varios cuerpos (esto es indiferente a la hora de computar) y lo mismo ocurre con el output. El usar varias cintas podría ser por motivos prácticos a la hora de llevar a cabo de forma material una máquina; es lo que de hecho ocurre con un PC, que es una máquina de Turing pero mucho más compleja.<br /> <br /> Lo bueno que tiene usar una única cinta en la máquina de Turing es tener la máquina más simple posible para idealizar dicho artefacto (no olvidemos que la MT es una idealización mental y la simplicidad se agradece).<br /> <br /> De todos modos para más información te remito al libro que arriba he apuntado.<br /> <br /> Espero haber sido de tu ayuda.<br /> Carlos.</p> Hola Cynthya:

La idea de cintas múltiples en la máquina de Turing la propone como posibilidad Penrose en "La nueva mente del emperador", pero la rechaza porque no añade nada nuevo.

El imput siempre es único aunque pueda descomponerse en varios cuerpos (esto es indiferente a la hora de computar) y lo mismo ocurre con el output. El usar varias cintas podría ser por motivos prácticos a la hora de llevar a cabo de forma material una máquina; es lo que de hecho ocurre con un PC, que es una máquina de Turing pero mucho más compleja.

Lo bueno que tiene usar una única cinta en la máquina de Turing es tener la máquina más simple posible para idealizar dicho artefacto (no olvidemos que la MT es una idealización mental y la simplicidad se agradece).

De todos modos para más información te remito al libro que arriba he apuntado.

Espero haber sido de tu ayuda.
Carlos.

]]> Por: Cynthia http://blog.txipinet.com/2006/07/30/11-en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-57 Cynthia Sun, 13 May 2007 13:06:34 +0000 http://txipi.wordpress.com/2006/07/30/en-los-limites-de-lo-calculable-maquinas-de-turing-y-castores-laboriosos/#comment-57 <p>Hola que tal <br /> estuvo muy completo este tema de Maquina de Turing pero tengo una duda como seria la maquina de Turing con cintas multiples?<br /> me gustaria si no fuera mucha molestia que me dijieras eso en vdd necesito tener esa informacion para un trabajo.</p> Hola que tal
estuvo muy completo este tema de Maquina de Turing pero tengo una duda como seria la maquina de Turing con cintas multiples?
me gustaria si no fuera mucha molestia que me dijieras eso en vdd necesito tener esa informacion para un trabajo.

]]>