Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously - No Information Available

Derivation and Computation

Taking the Curry-Howard Correspondence Seriously

By: No Information Available

Hardcover | 18 May 2000

At a Glance

Hardcover

RRP $267.95

$232.75

13%OFF

or 4 interest-free payments of $58.19 with

 or 

Ships in 5 to 7 business days

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Goedel's T, a system which codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject, and develop a further understanding. An appendix contains complete solutions of these exercises.
Industry Reviews
'A well-written introduction to proof theory and its connections with computability.' Leon Harkleroad, Zentralblatt fur Mathematik '... recommended for the student or researcher who's been exposed to bits and pieces of the Curry-Howard correspondence, but wants a sharper idea of the big picture and is willing to work through the exercises to see how the details fit together. Simmons has succeeded in pulling together the main fruits of the correspondence for simple types in a single text. ... It can't be emphasized enough that the great thing about this book is its many well-chosen completely solved exercises. This alone makes it a valuable text, especially for self-study.' ACM SIGACT News

You Can Find This Book In

Non-FictionMathematicsMathematical FoundationMathematical LogicCombinatorics & Graph TheoryComputing & I.T.Computer ScienceMathematical Theory of ComputationCalculus & Mathematical Analysis

More in Mathematical Foundation

Current Trends in Automated Reasoning - Erika Bach

Current Trends in Automated Reasoning

Hardcover

$453.75

Handbook of Automated Reasoning - Rachel Phillips

Handbook of Automated Reasoning

Hardcover

$470.75

Advances in Automated Reasoning - Rachel Phillips

Advances in Automated Reasoning

Hardcover

$453.75

Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng

Unequal

The Maths of When Things Do and Don't Add Up

Hardcover

RRP $39.99

$31.75

21%
OFF
Teaching Secondary Mathematics : 2nd Edition - Gregory Hine

Teaching Secondary Mathematics

2nd Edition

Paperback

RRP $80.95

$66.99

17%
OFF
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF
Teaching Mathematics 3e & Open Ended Maths Activities Revised Ed Value Pack - Dianne Siemon

Teaching Mathematics 3e & Open Ended Maths Activities Revised Ed Value Pack

Book with Other Items

RRP $148.95

$122.75

18%
OFF
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Hardcover

RRP $126.00

$114.75

Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

Uncertain Data Analysis

Fuzzy Vector Algorithms

Paperback

RRP $94.99

$85.75

10%
OFF

This product is categorised by