Raymond M. Smullyan [*1919 ]