Kirjojen hintavertailu. Mukana 11 699 587 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Raymond M Smullyan; Melvin Fitting

Set Theory and the Continuum Problem

Set Theory and the Continuum Problem

Raymond M Smullyan; Melvin Fitting

Dover Publications Inc.
2009
pokkari
A lucid, elegant, and complete survey of set theory, this volume is drawn from the authors' substantial teaching experience. The first of three parts focuses on axiomatic set theory. The second part explores the consistency of the continuum hypothesis, and the final section examines forcing and independence results.Part One's focus on axiomatic set theory features nine chapters that examine problems related to size comparisons between infinite sets, basics of class theory, and natural numbers. Additional topics include author Raymond Smullyan's double induction principle, super induction, ordinal numbers, order isomorphism and transfinite recursion, and the axiom of foundation and cardinals. The six chapters of Part Two address Mostowski-Shepherdson mappings, reflection principles, constructible sets and constructibility, and the continuum hypothesis. The text concludes with a seven-chapter exploration of forcing and independence results. This treatment is noteworthy for its clear explanations of highly technical proofs and its discussions of countability, uncountability, and mathematical induction, which are simultaneously charming for experts and understandable to graduate students of mathematics.
Vertaile hintoja
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2015
sidottu
This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great logicians Gödel and Tarski, and discusses logic in general, and how he won his wife with a logic trick! Smullyan also relates some of his teaching experiences, and expresses his views on mathematical education, and how our present textbooks are primarily responsible for its decline! About his life as a pianist, Smullyan relates a good deal about his experiences with the Piano Society — a wonderful organization to which he is a staunch contributor, and how he has had such delightful relations with many of its members. Last but not least, Smullyan recounts how he has known some lovely ladies over the years.
Vertaile hintoja
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2015
nidottu
This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great logicians Gödel and Tarski, and discusses logic in general, and how he won his wife with a logic trick! Smullyan also relates some of his teaching experiences, and expresses his views on mathematical education, and how our present textbooks are primarily responsible for its decline! About his life as a pianist, Smullyan relates a good deal about his experiences with the Piano Society — a wonderful organization to which he is a staunch contributor, and how he has had such delightful relations with many of its members. Last but not least, Smullyan recounts how he has known some lovely ladies over the years.
Vertaile hintoja
Magic Garden Of George B And Other Logic Puzzles, The

Magic Garden Of George B And Other Logic Puzzles, The

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2015
sidottu
Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary reader into deep logical waters through seductively entertaining logic puzzles. One example is Boolean algebra with such weird looking equations as 1+1=0 — a subject which today plays a vital role, not only in mathematical systems, but also in computer science and artificial intelligence.
Vertaile hintoja
Magic Garden Of George B And Other Logic Puzzles, The

Magic Garden Of George B And Other Logic Puzzles, The

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2015
nidottu
Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that requires a chain of lesser puzzles to be solved first. The reader is thus taken on a journey through a maze of subsidiary problems that has all the earmarks of an entertaining detective story.This book leads the unwary reader into deep logical waters through seductively entertaining logic puzzles. One example is Boolean algebra with such weird looking equations as 1+1=0 — a subject which today plays a vital role, not only in mathematical systems, but also in computer science and artificial intelligence.
Vertaile hintoja
Beginner's Further Guide To Mathematical Logic, A

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2017
nidottu
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Vertaile hintoja
Beginner's Further Guide To Mathematical Logic, A

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

World Scientific Publishing Co Pte Ltd
2017
sidottu
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Vertaile hintoja
This Book Needs No Title

This Book Needs No Title

Raymond M Smullyan; Donald Knuth

What Is the Name of This Press
2023
pokkari
This Book Needs No Title brings the delight and fascination with self-reference and paradox that distinguish Raymond Smullyan's popular books on logic to bear on philosophical and spiritual themes. Progressing organically from brief anecdotes, paradoxes, jokes, and epigrams to dialogues, essays, and finally the marvelous novella-length parable, "Planet Without Laughter", Smullyan uses reason to illuminate its own limits in playfully serious treatments of subjects such as egoism, pessimism, anxiety, mysticism, free will and determinism, dualism, Zen, spontaneity, and humor. No thinker has ever banished grimness more fully from his philosophy than Smullyan, nor made profundity more cheerfully contagious, as the uninhibited pleasure in inquiry in these pages joyfully testifies.
Vertaile hintoja
Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

Raymond M. Smullyan

Oxford University Press Inc
1992
sidottu
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
Vertaile hintoja
Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

Raymond M. Smullyan

Oxford University Press Inc
1993
sidottu
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
Vertaile hintoja
Diagonalization and Self-Reference

Diagonalization and Self-Reference

Raymond M. Smullyan

Clarendon Press
1994
sidottu
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
Vertaile hintoja
Who Knows?

Who Knows?

Raymond M. Smullyan

Indiana University Press
2003
pokkari
Is there really a God, and if so, what is God actually like? Is there an afterlife, and if so, is there such a thing as eternal punishment for unrepentant sinners, as many orthodox Christians and Muslims believe? And is it really true that our unconscious minds are connected to a higher spiritual reality, and if so, could this higher spiritual reality be the very same thing that religionists call "God"? In his latest book, Raymond M. Smullyan invites the reader to explore some beautiful and some horrible ideas related to religious and mystical thought. In Part One, Smullyan uses the writings on religion by fellow polymath Martin Gardner as the starting point for some inspired ideas about religion and belief. Part Two focuses on the doctrine of Hell and its justification, with Smullyan presenting powerful arguments on both sides of the controversy. "If God asked you to vote on the retention or abolition of Hell," he asks, "how would you vote?" Smullyan has posed this question to many believers and received some surprising answers. In the last part of his treasurable triptych, Smullyan takes up the "beautiful and inspiring" ideas of Richard Bucke and Edward Carpenter on Cosmic Consciousness. Readers will delight in Smullyan's observations on religion and in his clear-eyed presentation of many new and startling ideas about this most wonderful product of human consciousness.
Vertaile hintoja
What is the Name of This Book?

What is the Name of This Book?

Raymond M. Smullyan

Dover Publications Inc.
2011
nidottu
In his most critically acclaimed work, a celebrated mathematician presents more than 200 increasingly complex and challenging problems — puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions. "The most original, most profound, and most humorous collection of recreational logic and math problems ever written." — Martin Gardner.
Vertaile hintoja
Chess Mysteries of Sherlock Holmes

Chess Mysteries of Sherlock Holmes

Raymond M. Smullyan

Dover Publications Inc.
2012
nidottu
Join Holmes and Watson as they examine interrupted games to deduce prior moves. A series of increasingly complex chess mysteries culminates in a double murder perpetrated by Professor Moriarty. The master sleuth instructs his companion (and us) in the intricacies of retrograde analysis; readers need only a knowledge of how the pieces move.
Vertaile hintoja
The Mathematics of Various Entertaining Subjects

The Mathematics of Various Entertaining Subjects

Raymond M. Smullyan

PRINCETON UNIVERSITY PRESS
2015
sidottu
The history of mathematics is filled with major breakthroughs resulting from solutions to recreational problems. Problems of interest to gamblers led to the modern theory of probability, for example, and surreal numbers were inspired by the game of Go. Yet even with such groundbreaking findings and a wealth of popular-level books exploring puzzles and brainteasers, research in recreational mathematics has often been neglected. The Mathematics of Various Entertaining Subjects brings together authors from a variety of specialties to present fascinating problems and solutions in recreational mathematics. Contributors to the book show how sophisticated mathematics can help construct mazes that look like famous people, how the analysis of crossword puzzles has much in common with understanding epidemics, and how the theory of electrical circuits is useful in understanding the classic Towers of Hanoi puzzle. The card game SET is related to the theory of error-correcting codes, and simple tic-tac-toe takes on a new life when played on an affine plane. Inspirations for the book's wealth of problems include board games, card tricks, fake coins, flexagons, pencil puzzles, poker, and so much more. Looking at a plethora of eclectic games and puzzles, The Mathematics of Various Entertaining Subjects is sure to entertain, challenge, and inspire academic mathematicians and avid math enthusiasts alike.
Vertaile hintoja
123...50