Logic from Russell to Church: 5 (Handbook of the History of Logic)

Logic from Russell to Church: 5 (Handbook of the History of Logic)


This quantity is quantity 5 within the 11-volume Handbook of the heritage of Logic. It covers the 1st 50 years of the advance of mathematical good judgment within the twentieth century, and concentrates at the achievements of the good names of the period--Russell, submit, Gödel, Tarski, Church, and so forth. This used to be the interval within which mathematical common sense gave mature expression to its 4 major elements: set thought, version thought, evidence concept and recursion conception. jointly, this paintings ranks as one of many maximum achievements of our highbrow background. Written via best researchers within the box, either this quantity and the instruction manual as a complete are definitive reference instruments for senior undergraduates, graduate scholars and researchers within the historical past of good judgment, the historical past of philosophy, and any self-discipline, comparable to arithmetic, desktop technological know-how, and synthetic intelligence, for whom the ancient history of his or her paintings is a salient consideration.

• the whole variety of modal common sense is covered
• Serves as a novel contribution to the highbrow heritage of the 20 th century
• includes the most recent scholarly discoveries and interpretative insights

Show sample text content

Download sample