Biografía de Gottlob Frege

Frege fue un defensor del logicismo, la tesis de las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado, aplicándola solo a la aritmética, puesto que Frege permaneció en gran medida kantiano respecto de la geometría. Frege introdujo a toda prosa una modificación en uno de sus axiomas, de la que dejo constancia en un apéndice de la obra.

Biografía de Gerhard Gentzen

Establece que toda derivación en el cálculo de consecuencias lógicas puede ser normalizada como una derivación igual conclusión pero sin utilizar lemas auxiliares. Sus principales trabajos fueron en fundamentos de la matemática y la teoría de la demostración, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista. Demuestra que toda prueba puede escribirse de manera normalizada sin cortes por ello introduce el cálculo de consecuencias lógicas o se cuentes.

Biografía de Alfred Tarski

Realizo importantes investigaciones sobre fundamentación de la matematica.Logico filosofo y matemático estadounidense se de origen polaco. Autor de introducción ala lógica y ala metodología de ciencias deductivas.(1936) la concepción semántica de la verdad y los fundamentos de la semántica(1972)

Biografía de Heráclito Grecia

Afirma que el fundamento de todo está en el cambio incesante el ante de viene que todo se transforma en un proceso de continuo nacimiento y destrucción al que nada escapa.

Biografía de George Boole

Boole aplico una serie de símbolos y operaciones los símbolos podían manipularse según reglas fijas que producirían resultados lógicos. Las matemáticas modernas tendrán una evolución lenta, hasta completamente indispensable para conseguir la matemática lógica.

Preposiciones o expreciones de lenguaje

Lógica (evaluables).
Abiertas (las variables cambian).
Indeterminadas (no puede ser variable, ni evaluable).

Ciclo de vida evolutivo

Este modelo acepta que los requerimientos del usuario puedan cambiar en cualquier momento. El modelo del ciclo de vida evolutivo afronta este problema mediante una interacción de ciclos, requerimientos –desarrollo-evaluación.
NOTA: Luego de cada desarrollo obtenemos una versión del producto.