[PRL] good resources on logic
Felix S Klock II
pnkfelix at ccs.neu.edu
Fri May 27 09:10:30 EDT 2005
On May 26, 2005, at 11:14 PM, Dave Herman wrote:
> What are people's favorite resources (books, articles, web sites,
> whatever) on logic? I don't mind if it's elementary -- I've never
> had a good logic course.
Will Clinger lent me copies of several books on logic and
metamathematics. Of them, I found "Computability and Logic" by
Boolos and Jeffrey to be the most enlightening (the others were
shorter, but seemed to spend too much time covering material that I
felt I already had a handle on, like the halting problem):
Also, I recently started looking at "Logic, Logic, and Logic" by
Boolos again, and its really helping me to better understand some of
my own misgivings about the fundamentals (e.g. it has an essay
discussing whether we should be accepting ZF(C) at face value).
Finally, I also have a copy of "From Frege to Godel", which I have
found quite fascinating from a historical standpoint. It is
incredibly difficult to read, if only because in reading it one must
sacrifice many of the modern notational conventions. Still, there's
nothing quite like reading (translations of) the original source
texts by Peano, Russell, and others.
More information about the PRL