Smullyan #4, To Mock a Mockingbird

To Mock a Mockingbird Raymond Smullyan

이 책은 논리 퍼즐을 다룬 전반부와 combinatory logic을 다룬 후반부로 나뉘어져있다. 전반부는 퍼즐책이라 해도 좋지만, 후반부는 퍼즐의 탈을 쓴 수학책이다. 전반부 논리 퍼즐부분은 스멀리언씨의 후반부 저작물답게 적절한 난이도 - 반 정도는 풀 수 있는 난이도 - 를 가지고 있다.

후반부의 combinatory logic에선 먼저 combinator들을 소개한다. 콤비네이터는 쉽게 말하면 함수(function)이다. 하지만 함수가 다른 함수에 대입될 수 있고, 함수의 결과값으로 함수가 나올 수 있기 때문에 (higher order function이라고 한다) 함수의 입력값과 결과값이 보통 숫자라고 알고 있던 나의 머리속을 헷갈리게 하기 시작한다. 소개된 여러 combinator들은 서로 조합되어 여러 가지를 만들어낼 수 있는데, Church (수학자 이름이다)의 number를 표현할 수 있으며, lambda calculus에 대응되어 현대 프로그래밍과 동등한 계산 능력을 발휘할 수 있다. 스멀리언씨가 좋아하는 괴델의 불완전성 정리를 combinator를 이용하여 이야기한다.

스멀리언씨의 이야기꾼 재능과, combinatory logic 자체의 재미가 조합되어 후반부는 그리 복잡하지는 않았다. 단지 난 퍼즐책을 보면서 퍼즐을 풀고 싶었는데 이 책에서는 수학 문제를 푼 셈이 되어버려서, 굳이 말하지면 그 점이 아쉬웠다고나 할까.

combinatory logic의 기본인 higher order function은 점점 각광받고 있는 함수형 프로그래밍 언어의 특징이다. combinator들을 이용하여 문제를, 실제 프로그램을 보다 쉽고 재미있게 풀 수 있을까? 궁금해지고 있다.

This book might be most well-known puzzle book of Raymond Smullyan in Computer Science society, for it deals with combinatory logic which is equivalent to lambda calculus and in turns lambda calculus is equivalent to modern computer programming languages. During my study of Haskell programming language at spring 2009, I came across with that information and bought this book right then. At that time, I read some former parts, and there are normal logic puzzle, like truth-telling Knights and lying Knaves, and put it down without serious reading combinatory logic parts.

I'm solving some puzzles daily before sleep this year and I finally take a trip to Smullyan's forest full of combinatory birds. The latter part of this book deals with combinatory logic. This is a puzzle book, but combinatory logic is definetly math, no matter what the author calls combinators as birds. So this is a math book. But I enjoyed this book. Combinatory logic might be one of few math topic which is not boring but interesing. I was very glad to find out variety of combinators, the relationship between combinatory logic and lambda calculus. "introduction to combinator logic and lambda calclus" should be the subtitle of this book.

Can combinatory logic be practical? It might be.

So.. I ordered a book named "Lambda calculus and combinators: introduction".

New Shoes/ 새 운동화

새 운동화를 샀다. HM이 완벽하다며 추천한 Reebok Realflex Transition. 품번은 J87794. 신어보니 신발바닥이 잘 휘어지는 것은 나이키 프리와 비슷하지만,  바닥에 발 닫는 면 (그 부분을 무엇이라고 해야하나 족심인가..)이 두텁게 대어져 있어 색다른 느낌이다. 뭐라고 할까, 억지로 맨발 느낌을 내려고 했다고나 할까? 달릴때 보다는 실내에서 운동할 때 어울릴 느낌.

수명을 다 하여 가고 있는 Asics Gel Nimbus-13 LE와 함께 한 컷 찍어 주었다. 사이즈는 270mm. 딱 맞다. 아식스도 270mm인데 아식스는 좀 크다.


My favorite and only one pair of running shoes Asics Gel Nimbus-13 LE are wearing out. I bought new shoes Reebok Realflex Transition. Reebok says Transition line is for fitness, and there is Optimal line for running. I chose Transition line because my knee hurts still now. Be my good friend, Flex!

아버지의 패널토크 / My Father's Panel Talk

보건복지부 주최 제 6회 전국노인자원봉사대축제에 아버지가 참석하신다. 아마 지금 진행하고 계시겠다. KOICA봉사 활동 및 여러 도전에 대하여 이야기를 하시고 있으리라. 아버지 화이팅이에요!

HO's grandfather is participating in Senior Volunteer Festival at Daejeon now. He is on the panel talking about volunteering in front of an audience of about a thousand. He's awesome, isn't he? :-D

Smullyan #3, The Riddle of Scheherazade

The Riddle of Scheherazade: And Other Amazing Puzzles Raymond Smullyan

사고력을 키워주는 논리퍼즐, 레이먼드 스멀리언 저, 박만엽 역, 문예출판사

스멀리언의 책을 모으다 보니 벌써 여섯권이다.

• 1977 The Tao is Silent
• 1978 What Is the Name of This Book?
• 1985 To Mock a Mockingbird
• 1987 Forever Undecided
• 1997 The Riddle of Scheherazade
• 2010 King Arthur in Search of His Dog

이번에 읽은 것은 The Riddle of Scheherazade. 국내 발매된 레이먼드 스멀리언의 퍼즐책 두권중 하나이다. 전반부는 평이했으나, 후반부는 갑자기 난이도가 상승하여 퍼즐을 풀었다기 보다는 답을 읽어나갔다. 이거이거... 머리가 못따라가는 것이다.
마지막의 두 봉투 패러독스 문제를 보곤 무릎을 쳤다. 몬티 홀 문제보다 교묘하다! 이런 문제도 있구나. 그러고 보면 세상에는 재미있는 것들이 참 많다.

The Riddle of Scheherazade is Dr. Smullyan's later part of work and has many brainteasers compared to What Is the Name of This Book. Too complex for my brainpower.
Next book is To Mock a Mocking bird. It's theme is combinatorial logic. I came across the name of Dr. Smullyan in learning programming language Haskell, the main features of which are based on combinatorial logic. I hope to enjoy the book.