Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
Outstanding Contributions to Logic

Raymond Smullyan on Self Reference

    • US$89.99
    • US$89.99

출판사 설명

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known.
This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

장르
논픽션
출시일
2018년
1월 11일
언어
EN
영어
길이
203
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
4.6
MB
Logic, Reasoning, and Rationality Logic, Reasoning, and Rationality
2014년
Proof, Computation and Agency Proof, Computation and Agency
2011년
Paraconsistency: Logic and Applications Paraconsistency: Logic and Applications
2012년
Constructivity and Computability in Historical and Philosophical Perspective Constructivity and Computability in Historical and Philosophical Perspective
2014년
Logical Studies of Paraconsistent Reasoning in Science and Mathematics Logical Studies of Paraconsistent Reasoning in Science and Mathematics
2016년
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
2018년
Ewa Orłowska on Relational Methods in Logic and Computer Science Ewa Orłowska on Relational Methods in Logic and Computer Science
2018년
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
2021년
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
2022년
Samson Abramsky on Logic and Structure in Computer Science and Beyond Samson Abramsky on Logic and Structure in Computer Science and Beyond
2023년
Kit Fine on Truthmakers, Relevance, and Non-classical Logic Kit Fine on Truthmakers, Relevance, and Non-classical Logic
2023년
Janusz Czelakowski on Logical Consequence Janusz Czelakowski on Logical Consequence
2024년