LÓGICA MATEMÁTICA Y LOS FUNDAMENTOS DE LAS MATEMÁTICAS....Cualquier pregunta sobre los temas planteados en este blog me la pueden hacer llegar por mis correos electrónicos franklingalindo178@gmail.com y maimonides_arizal_jasidut@yahoo.com, si está a mi alncance responderla lo haré con mucho gusto. Saludos cordiales.

El problema del continuo

El problema del continuo
¿La Hipótesis del continuo de Cantor es verdadera o falsa ?¿ Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964) ? Para enterarse se pueden leer los artículos del Prof. José Alfredo Amor (1946-2011), del Prof. Carlos Di Prisco y del Prof. Joan Bagaria que se encuentran en la biblioteca digital de este blog que aparecerá al hacer clic en la imagen. También se puede encontrar más información al respecto en dicha biblioteca y en las otras bibliotecas digitales referidas en este blog.

Ciencia y Matemáticas. Galileo Galilei (1564-1642).

Ciencia y Matemáticas. Galileo Galilei (1564-1642).
Ciencia y Matemáticas...Galileo Galilei (1564-1642): Astrónomo, filósofo, ingeniero, matemático y físico italiano. Albert Einstein lo llamó "padre de la ciencia moderna" y "para Stephen Hawking, Galileo probablemente sea, más que cualquier otro, el máximo responsable del nacimiento de la ciencia moderna" (Fuente: Internet). Según algunas referencias se le atribuye las expresiones "Las matemáticas son el lenguaje en el que Dios escribió el universo", "La Naturaleza está escrita en lenguaje matemático" y "La filosofía -decía Galileo (en Il Saggitario, 1623)- está escrita en ese grandísimo libro que continuamente está abierto ante nuestros ojos (a saber, el universo), pero no puede entenderse si antes no se procura entender su lenguaje y conocer los caracteres en que está escrito. Este libro está escrito en lenguaje matemático, y sus caracteres son triángulos, círculos, ...". La fuente de las dos primeras referencias anteriores es internet y la tercera aparece en el artículo "La matemática como lenguaje" de Jesús Mosterín, Tecnos, 1973. Es conocida la enorme importancia de la matemática para la ciencia, y también que el problema (abierto) de la relación de la matemática con el mundo espacio tiempo es un tema de estudio en filosofía de la matemática.

domingo, 19 de diciembre de 2010

Algunos libros y artículos sobre Lógica Matemática

INTRODUCTORIOS:

(1) M.Manzano - A.Huertas. LÓGICA PARA PRINCIPIANTES. Alianza. 2004.
(2) M. Garrido. LOGICA SIMBOLICA. Tecnos.2001.
(3) I.Copi - C.Cohen. INTRODUCCIÓN A LA LÒGICA. Limusa. 2000.
(4) I. Copi. LOGICA SIMBOLICA. Compañia Editorial Continental,S.A. de C.V. 1998.
(5) A. Deaño. INTRODUCCIÒN A LA LÒGICA FORMAL. Alianza. 2004.
(6) P. Suppes. INTRODUCCIÓN A LA LÓGICA SIMBÓLICA. Compañía Editorial Continental. 1980.
(7) P. Suppes- S. Hill. INTRODUCCIÓN A LA LÓGICA MATEMÁTICA. Reverté.1988.
(8) FUNDAMENTOS DE LAS MATEMÁTICAS. Guillermo Restrepo. Universidad del Valle, Cali, 2003. http://books.google.co.ve/books?id=U-6QVx_6DzsC&printsec=frontcover&hl=es&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false


NO TAN INTRODUCTORIOS:

(1) C. Chang-H. Keisler. MODEL THEORY. North-Holland. 1992.
(2) M. Manzano. TEORIA DE MODELOS. Alianza. 1988.
(3) H. Ebbinghaus-J.Flum-W. Thomas. MATHEMATICAL LOGIC. Springer-Verlag. New York. 1983.
(4) E. Mendelson. INTRODUCTION TO MATHEMATICAL LOGIC. Chapman & Hall/CRC. 1997.
(5) H. Enderton. UNA INTRODUCCION MATEMATICA A LA LOGICA. Elseiver inc- UNAM.Mèxico 2004.
(6) A. Nerode-R.Shore. LOGIC FOR APPLICATIONS. Springer-Verlag. 1993. (Vale la pena resaltar que este texto tiene en la parte final una extensa bibliografía sobre diversos tópicos lógica matemática)
(7) C. Di Prisco. INTRODUCCIÒN A LA LÒGICA MATEMÀTICA. Amalca Amazonia. 2009.
(8) A. Hamilton. LOGICA PARA MATEMATICOS.Paraninfo. 1981.
(9) J. Mosterìn. LOGICA DE PRIMER ORDEN.Editorial Ariel. 1983.
(10) http://plato.stanford.edu/search/searcher.py?page=10&query=logic
(11) Alonzo Church. INTRODUCTION TO MATHEMATICAL LOGIC. Princeton University Press, 1956.
(12) D. Hilbert y W. Ackermann. ELEMENTOS DE LÓGICA TEÓRICA. Tecnos. 1962.
(13) S. Kleene. INTRODUCCIÓN A LA METAMATEMÁTICA. Tecnos. 1974.

HISTORIA DE LA LÓGICA:

(1) EL DESARROLLO DE LA LÓGICA. William y Marha Kneale. Tecnos. 1980.

(2) LOS LÓGICOS. J., Mosterín. Espasa. 2000.

(3) UN ARTÍCULO DIGITAL SOBRE LA HISTORIA DE LÓGICA DE PRIMER ORDEN Y LAS MATEMÁTICAS: Extraordinario artículo del Prof. Gregory Moore sobre la lógica de primer orden, la teoría de conjuntos y los fundamentos de las matemáticas: "The emergence of First-Order Logic". ¿Cómo se consolidó la lógica de primer orden como la lógica base de las matemáticas, a pesar de sus limitaciones expresivas? Una respuesta a esta interrogante puede encontrarse en dicho artículo, el cual puede conseguirse y bajarse en el siguiente enlace http://mcps.umn.edu/philosophy/11_4Moore.pdf o en la biblioteca digital de este blog, está en el texto "History and Philosophy of Modern Mathematics", 1988, editado por Kitcher y Aspray.

LIBRO SOBRE FILOSOFÍA DE LA LÓGICA:

Filosofía de las Lógicas, Susan Haack, Cátedra, 1982.

Filosofía de la Lógica, Editores Rául Orayen y Alberto Moreti. Tomo de la Enciclopedia Iberoamerina de Filosofía.

DICCIONARIO DE LÓGICA Y FILOSOFÍA DE LA CIENCIA:

Diccionario de lógica y filosofía de la ciencia, J., Mosterín y R., Torretti, Alianza, 2002.



Nota: En varias entradas de este blog pueden encontrarse otras referencias a libros y artículos sobre Lógica Matemática.

No hay comentarios:

Publicar un comentario en la entrada

Nota: solo los miembros de este blog pueden publicar comentarios.