Помер Реймонд Смалліан

Місяць тому, 6 лютого 2017 року у віці 97 років помер Реймонд Смалліан — відомий логік, філософ і музикант.

Широкому загалу Смалілан відомий передусім своїми популяризаторськими роботами з логіки, написаними у жанрі бірок головоломок. При цьому не можна й применшити його вклад в науку як теоретика. Саме йому ми завдячуємо строгим і водночас елегантним формулюванням теорії формальних систем, в якому замість гранично загальних постівських понять введено прості в застосуванні конструкції елементарних формальних систем, формальних арифметик у двобуквовому алфавіті та ґьоделевих нумерацій над ними.

Окрім логіки Смалліан займався теорією шахової гри, зокрема, ретроградним аналізом. У філософії учений тяжів до даосизму.

І ще один талант, яким він був знаменитий — музичний. Реймонд був чудовим піаністом, бо в молодості отримав відповідну освіту.

За поєднанням своїх інтересів та широтою інтересів Реймонд Смалліан залишається унікальним в логічному світі.