This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new fiel……続きを見る
Christopher Phillips has devoted his life to carrying the torch of Socrates and his quest to “Know Thyself.” Yet upon the death of his beloved father and mentor, the originator of the burgeoning glo……続きを見る
Two years ago, in the preface to another essay, the present writer ventured to affirm that "Civilisation moves rather towards a chaos than towards a cosmos." But he could not foretell that the desce……続きを見る
Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this ……続きを見る
