Estoy redescubriendo mi infancia, el amor de las matemáticas después de muchos, muchos años de distancia y mirando a reconstruir mis habilidades de la tierra, empezando por el aritméticas fundamentales. Estoy trabajando con un texto que me gusta, y hace un punto de demostrar las formas en que un algoritmo puede proporcionar una base para otro.
Me he enamorado de esta idea de demostrar rigurosamente cada algoritmo; me parece de una belleza simple, en las pruebas, y el absoluto dominio de un concepto que proviene de un riguroso examen es mucho más atractivo para mí como un aficionado de la amplitud de los conocimientos. Este texto glosas través de pruebas rigurosas de los más básicos de los algoritmos aritméticos tales como suma, resta, etc. Aunque he encontrado algunos interesantes ejemplos de tales pruebas en este foro y con gran esfuerzo envolver mi mente alrededor de ellos, me parece que no estoy en posición para intentar articular una cosa por mi propia cuenta, y gran parte de la notación utilizada es desconocida para mí.
Qué tipo de material le tengo que estudiar para tener el conocimiento necesario para diseñar pruebas rigurosas de algoritmos fundamentales como en el enlace de arriba? Es posible aprender la matemática necesaria lógica independiente de la aritmética/álgebra? Si es así, que los textos recomendaría usted?
Permítanme ser claro: yo no estoy en busca de pruebas, sino más bien el conocimiento necesario para diseñar tales pruebas por mi cuenta. También entiendo que en algún punto, uno tiene que aceptar ciertas ideas como axiomático para ser capaz de empezar un proceso inductivo, pero quiero aprender a hacer esa distinción en una manera educada. Gracias.
