Про знаменитості
Реймонд Меррілл Смалліан: біографія
-
американський математик, піаніст, логік, даоський філософ і ілюзіоніст
Автор численних науково-популярних книг з логіки та математики: про логічні загадки і парадокси, передових концепціях у логіці, наприклад, про теорему Геделя про неповноту.
У своїй книзі про шахиШахові пригоди Шерлока Холмса(англ.The Chess Mysteries of Sherlock Holmes; 1979) у стилі творів Артура Конан Дойля про Шерлока Холмса і Доктора Ватсона описано введення в ретроспективний аналіз.
Смалліан написав кілька книг про даоської філософії, в яких зроблена спроба вирішення більшості філософських проблем та інтеграції математики, логіки та філософії.
Список творів англійською мовою
Логічні головоломки
- (1992) Satan, Cantor and Infinity
- (1982) Alice in Puzzle-Land
- (1997) The Riddle of Scheherazade
- ( 2007) The Magic Garden of George B. And Other Logic Puzzles, Polimetrica (Monza / Italy)
- (1982) The Lady or the Tiger?
- (1978) What Is the Name of This Book?
- (1985) To Mock a Mockingbird
- (1987) Forever Undecided
- (2009) Logical Labyrinths, AK Peters
- (1981) The Chess Mysteries of the Arabian Knights
- (1979) The Chess Mysteries of Sherlock Holmes
Філософія
- (2009) Rambles Through My Library, Praxis International
- (1983) 5000 BC and other philosophical fantasies
- (1977) The Tao is Silent
- (1980) This Book Needs No Title
- (2003) Who Knows?: A Study of Religious Consciousness
- (2002) Some Interesting Memories: A Paradoxical Life
Наукові праці
- (1993) Recursion Theory for Metamathematics
- (1992) G?del 's Incompleteness Theorems
- (1996) Set Theory and the Continuum Problem
- (1961) Theory of Formal Systems
- (1968) First-Order Logic
- (1994) Diagonalization and Self-Reference