|
|
|
Title: Computability and Logic
Purchase
Item
Manufacturer: Cambridge University Press
List Price: $64.95
Our Price:
|
|
| Customer Reviews: |
| Computability and Logic by Cambridge University Press One step from greatness. | The main virtue of this book, and which sets it apart from most other modern textbooks I have seen, is that it provides clear and usually illuminating explanations of the philosophical importance of the topics covered. These explanations and clarifications are given in a clear and usually crisp prose and emphasise the philosophical importance of whatever metalogical method or result they concern. I regard it as a very suitable companion or reference-work for the philosophically interested student of logic. For rigorous and very detailed proofs and definitions I normally consult a book like Mendelson's Introduction to Mathematical Logic, but usually I read what Boolos, Burgess and Jeffrey say too. The fact that the book (in its fourth edition at least) is divided into many short chapters makes it all the more useful as a companion. The short 'abstracts' that introduce each chapter deserve special mention. An index is the best way of localising information about something one knows one needs. The abstracts often do the reverse; they help one realise what one needs.
As other reviewers have pointed out, the book has WAY TOO MANY typos. Burgess has a list of errata on his web-page, but it is not exhaustive and above all a professionally edited book should not have this many typos. The typos is in my mind the only thing that prevents it from earning five stars. | | Computability and Logic by Cambridge University Press Math majors avoid | If you are a math major, you don't want this book. Get Cutland.
This book was written by philosophy professors and shows it. When philosophers write math, it is less concise, organized, and complete than when mathematicians do it. This was meant as an intermediate logic text for philosophy and math students, but it would try the patience of a math major. The explanations are wordy, sketchy, and poorly related to each other and to exterior topics.
The contents fall into thirds: Turing machines, aspects of decidability, and a hodge podge of topics from other parts of logic. The 4e is 50 pages (17%) longer than the 3e. The changes were mainly adding exercises and making the chapters more independent. The authors were obviously trying hard to make a readable text, but I hated slogging through all that verbiage. You can see a lot of comment in the other reviews that the 3e was better, but I think even the 3e is poor compared to Cutland. | | Computability and Logic by Cambridge University Press Absolutely rediculous | | WAY TOO MANY TYPOS!!!!!! There were so many typos, it made it extremely difficult to follow this book at times. As a first time student to mathematical logic, I found this to be just too much. People who are veterans with logic and logicians may easily spot typos, but for a first time student of the subject, I was confused as hell at some parts simply because there was a typo. I wasted hours trying to figure out some parts (such as the factorial function in chapter 6) when I finally found out that the reason why I couldn't figure it out was because of a typo. The Errata sheet on the internet IS 35 PAGES LONG!!!! I didn't pay money to correct a horde of typos! God that pisses me off. | | Computability and Logic by Cambridge University Press Prefer the old edition | | I have used the old edition for a class in computability and logic where the students did not have much background in either. Having used the new edition this year, I find I greatly prefer the old one. The new one may be more rigorous, but it is much harder to read and understand for students without the background. The first part is not so bad, but the second half on logic gets too involved in the proofs and the students lose sight of the overall pupose and what these result really mean. | | Computability and Logic by Cambridge University Press Good Textbook, Bad Problem Sets | | The textbook itself was pretty well written. The major problem I had with it was that the problem sets are RIDDLED with mistakes. The errata on their website help, but it doesn't catch everything. I sincerely hope the next edition has more proof reading before going to press. | | Computability and Logic by Cambridge University Press Product Description | | A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z. |
Apple Strategy Announcement
CARS: “After weeks of outcry from customers and the press about the company’s apparent lack of action concerning a growing Internet phenomenon, Apple has finally announced its strategy for lolcats.”
Fri, 22 Jun 2007 05:38:40 GMT
|
The Apple Press interview about the iPhone
The Apple Press: “As WWDC comes to a close we went ahead and asked Brent Simmons, creator of NetNewsWire, about his opinions in regards to the iPhone and his reaction to Steve Jobs’ controversial 3rd party application announcement.”
Of course, I want badly to develop for the iPhone, but I understand that things happen in steps, and Apple doesn’t necessarily know this will all end up. So I’m cool with it.
Sat, 16 Jun 2007 00:44:38 GMT
|
Microsoft Celebrates Sale of 100th Zune
CARS: “According to a press release issued by the company today, its 100th Zune was sold to 13-year-old Dieter Ebersbacher in Shreveport, Illinois, and is a sign of its success in the marketplace.”
Thu, 12 Apr 2007 04:36:32 GMT
|
Completion Dictionary 4.0
Objective Development: “Completion Dictionary is a free Xcode plugin that enhances Xcode’s built in code completion mechanism. You simply type a few letters, either the abbreviation of a macro or the initials of a symbol name, and press the completion shortcut.”
Mon, 13 Nov 2006 23:40:20 GMT
|
A Tour of Microsoft's Mac Lab
David Weiss: “Often when we have press events or special visits from our MVPs I’ll give them a tour of the Mac Lab and explain what we do. They’ve always found it very interesting and so I thought I’d share a virtual tour of our Mac Lab.”
Thu, 20 Apr 2006 20:48:30 GMT
|
MarsEdit 1.1: universal, and shipping!
 MarsEdit 1.1 is out of beta, shipping today!
It’s a universal binary—it runs on Intel Macs as well as PowerPC Macs. It has a bunch of other new features, including support for Technorati tags, enclosures, titles for Blogger weblogs, date editing, and easy text filters support. Here’s what’s new in MarsEdit 1.1.
You can download it from the MarsEdit home page. It costs $24.95, and is available bundled with NetNewsWire for $39.95. And it’s a free upgrade for current MarsEdit users.
Also see the press release for more information and quotes.
Tue, 10 Jan 2006 19:09:50 GMT
|
PunchOut 1.0 for Tiger
Bare Bones Software: “Bare Bones Software today announced the forthcoming release of PunchOut, a new integrated backup system which safely records critical user data onto a durable backup medium... The new Advanced Prioritized Retrieval Integration Layer engine uses Spotlight in conjunction with a naive Bayesian reverse classifier to analyze stored data in real time.”
Sat, 02 Apr 2005 01:41:53 GMT
|
NetNewsWire Press Release
“Ranchero Software proudly announces the release of NetNewsWire 1.0.” Etc.
Wed, 12 Feb 2003 23:40:59 GMT
|
GTK for OS X
OSXFAQ: “GTK+OSX has released a native Macintosh Aqua port of the Linux-based GTK+ open source graphical user interface library.” This should make porting Linux apps to OS X easier.
Tue, 31 Dec 2002 20:54:02 GMT
|
The Do’s and Don’ts of Shareware, Part 3
O’Reilly: “Today we conclude the series with a discussion about press releases, payment processing, user support, a launch checklist, localization, and working from the road.”
Sat, 26 Oct 2002 00:10:57 GMT
|
The Do’s and Don’ts of Shareware, Part 1
O’Reilly: “I’ll be facilitating open and frank discussions about sales percentages, servers, coding styles, tools, Web sites, mirrors, sales engines, installers, registrations, support, press releases, marketing, database back-ends, localization. I’ll even come up with a checklist for your first release. Just about everything you’ll need to consider before shipping your product will be discussed right here.”
Mon, 30 Sep 2002 22:18:21 GMT
|
|
|
|
|
|
|
