Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Raymond Smullyan on Self Reference (eBook)

Melvin Fitting, Brian Rayman (Herausgeber)

eBook Download: PDF
2018 | 1st ed. 2017
VIII, 195 Seiten
Springer International Publishing (Verlag)
978-3-319-68732-2 (ISBN)

Lese- und Medienproben

Raymond Smullyan on Self Reference -
Systemvoraussetzungen
106,99 inkl. MwSt
(CHF 104,50)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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.



Profile Editor 1:

Melvin Fitting began his scientific career in 1968 and became Professor Emeritus in 2013, working for the entire time at the City University of New York. His work as a logician has included set theory, automated theorem proving, computer language semantics, and philosophical logic. Some of his books in these areas are well known, while others are not as well known as he would like. Following the example of his thesis advisor, Raymond Smullyan, retirement has not meant the end of a research career.


Profile Editor 2:

Brian Rayman works for New York City's Department of Education. He holds Mathematics Education and Public Policy degrees from New York University and Columbia University, respectively. Since his days as an undergraduate, Brian has deeply embraced Professor Smullyan's works in recreational mathematics and Eastern philosophy. As a high school mathematics teacher, he integrated Raymond's work into his curriculum and invited him to speak to his students. Raymond kindly accepted and after two hours, students were no longer sure where mathematics ended and magic began, and vice versa. Today, he considers his most significant accomplishment as being counted among Raymond's friends and performing magic tricks that nearly made Raymond's eyes pop out. Brian lives in Carroll Gardens, Brooklyn, with his wife and two sons.

Profile Editor 1:Melvin Fitting began his scientific career in 1968 and became Professor Emeritus in 2013, working for the entire time at the City University of New York. His work as a logician has included set theory, automated theorem proving, computer language semantics, and philosophical logic. Some of his books in these areas are well known, while others are not as well known as he would like. Following the example of his thesis advisor, Raymond Smullyan, retirement has not meant the end of a research career.Profile Editor 2:Brian Rayman works for New York City’s Department of Education. He holds Mathematics Education and Public Policy degrees from New York University and Columbia University, respectively. Since his days as an undergraduate, Brian has deeply embraced Professor Smullyan’s works in recreational mathematics and Eastern philosophy. As a high school mathematics teacher, he integrated Raymond’s work into his curriculum and invited him to speak to his students. Raymond kindly accepted and after two hours, students were no longer sure where mathematics ended and magic began, and vice versa. Today, he considers his most significant accomplishment as being counted among Raymond’s friends and performing magic tricks that nearly made Raymond’s eyes pop out. Brian lives in Carroll Gardens, Brooklyn, with his wife and two sons.

Introduction; Melvin Fitting.- Formal Systems, Logics, and Programs; Robert L. Constable.- Adaptive Fault Diagnosis using Self-Referential Reasoning; Robert Cowen.- Russell’s Paradox, Godel’s Theorem ; Melvin Fitting.- Dance of the Starlings ; Henk Barendregt ; Jorg Endrullis ;  Jan Willem Klop ;  Johannes Waldmann.- Some Tweets About Mockingbirds; Rick Statman.- What I Tell You Three Times Is True ; Martin Davis.- Gödel, Lucas, and the Soul-Searching Selfie ; Vann Mc Gee.- An Island Tale for Young Anthropologists; Andrew G. Buchanan & John H. Conway.- Making the `hardest logic puzzle ever' a bit harder ; Walter Carnielli.- Bibliography; Raymond Smullyan.

Erscheint lt. Verlag 11.1.2018
Reihe/Serie Outstanding Contributions to Logic
Outstanding Contributions to Logic
Zusatzinfo VIII, 195 p. 23 illus., 18 illus. in color.
Verlagsort Cham
Sprache englisch
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Mathematik / Informatik Informatik
Mathematik / Informatik Mathematik
Schlagworte Andrew Buchanan Smullyan • Bob Constable Smullyan • Constructive Type Theory • Gödel Johannes Smullyan • Henk Barendregt Smullyan • Incompleteness logic • Jan Willem Klop Smullyan • John Conway Smullyan • Jorg Endrullis Smullyan • Martin Davis Smullyan • Raymond Smullyan dead • Raymond Smullyan death • Raymond Smullyan RIP • Recursion logic • Richard Statman Smullyan • Robert Cowen Smullyan • Self-reference logic • Stephen Yablo Smullyan • Vann McGee Smullyan • Walter Carnielli Smullyan
ISBN-10 3-319-68732-8 / 3319687328
ISBN-13 978-3-319-68732-2 / 9783319687322
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 3,9 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
CHF 24,35
Ein Methodenbuch

von Gregor Damschen; Dieter Schönecker

eBook Download (2024)
De Gruyter (Verlag)
CHF 24,35
Gesundheitsschutz - Selbstbestimmungsrechte - Rechtspolitik

von Hartmut Kreß

eBook Download (2024)
Kohlhammer Verlag
CHF 34,15