Crónicas matemáticas

"Neutrosophic Computing and Machine Learning" (NCML) es una revista académica que ha sido creada para publicaciones de estudios avanzados en neutrosofía, conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, enfoques neutro-sóficos para el aprendizaje automático, etc. y sus aplicaciones en cualquier campo.

El razonamiento lógico obedece a un encadenamiento de premisas en las que las reglas aceptadas como válidas se aplican, eslabón por eslabón, hasta producir las conclusiones, que es lo que se denomina la consecuencia lógica. El libro se encuentra escrito para los estudiantes de educación media y superior, los docentes y todo profesional sin distingo alguno. Enfocado en el ámbito del sistema de la deducción natural, relievamos críticamente, la íntima relación del lenguaje simbólico con la lógica del lenguaje natural; ambos lenguajes, desde sus ámbitos, están entrelazados y...

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

Ante la dificultad que ofrece inicialmente el abordaje de la geometría euclidiana como una teoría axiomática, muchas veces se opta por renunciar a esta forma de presentación, reduciendo los cursos a una exposición expedita de los axiomas y a un listado de los teoremas centrales, en la búsqueda de obtener resultados rápidos que permitan llegar prontamente a la solución de problemas. Sin embargo, de este modo se deja de proveer al estudiante de las herramientas suficientes para poder acceder al estudio de la teoría, a la comprensión de las argumentaciones y a la obtención...