| This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
THE lectures on which this book is based were conceived by Chris Brickhill and John Crossley. Our aim was to introduce the very important ideas in modern mathematical logic without the detailed mathematical work which is required of those with a professional interest in logic. The lectures were given at Monash University and the University of Melbourne in the autumn and winter of 1971. Their popularity induced us to produce this book which we hope will give some idea of the exciting aspects of mathematical logic to those who have no mathematical training.
We must add that we very much enjoyed giving these lectures and that the audience response exceeded all our expectations. We thank Associate Professor John McGechie of Monash University and Professor Douglas Gasking of the University of Melbourne who so ably supported us in this venture. We must also thank Dennis Robinson and Terry Boehm for their assistance to Chris Brickhill in the preparation of these notes. Finally we thank AnneMarie Vandenberg who so masterfully dealt with the typing. |
|
|
|