stringtranslate.com

Discusión:Algoritmo superrecursivo

Corrección de estilo 14-03-2009

Hoy hice algunas correcciones de estilo, después de que alguien sabiamente me señalara que el artículo era muy difícil de leer.

En este momento, estoy bastante satisfecho con la neutralidad de la sección principal. Las siguientes secciones están bien, y la sección "Las máquinas de Turing generalizadas de Schmidhuber" es bastante tosca. — Carl ( CBM  ·  discusión ) 00:13, 15 de marzo de 2009 (UTC) [ responder ]

¿Esta página todavía está aquí?

Asombroso.

La página es engañosa en (al menos) dos puntos. El primero es el contenido, pero no basta con ser "neutral" con respecto a eso. Porque el segundo es el término en sí. Hay espacio en Wikipedia para un notable disenso con la tesis de Church-Turing, pero "algoritmo superrecursivo" sigue siendo un término idiosincrásico, y la mayoría de los disidentes citados por Burgin no lo utilizan.

Sigo defendiendo que se recorte mucho esta página y que lo que quede se dedique a la hipercomputación o a otro objetivo. -- Unzerlegbarkeit ( discusión ) 05:33, 28 de diciembre de 2009 (UTC) [ responder ]

Puedo simpatizar. Intenté que se desechara este artículo con el argumento de que no existe ningún artículo independiente y revisado por pares que trate específicamente de "algoritmos superrecursivos". Dudo que Multipundit pueda publicar uno. Yakushima ( discusión ) 01:51 23 dic 2010 (UTC) [ responder ]

Dado que existe un artículo sobre hipercomputación que analiza el tema y menciona sus diferentes encarnaciones, estoy de acuerdo en que no hay lugar para un artículo independiente. Debería fusionarse. ¿Es posible reiniciar una discusión sobre fusión (en lugar de eliminarla)? No conozco lo suficientemente bien los procedimientos de Wikipedia. AmirOnWiki ( discusión ) 14:02 14 oct 2011 (UTC) [ responder ]

Corrígeme si me equivoco, pero según la definición que aparece aquí (simplemente hay que llegar al resultado "en algún momento") ¿no podrías simplemente enumerar todos los números y afirmar que tenías una computadora que eventualmente resolvió todos los problemas con una solución numérica? Supongo que debe haber algo que me estoy perdiendo porque una afirmación de que esto representa algún tipo de definición útil de computabilidad me resulta desconcertante. 173.79.253.74 (discusión) 18:36 11 jul 2013 (UTC) [ responder ]

No creo que se le esté escapando nada. Este tal Burgin parece estar fundamentalmente confundido: dado que estas máquinas de Turing "inductivas" o bien no se detienen o bien podrían ser simuladas trivialmente por máquinas de Turing ordinarias, no permiten calcular nada que una máquina de Turing no pueda, y por lo tanto no aportan nada nuevo al campo. Algo similar ocurre con la computación genética y la computación de lógica difusa: muchas de ellas han sido escritas en lenguajes informáticos normales y se ejecutan en computadoras normales, y por lo tanto son simulables por máquinas de Turing y no son nada nuevo. Por lo tanto, el artículo no aporta nada útil a una descripción enciclopédica del campo. Si tenemos que tener un artículo sobre su libro, que sea sobre su libro, no que pretenda ser un artículo sobre el estudio de algoritmos. 116.199.214.34 (discusión) 03:45, 27 de noviembre de 2013 (UTC) [ responder ]

explicación inadecuada

¿El artículo explica el concepto a los espectadores que aún no están familiarizados con él?

¿La información proporciona suficiente contexto para significar algo sin hacer referencia al libro mencionado?

2001:470:600D:DEAD:E94B:92C8:B4E1:F8C5 ( discusión ) 11:06 6 ago 2014 (UTC) [ responder ]

Fusionarse conhipercomputación?

Esto es lo que propuso Carl en la AfD: Wikipedia:Artículos para eliminación/Algoritmo superrecursivo . ¿Deberíamos hacer esto? Un problema es que hay una gran cantidad de citas en este artículo que pueden ser difíciles de incluir en el artículo sobre hipercomputación manteniendo el equilibrio. — Charles Stewart (discusión) 15:21 2 may 2016 (UTC) [ responder ]

Una fusión me parece bien. La mayoría de las referencias no se citan explícitamente y no sería estrictamente necesario mantenerlas durante la fusión; la cantidad de citas en línea es menor y creo que sería manejable. — Carl ( CBM  ·  discusión ) 17:18, 2 de mayo de 2016 (UTC) [ responder ]

Una preimpresión de Burgin que podría aclarar parte de la confusión sobre los escritos de Burgin.

He leído la mayor parte de la solicitud de eliminación anterior y la página de discusión aquí. Encontré esta página de Wikipedia porque recientemente encontré una preimpresión de Burgin mientras investigaba algo. Sospecho que la mayoría de las quejas sobre la falta de accesibilidad del trabajo de Burgin podrían volverse más claras para los editores versados ​​en Ciencias de la Computación después de leerlo, ya que vincula la concepción de Burgin de "superrecursividad" con la Computación Interactiva. Preimpresión aquí:

https://arxiv.org/abs/0710.1455 - Características superrecursivas de la computación interactiva

Pero, desafortunadamente, tiene los mismos problemas de revisión por pares y de Runglish que otros han señalado.

-- No identd ( discusión ) 18:45 17 jun 2018 (UTC) [ responder ]

No creo haber visto muchas quejas de que el trabajo de Burgin fuera inaccesible; las principales críticas publicadas han sido que su concepto de "algoritmo" es bien conocido ya como computabilidad límite, y también que no es una "computabilidad" real porque no hay forma de saber qué respuesta se está presentando. Lo mismo sucede con la computación interactiva, que es simplemente una especie de computación oracular, que fue estudiada por Kleene. — Carl ( CBM  ·  discusión ) 00:16, 18 de junio de 2018 (UTC) [ responder ]

¿Las máquinas de Turing no pueden editar sus salidas anteriores?

"Las máquinas de Turing no pueden editar sus resultados anteriores": ¿qué se supone que significa eso? La interpretación que me parece más obvia ("una vez que un símbolo se escribe en la cinta, nunca se puede cambiar") es claramente errónea. Chrisahn ( discusión ) 03:57 23 jun 2018 (UTC) [ responder ]

Hay dos maneras de interpretar esto. Un modelo tradicional de máquina de Turing tiene una cinta de salida de sólo escritura, que no se puede editar una vez que se escribe. También tienen una cinta de trabajo, por supuesto, esto es sólo una convención de salida. La segunda manera de interpretarlo es que, una vez que una máquina de Turing calcula, por ejemplo, f(1), no puede volver atrás cuando calcula f(2) para cambiar de opinión sobre el valor que f(1) debería haber tenido. En los modelos que se analizan en esa sección, la máquina puede dar una respuesta definitiva a una pregunta, pero más tarde revisar esa respuesta para otra cosa.
De cualquier manera, lo que la sección describe es una máquina para realizar un cálculo límite: la máquina ocasionalmente escribe valores para cada entrada de una secuencia infinita, pero puede volver atrás y cambiar esos valores en cualquier momento. La máquina tiene que dejar de cambiar cada valor, de modo que en el límite haya una salida bien definida del proceso, aunque el resultado después de cualquier número finito de pasos puede no revelar nada sobre ese límite. — Carl ( CBM  ·  discusión ) 15:50, 23 de junio de 2018 (UTC) [ responder ]
Gracias. Tu explicación aquí es bastante clara. Creo que la explicación en la sección Máquinas de Turing generalizadas de Schmidhuber aún no está clara. ¿Qué tal si copias tu explicación de aquí al artículo? Quizás sea un poco larga, pero creo que mejoraría el texto. De todos modos, no me importa mucho de ninguna manera. Chrisahn ( discusión ) 22:24 25 jun 2018 (UTC) [ responder ]

Extraña placa de quirófano: realizando una limpieza de referencia

De alguna manera, este montón de OR sobrevivió a la AFD hace muchos años. Todo lo que no sea una tontería debería fusionarse con la hipercomputación .

Lo primero que hay que hacer es eliminar todo lo que se cita solo en una preimpresión o que no se cita en absoluto. Luego podemos ver lo que queda - David Gerard ( discusión ) 22:09 6 feb 2024 (UTC) [ responder ]

He eliminado una gran cantidad de tonterías, especialmente los numerosos intentos de reivindicar trabajos anteriores sobre hipercomputación, anteriores al libro de Burgin, para utilizar el término de forma retrospectiva. Este artículo trata específicamente de esta nueva cuestión de Burgin.
También he subrayado que todo esto es hipotético, y si Burgin quiere refutar a Church-Turing, esto pondría las matemáticas patas arriba hasta el punto de que primero tiene que convencer a otros científicos informáticos - David Gerard ( discusión ) 22:18, 6 de febrero de 2024 (UTC) [ responder ]

He buscado en Google Scholar. El término "algoritmo superrecursivo" se usa muy poco, casi todo en Burgin. Puedo ver algunas citas al respecto. No parece ser un libro o término académico notable, ni un concepto de uso no desdeñable. Incluso la objeción de Davis es un solo párrafo que dice que esto es una tontería.

En realidad, esto debería redirigirse a Hipercomputación . ¿Alguna objeción? - David Gerard ( discusión ) 15:15 11 feb 2024 (UTC) [ responder ]

Sí, por favor redirija. Este artículo, tal como está escrito actualmente, nunca dice qué es un "algoritmo superrecursivo". También revisé versiones anteriores de este artículo y ninguna de ellas tampoco decía realmente qué es esto. Parece ser algo que se deja a la imaginación del lector. 84.15.177.191 ( discusión ) 15:09 12 jun 2024 (UTC) [ responder ]
Además, parece que la teoría de conjuntos nombrados es una especie de OR atribuida a Burgin y creada por P. Zellweger, también conocido como Usuario:Hpzell. La única referencia a esta idea es una publicación de LinkedIn de Zellweger que promociona un producto de base de datos. 84.15.177.191 ( discusión ) 17:26, 12 de junio de 2024 (UTC) [ responder ]