|
Showing 1 - 3 of
3 matches in All Departments
Computability and Logic has become a classic because of its
accessibility to students without a mathematical background and
because it covers not simply the staple topics of an intermediate
logic course, such as Godel's incompleteness theorems, but also a
large number of optional topics, from Turing's theory of
computability to Ramsey's theorem. This 2007 fifth edition has been
thoroughly revised by John Burgess. Including a selection of
exercises, adjusted for this edition, at the end of each chapter,
it offers a simpler treatment of the representability of recursive
functions, a traditional stumbling block for students on the way to
the Godel incompleteness theorems. This updated edition is also
accompanied by a website as well as an instructor's manual.
Computability and Logic has become a classic because of its
accessibility to students without a mathematical background and
because it covers not simply the staple topics of an intermediate
logic course, such as Godel's incompleteness theorems, but also a
large number of optional topics, from Turing's theory of
computability to Ramsey's theorem. This 2007 fifth edition has been
thoroughly revised by John Burgess. Including a selection of
exercises, adjusted for this edition, at the end of each chapter,
it offers a simpler treatment of the representability of recursive
functions, a traditional stumbling block for students on the way to
the Godel incompleteness theorems. This updated edition is also
accompanied by a website as well as an instructor's manual.
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.
|
You may like...
Poldark: Series 1-2
Aidan Turner, Eleanor Tomlinson, …
Blu-ray disc
(1)
R55
Discovery Miles 550
|