Cantitate/Preț
Produs
Total produse
Vezi coșul
Raymond Smullyan on Self Reference de Melvin Fitting

Raymond Smullyan on Self Reference: Outstanding Contributions to Logic, cartea 14

Editat de Melvin Fitting, Brian Rayman
en Limba Engleză Hardback – 22 ian 2018
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 67824 lei  43-57 zile
  Springer International Publishing – 6 iun 2019 67824 lei  43-57 zile
Hardback (1) 68435 lei  43-57 zile
  Springer International Publishing – 22 ian 2018 68435 lei  43-57 zile

Din seria Outstanding Contributions to Logic

Preț: 68435 lei

Preț vechi: 80512 lei
-15% Nou

Puncte Express: 1027
Preț estimativ în valută:
13097€ • 13604$ • 10879£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319687315
ISBN-10: 331968731X
Pagini: 194
Ilustrații: VIII, 195 p. 23 illus., 18 illus. in color.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.46 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seria Outstanding Contributions to Logic

Locul publicării:Cham, Switzerland

Cuprins

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.

Notă biografică

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, heintegrated 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.

Textul de pe ultima copertă

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.

Caracteristici

Celebrates Raymond Smullyan, a mathematician, philosopher, musician, and inventor of logic puzzles, who has made a lasting impact on the study of mathematical logic Is the first book honoring Raymond Smullyan’s contributions to self-reference, with new approaches by his peers Collects tributes to Professor Raymond Smullyan’s work on self-reference by leading logicians Presents new approaches to self-reference