Bueno,lo pongo aca porque no se donde mas meterlo.El tema es así.El primer dia en clase de algoritmos,como a muchos de ustedes,me escribieron el pizarron el teorema de programción estructurada que dice,en resumidas cuentas que con un while,un for ,un repeat,un if y un case y estructuras secuenciales se puede resolver cualquier problema.Ahora bien,mi consulta es la siguiente.Dado que esto ostenta la ominosa categoría de 'teorema' logicamente tiene que tener alguna demostracion no? ¿Es asi? Esta demostrado formalmente? Y si es asi ¿Alguien puede explicarme la demostración o es demasiado avanzada? Desde ya gracias.
no existe tal teorema, es puro chamuyo.
dicho sea de paso, while, for, y repeat son la misma cosa, expresadas de otra manera. lo mismo pasa con el if y el case.
lo que reduce el famoso 'teorema' a solamente un for y un if.
claro... la idea es que con asignar, iterar y decidir resolves todo...
y para mi que deriva de los fundamentos de la programacion secuencial, en la que lo unico que podes hacer es asignar, comparar y hacer saltos de lineas (para armar asi un ciclo)...
me extraña de usted señor leatex, un entendido de las teorias de programacion que no sepa que todos los paradigmas de programacion(por lo menos los serios) estan basados en teoria matematica y logica pura. y tecnicamente un for es un caso de while, y no al reves.
saludos
me extraña de usted señor leatex, un entendido de las teorias de programacion que no sepa que todos los paradigmas de programacion(por lo menos los serios) estan basados en teoria matematica y logica pura. y tecnicamente un for es un caso de while, y no al reves.
saludos
ggabo15 escribió:Cita:no existe tal teorema, es puro chamuyo
Totalmente equivocado...
http://es.wikipedia.org/wiki/Teorema_de ... tructurado
espero que te sirva.
Saludos
a lo mejor me expresé mal. fijat que más abajo puse
LeaTex escribió:lo que reduce el famoso 'teorema' a solamente un for y un if.
me refería a que esto es una teoría más que un teorema (aunque todo teorema es una teoría), con el significado de teorema que todos conocemos.
Por lo que yo se:
Todo problema computable puede resolverse con una maquina de Turing. (1)
La programacion estructurada puede emular una maquina de Turing.(2)
Luego, por transitividad, la programacion estructurada puede resolver cualquier problema computable. (3)
(1) no es un teorema, sino que es una definicion. Un problema computable lo es sii es resoluble por una M.T. Una maquina de turing es la representacion formal de una maquina que ejecuta un algoritmo.
(3) podria ser un teorema (El teorema de teseracto? :P), solo tendria que desarrollar un algoritmo que emule a la perfeccion una M.T., asumiendo que se posee memoria infinita (seguro que en la nube ya existe). Pero estoy totalmente seguro de que ya existe una explicacion mejor que esta.
Y rulo, el profe te mintio. La programacion estructurada (osea, una M.T.) no puede resolver todos los problemas. Hay algunos denominados "Problemas indecidibles", como el teorema de la parada, que creo que ahora se ve en Sintaxis.
Resumiendo: Es un teorema, demostrable matematicamente (ya que una MT es un modelo matematico).
Teseracto escribió:Por lo que yo se:
Todo problema computable puede resolverse con una maquina de Turing. (1)
La programacion estructurada puede emular una maquina de Turing.(2)
Luego, por transitividad, la programacion estructurada puede resolver cualquier problema computable. (3)
(1) no es un teorema, sino que es una definicion. Un problema computable lo es sii es resoluble por una M.T. Una maquina de turing es la representacion formal de una maquina que ejecuta un algoritmo.
(3) podria ser un teorema (El teorema de teseracto? :P), solo tendria que desarrollar un algoritmo que emule a la perfeccion una M.T., asumiendo que se posee memoria infinita (seguro que en la nube ya existe). Pero estoy totalmente seguro de que ya existe una explicacion mejor que esta.
Y rulo, el profe te mintio. La programacion estructurada (osea, una M.T.) no puede resolver todos los problemas. Hay algunos denominados "Problemas indecidibles", como el teorema de la parada, que creo que ahora se ve en Sintaxis.
Resumiendo: Es un teorema, demostrable matematicamente (ya que una MT es un modelo matematico).
+3 1416 es justo lo que estaba buscando che.
Igual lo que me escribieron el pizarron es que bohm (o bohr o como se escriba) y jacopini demostraron (o dijeron no recuerdo la palabra que uso y además perdi el primer cuaderno que es donde lo tengo escrito) que todo problema se resuelve con esas estructuras (obviamente se referiria a todo problema computable o problema estructurado pero bueh).
Gracias por sacarme la duda.