Artículos relacionados a Introduction to Metamathematics (Bibliotheca Mathematica)
Sinopsis
Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialButterworth-Heinemann
- Año de publicación2000
- ISBN 10 0720421039
- ISBN 13 9780720421033
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas564
- Contacto del fabricanteno disponible
EUR 49,93
EUR 34,62 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 108,00
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Introduction to Metamathematics (Bibliotheca Mathematica)
Imagen de archivo
Introduction to Metamathematics (Bibliotheca Mathematica)
Publicado por
North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Antiguo o usado
Tapa dura
Librería: mountain, GEORGETOWN, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Acceptable. hardcover book no dust jacket, light wear to cover and book edges has some light water damage. has some stains to book edges. Nº de ref. del artículo: mon0000002037
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Metamathematics (Bibliotheca Mathematica)
Publicado por
North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Antiguo o usado
Tapa dura
Librería: BooksElleven, Three Oaks, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. 550 pgs. Nice cover. Clean pages throughout. Binding is secure. Nº de ref. del artículo: BS1240908016
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Metamathematics (Bibliotheca Mathematica)
Publicado por
North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Antiguo o usado
Tapa dura
Librería: Kisharon Langdon New Chapters, HARROW, Reino Unido
Calificación del vendedor: 2 de 5 estrellas
NO DUST JACKET. Sold by the UK charity Kisharon Langdon; offering opportunities and support for people within the autism and learning disability community. Nº de ref. del artículo: EDU BOX3 RS1/21052025
Cantidad disponible: 1 disponibles
Imagen del vendedor
Introduction to Metamathematics (Bibliotheca Mathematica, vol.1)
Publicado por
Wolters-Noordhoff, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Antiguo o usado
Tapa dura
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001. Nº de ref. del artículo: 255814
Cantidad disponible: 1 disponibles
Imagen de archivo
Introduction to Metamathematics (Bibliotheca Mathematica)
Publicado por
North Holland, 2005
ISBN 10: 0720421039
ISBN 13: 9780720421033
Antiguo o usado
Tapa dura
Librería: Great Matter Books, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Near Fine. No Jacket. Near Fine condition hardcover book, no dust jacket as issued. Transfered to digital printing 2005. Very slight shelf wear to covers and spines. Few shallow indentations to spine, mostly near top edge. Very slight bumping to spine edges and cover corners. Minute smudging to top edge of text block. All books are individually inspected and described. Never X-Library unless specifically described as such. Nº de ref. del artículo: 2501-9514
Cantidad disponible: 1 disponibles
Imagen del vendedor
Introduction to Metamathematics
Publicado por
Elsevier Science & Technology, North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Nuevo
Tapa dura
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Englisch. Nº de ref. del artículo: 9780720421033
Cantidad disponible: 2 disponibles
Imagen de archivo
Introduction to Metamathematics, (Bibliotheca Mathematica)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-ELS-9780720421033
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Introduction to Metamathematics
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 564 14:B&W 6 x 9 in or 229 x 152 mm Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 8386090
Cantidad disponible: 3 disponibles
Imagen de archivo
Introduction to Metamathematics
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 11th repr. 1996 edition. 550 pages. 9.25x6.25x1.25 inches. In Stock. Nº de ref. del artículo: __0720421039
Cantidad disponible: 2 disponibles
Imagen del vendedor
Introduction to Metamathematics
Publicado por
Elsevier Science & Technology, North Holland, 1980
ISBN 10: 0720421039
ISBN 13: 9780720421033
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education. Nº de ref. del artículo: 9780720421033
Cantidad disponible: 2 disponibles