miércoles, 4 de noviembre de 2009

Probando el teorema empirico de Goldbach

Aunque no lo probaré matemáticamente, trataré de probarlo con un código en lenguaje C.

Agradezco al libro "Historias de matemáticos" en dónde leí esto, y de allí que haya decidido hacer el código, el autor del libro es Mariano Mataix.

Teorema empirico de Goldbach.

Esta proposición de Goldbach tiene hoy en día un puesto al lado del "último teorema de Fermat". Es decir, que se trata de una proposición que tiene todas las trazas de ser cierta, pero que nadie ha podido probarlo ni tampoco hallar un caso que la contradiga.

Fue enunciada por Euler, en respuesta a una simple conjetura que le había sometido Goldbach; de ahí que lleve este nombre. Dice así: "Todo número par es la suma de los dos números primos".

Aquí está el código en C, dicho código hace uso de una función "primo" que determina si un número es primo, no es el algoritmo más eficiente, pero sirve bien para el cometido. También se hace uso de una función "esImpar", que como su nombre lo indica, checa si un número es par o impar.

Aquí el código:



Las comprobaciones para algunos casos:

No hay comentarios:

Publicar un comentario

A ver.