Logic, Meaning and Computation

Essays in Memory of Alonzo Church

By: C. Anthony Anderson (Editor), Michael ZelÃ«ny (Editor)

Write A Review

Hardcover | 31 January 2002

At a Glance

Hardcover
660 Pages

Dimensions(cm)
24.13 x 16.51 x 3.81

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

or

Ships in 7 to 10 business days

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning

Hardcover

$421.75

Automated Theorem Proving

Theory and Practice

Hardcover

$416.75

Handbook of Automated Reasoning

Hardcover

$437.75

Current Trends in Automated Theorem Proving

Hardcover

$421.75

Automated Deduction

From Theory to Applications

Hardcover

$416.75

Advances in Automated Reasoning

Hardcover

$421.75

Unequal

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

Hardcover

RRP $39.99

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Paperback

RRP $110.00

$96.75

12%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $252.00

$219.75

13%
OFF

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Paperback

RRP $126.00

$79.99

37%
OFF

Logic For Dummies

For Dummies

Paperback

RRP $41.95

$29.37

30%
OFF

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $252.00

$148.99

41%
OFF

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Hardcover

RRP $183.95

$137.75

25%
OFF

The Times Bumper Book of Codewords Book 2

300 compelling and addictive codewords

Paperback

$31.75

Strongly Minimal Sets and Categoricity in Continuous Logic

Paperback

RRP $197.00

$187.75

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Hardcover

RRP $86.99

$78.75

$MISCHIEF OF MATH, THE : Short Stories of Clowns, Contortionists, and Court-Jesters - ENAGANTI INAVAMSI$

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Paperback

RRP $45.99

$41.75

Ignorance : What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know - George G. Szpiro

$47.75

10%
OFF

Preface
Remembering Alonzo Church
Logic. Logic, truth and number: The elementary genesis of arithmetic
Second-order logic
A representation of relation algebras using Routley-Meyer frames
Axioms of infinity in Church's type theory
Logical objects
The lambda calculus and adjoint functors
Atomic Boolean algebras and classical propositional logic
Improved decision procedures for pure relevant logic
The `triumph' of first-order languages
Equivalence relations and groups
Computation. Discriminating coded lambda terms
The undecidability of lambda-definability
A construction of the provable wellorderings of the theory of species
Semantics for first and higher order realizability
Language and equality theory in logic programming
Philosophy, Meaning, and Intensional Logic
Alternative (1*): A criterion of identity for intensional entities
Russellian type theory and semantical paradoxes
The logic of sense and denotation: Extensions and applications
The very possibility of language
Index
Table of Contents provided by Publisher. All Rights Reserved.

Logic, Meaning and Computation

Essays in Memory of Alonzo Church

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

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

The Language of Mathematics

The Stories behind the Symbols

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Logic For Dummies

For Dummies

Introduction to Modern Cryptography

Revised Third Edition

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

The Times Bumper Book of Codewords Book 2

300 compelling and addictive codewords

Strongly Minimal Sets and Categoricity in Continuous Logic

How to Prove It

A Structured Approach

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

MISCHIEF OF MATH, THE

Short Stories of Clowns, Contortionists, and Court-Jesters

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Fuzzy Logic

An Introductory Text

Modern Mathematical Logic

What Is Mathematical Logic 2E Cloth

REFLECTIONS

THE MAGIC, MUSIC & MATH OF RAYMOND SMULLYAN

This product is categorised by