0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Computability and Models - Perspectives East and West (Hardcover, 2003 ed.) Loot Price: R2,715
Discovery Miles 27 150
Computability and Models - Perspectives East and West (Hardcover, 2003 ed.): Barry S. Cooper, Sergei S. Goncharov

Computability and Models - Perspectives East and West (Hardcover, 2003 ed.)

Barry S. Cooper, Sergei S. Goncharov

Series: University Series in Mathematics

 (sign in to rate)
Loot Price R2,715 Discovery Miles 27 150 | Repayment Terms: R254 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in particular Novosibirsk) have been pre-eminent. There are also articles concerned with the computability of aspects of familiar mathematical structures, and - a return to the sort of basic underlying questions considered by Alan Turing in the early days of the subject - an article giving a new perspective on computability in the real world. And, of course, there are also articles concerned with the classical theory of computability, including the first widely available survey of work on quasi-reducibility. The contributors, all internationally recognised experts in their fields, have been associated with the three-year INTAS-RFBR Research Project "Com putability and Models" (Project No. 972-139), and most have participated in one or more of the various international workshops (in Novosibirsk, Heidelberg and Almaty) and otherresearch activities of the network."

General

Imprint: Kluwer Academic / Plenum Publishers
Country of origin: United States
Series: University Series in Mathematics
Release date: 2003
First published: 2003
Editors: Barry S. Cooper • Sergei S. Goncharov
Dimensions: 235 x 155 x 30mm (L x W x T)
Format: Hardcover
Pages: 375
Edition: 2003 ed.
ISBN-13: 978-0-306-47400-2
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-306-47400-X
Barcode: 9780306474002

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,219 Discovery Miles 12 190
Principia Mathematica
Russell Bertrand Russell Hardcover R1,257 Discovery Miles 12 570
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,271 Discovery Miles 52 710
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R2,113 Discovery Miles 21 130
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R108 Discovery Miles 1 080
Logic for Physicists
Nicolas A Pereyra Paperback R750 Discovery Miles 7 500
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R569 Discovery Miles 5 690
Models of Peano Arithmetic
Richard Kaye Hardcover R4,933 Discovery Miles 49 330
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R426 Discovery Miles 4 260
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R522 Discovery Miles 5 220
Calculus for Engineering Students…
Jesus Martin Vaquero, Michael Carr, … Paperback R2,162 Discovery Miles 21 620
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,049 Discovery Miles 30 490

See more

Partners