tailieunhanh -
 Logic Computation And Set Theory Forster
  
  

 
  
 

This book is based on my lecture notes and supervision ( tutorial) notes for the course entitled " Logic Computation and Set Theory" which is lecture in part II(third years) at the Cambridge Mathematics Tripos. The choise material is not mine, but is laid down by the Mathematics Faculty Board having regard to what student have to learned in their first two years. | Logic Computation and Set Theory Thomas Forster January 14 2002 2 Preface This book is based on my lecture notes and supervision tutorial notes for the course entitled Logic Computation and Set theory which is lectured in part II third year of the Cambridge Mathematics Tripos. The choice of material is not mine but is laid down by the Mathematics Faculty Board having regard to what the students have learned in their first two years. Third-year mathematics students at Cambridge have learned a great deal of mathematics Cambridge is one of the few schools where it is possible for an undergraduate to do nothing but mathematics for three years but they have done no logic to speak of. Readers who know more logic and less mathematics than did the original audience for this material and they may well be a majority outside these islands may find the emphasis rather odd. The part lib course of which this is a component is designed for strong mathematics students who wish to go further and who need some exposure to logic it was never designed to produce logicians. This book was written to meet a specific need and to those who suffer that need I offer it in the hope that it can be of help. I offer it also in the hope that it will convey to mathematicians something of the flavour of the distinctive way logicians do mathematics. However the feature of this book that is perhaps most distinctive the freewheeling approach to induction goes back to Conway s beautiful book op. cit. . Like all teachers I owe a debt to my students. Any researcher needs students for the stimulating questions they ask but in addition those attempting to write textbooks will be grateful to their students for the way they push US to give clearer explanations than our unreflecting familiarity with elementary material normally generates. I particularly want to thank Jonathon Kirby Rosi Sexton Tom Jones and David Chan. Things in boldface are usually being defined. Things in italic are being emphasised. Some .