Teoría de la computación: Detección de bugs y fallos en el software.

[@CarlosSanchezExplica]

Victor, después de reflexionar sobre tu video y el Halting problem, el cuál usa un mecanismo de demostración parecido, las proposiciones «No existe un programa que pueda analizar otros programas y determinar exitosamente si esos programas van a fallar o no» o «No existe un programa que determine si otros programan pararán o no» enmascaran un cuantificador universal sobre la ejecución de la tarea sobre todos los programas; pero el mecanismo de demostración por contradicción solo mostaría un cuantificador particular, esto es, si «es posible crear un programa para analizar algunos casos», excepto para los planteados por la contradicción y algunos otros. Mis pregunta son ¿Cuál es la proporción entre programas posibles de analizar y los imposibles de analizar? ¿y es posible crear un programa cuya tarea es determinar si un programa es indecidible? ¿Cuál es la relación con la inteligencia artificial y los asistentes de demostración como Lean porque al final también son programas? ¿En este sentido, si una máquina no puede, tampoco un ser humano? Para la segunda pregunta, podemos aplicar el mismo mecanismo de crear una máquina y que sea máquina se reciba, pero sería la misma cuestión planteada en este comentario, si para algunos casos, no para algunos otros. Y sería tan autoreflexivo como la paciencia del demostrador tenga.

[@cristya8]

Vaya, te ganaste mi sub 👍

[@joseantonioapipilhuascoram2778]

Hola amigo, vi tus vídeos referentes a Smart Contracts en Ethereum, me gustaría saber donde podría profundizar en el tema en la programación en la red de ethereum de éstos programas, ojalá me pudieras brindar una orientación, mil gracias.

[@victorsanz2720]

Hola. Gracias pro ver mis videos.🤟 Para dar una mejor recomendación debo saber si, sabes programar?

[@joseantonioapipilhuascoram2778]

@@victorsanz2720 Hola, mira, tengo un canal que se llama Entornos Financieros y de entrada me interesa una colaboración en relación a criptos y su futuro en el ámbito tecnológico, ojalá te interese. Segundo, estoy tomando un curso de criptos pero, nada que ver con lo que tu muestras, y para ser concretos sólo sé HTML y CSS, jajaja, soy abogado, pero estoy dispuesto a aprender desde parbulitos, estoy dispuesto ponerle dedicación, soy determinado cuando me clavo y finalmente ¿cómo vez lo de la colaboración?

[@victorsanz2720]

Me interesa ver qué podemos hacer. Saludos 🖖