Name: Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)
SKU: 25940658
Price: 1341.01 MXN
Availability: InStock
Author: Gilmore, Paul C.
ISBN: 9781568812762

portada Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)

Formato

Libro Físico

Autor

Paul C. Gilmore

Editorial

A K PETERS

Año

2005

Idioma

Inglés

N° páginas

252

Encuadernación

Tapa Blanda

ISBN

1568812760

ISBN13

9781568812762

Categorías

Lógica matemática
Teoría de los conjuntos

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)

Paul C. Gilmore (Autor) · A K PETERS · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 3,352.53$ 1,341.01

-60%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Última Unidad

$ 1,341.01

¡Envío Gratis! Llega entre el 20 Nov y el 30 Nov a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)"

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.