The Logic of Provability
George S. Boolos
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.
Categories:
Year:
1995
Publisher:
Cambridge University Press
Language:
english
Pages:
314
ISBN 10:
0521483255
ISBN 13:
9780521483254
File:
PDF, 8.35 MB
IPFS:
,
english, 1995