Seguir al autor

Frege and Godel: Two Fundamental Texts in Mathematical Logic Pasta blanda – 1 abril 2000

Edición Inglés por Heijenoort Jean Van (Autor)

5.0 1 calificación

This volume, a shortened edition of Mr. van Heijenoort's internationally acclaimed From Frege to GÃ¶del: A Source Book in Mathematical Logic, 1879-1931 (HUP 1967), makes available in English the two most important works in the growth of modern mathematical logic. Heralded by Leibniz, modern logic had its beginnings in the work of Boole, DeMorgan, and Jevons, but the 1879 publication of Gottlob Frege's Begriffsschrift opened a great epoch in the history of logic with the full-form presentation of the propositional calculus and quantification theory.

Frege and GÃ¶del: Two Fundamental Texts in Mathematical Logic begins with this short book, which ushered in the classical age of mathematical logic by outlining the construction of a system of logical symbolism. The volume concludes with GÃ¶del's famous incompleteness paper of 1931, which changed the development of logic and the foundations of mathematics by revealing the intrinsic limitations of formal systems, and brought to an end the classical phase.

Mr. van Heijenoort has provided a new introduction which sets the Frege and GÃ¶del pieces in perspective in the development of modern logic and points out difficulties in interpretation. Editorial comments, footnotes, and bibliographic information offer additional explanatory material.

Extensión

128
Páginas
Idioma

EN
Inglés
Editorial

Iuniverse Inc
Fecha de publicación

2000
abril 1
Dimensiones

19.1 x 1.3 x 23.5
cm
ISBN-10

1583485961
ISBN-13

978-1583485965
Ver todos los detalles

Detalles del producto

Editorial ‏ : ‎ Iuniverse Inc (1 abril 2000)
Idioma ‏ : ‎ Inglés
Pasta blanda ‏ : ‎ 128 páginas
ISBN-10 ‏ : ‎ 1583485961
ISBN-13 ‏ : ‎ 978-1583485965
Dimensiones ‏ : ‎ 19.05 x 1.27 x 23.5 cm

Opiniones de los clientes:
5.0 1 calificación

Acerca del autor

Sigue a autores para obtener actualizaciones sobre los estrenos y mejores recomendaciones.

Jean Van Heijenoort

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

Descubre más sobre los libros del autor, ve autores similares, lee blogs del autor y más

Opiniones de clientes

5 de 5

1 calificación global

5 estrellas

100%

4 estrellas

0%

3 estrellas

0%

2 estrellas

0%

1 estrella

0%

Cómo funcionan las opiniones y calificaciones de los clientes

Mejores reseñas de otros países

Traducir todas las opiniones al Español

Dante Cardoso Pinto Almeida

A great edition of two great logician's texts

Reseñado en los Estados Unidos el 8 de noviembre de 2009

Compra verificada

Heijenoort is a remarkable historian of logic. Here he brings a edition of the most important works in Logic of 19th and 20th: Frege's Begriffsschrift and Gödel's On Formally Undecidable Propositions.
Frege laid down the first complete and sound set of axioms to 0th and first order classical logic.
Gödel proved that no sound set of axioms is complete for arithmetic.

A una persona le resultó útil

Traducir opinión al idioma Español

Ver más opiniones

Imagen no disponible