La investigación operativa

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.

This book presents plane geometry following Hilbert's axiomatic system. It is inspired on R. Hartshome's fantastic book Geometry: Euclid and Beyond, and can be considered as a careful exposition of most of chapter II of that book. It must be remarked that non-euclidean geometries, i.e. geometries not satisfying the fifth postulate of Euclid, enter the scene, in a natural way, from the very beginning. The vast majority of plane geometry texts are only concerned with euclidean geometry, loosing the oportunity of not only teaching rigorous reasoning to freshmen, but at the same time exposing...

"Neutrosophic Computing and Machine Learning" (NCML) has been created for publications of advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic approaches to machine learning etc. and their applications in any field. "Neutrosophic Computing and Machine Learning" (NCML) 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 neutrosó-ficos para el aprendizaje automático, etc. y sus...