Picture 1 of 1

Stock photo

Paul C. Gilmore Logicism Renewed (Paperback) (UK IMPORT) - Picture 1 of 1

Logicism Renewed : Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 by Paul C. Gilmore (2005, Trade Paperback)

Rarewaves (692279)

98.9% positive feedback

Price:

US $95.68

(inclusive of GST)

ApproximatelyS$ 125.05

+ $4.35 shipping

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

About this product

Product Identifiers

PublisherA + K Peter's, The Limited

ISBN-101568812760

ISBN-139781568812762

eBay Product ID (ePID)47767701

Product Key Features

Number of Pages250 Pages

LanguageEnglish

Publication NameLogicism Renewed : Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Publication Year2005

SubjectGeneral, Logic, Set Theory

TypeTextbook

Subject AreaMathematics

AuthorPaul C. Gilmore

FormatTrade Paperback

Dimensions

Item Height0.4 in

Item Weight12 Oz

Item Length8.9 in

Item Width5.9 in

Additional Product Features

Intended AudienceCollege Audience

LCCN2005-052008

SynopsisLogicism, 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.

LC Classification NumberQA9.2.G55 2005