독서록: 괴델의 삶

작년 여름즈음부터인가 읽기 시작했던 책입니다. 시작은 숱한 알고리즘 시험/공부에서 였습니다. 많이도 듣던 여러 수학적인 기술들을 듣다보니, 괴델이라는 인물로 집중이 되던게 머리속에 맴돌고 있다가. 알라딘 중고서점에서 우연히 눈에 띄어서 우연히 읽기 시작했습니다. 참 운이 좋았던 것 같습니다. 1997년도 책입니다. 요즘 이곳저곳에서 인공지능 관련 책들이 쏟아지고 있지만, 고전적인 알고리즘이나 그와 연관된 사람들, 최초였던 사람들에 대한 이야기는 별로 없습니다. 물론 현재의 현대적인 붐을 이끄는 분들은 모두 그 1세대들을 알고 따르고 계시겠지만, 저는 약간 치기 어린 분한 느낌도 들었던 것이 있었습니다. 나도 1세대들을 따라서 2세대가 될 수는 없을까? 하는 것이었죠. 지금에와서는 3세대가 되는것 만으로도 감지덕지라는 걸 여기저기 소식들을 들어가면서 느끼고 있습니다만, 그래도 배우는 것에서 원조, 본류를 알고 따라 가는 것은 의미가 있다고 생각합니다.

괴델은 수학자이고 철학자로 분류됩니다. 저같은 컴퓨터 엔지니어와는 조금 거리가 있는게 되지만, 컴퓨터라는 것의 역사를 따라가다보면 결국 수학태동과 실험들과 만나고, 현재도 분명 수학의 기반 위에서 작동하고 있고, 꾸준히 개선되고 만들어지고 있습니다. 물론 물리학이 더 만드는 것에 밀접한 관련이 있을 수 있지만, 그 구성은 수학입니다. 요즘 NPU이니 뭐니 하지만, 결국은 수학계산을 어떻게 하면 빠르게, 주어진 시간내에서 한정된 자원들로 계산을 마쳐서 결과를 내느냐 하는것이기 때문에, 기존의 CPU, GPU와 크게 다를게 없습니다. 단지 그 계산의 종류에 산술적인것과 논리적인 것이 섞여 있고, 둘 간의 아름다운 하모니로 결과가 나오게 됩니다. 둘중 어느하나도 컴퓨터에서 빠지면 안됩니다. 어쩌면 인간 자체, 스스로의 생각하는 힘, 그 기초적인 부분이 들어 있다라고도 생각합니다. 물론 인간이 기계와도 같다라는 생각은 아니고, 컴퓨터가 인간의 모사체라는 것에는 이의가 없습니다.

이 책은 구성이 사전 요약이 우선하고, 괴델의 일생을 연대기 처럼 서술하고 있습니다. 대부분 여러 자료들을 모아서, 사실 여부를 기술한 것이기에 딱히 괴델이라는 인물에 흥미가 없다면, 참 재미 없을 책입니다. 게다가, 내용이 거의 3번 되풀이 되어서 나옵니다. 첫부분부터가 요약이고, 뒷부분이 그 요약의 대상이 었던 조금 더 자세한 서술이라, 같은 문장을 또 읽는 느낌을 여러번 받게 됩니다. 게다가 중간부분은 아마도 저자가 특정 사건을 위주로 다시 일생 사건들을 재서술 하고 있어서, 약간 세뇌 받는 느낌도 듭니다. 그런 와중에 나름 빠져드는 부분은 1900년대의 여러 거장들, 대표적으로 아인슈타인이 참 많이 등장한다는 부분일 것입니다. 책을 읽다보면 괴델과 아인슈타인은 거의 소울메이트인 것으로 보입니다. 물론 아인슈타인이 거의 한세대 전 인물이기에 아버지나, 큰형쯤 되는게 맞긴 하겠습니다만, 그런 관계는 동양의 관계론의 관점에서 생각한 것이겠고, 인생의 철학을 나눌 수 있는 그런 관계였다는 생각이 듭니다. 그밖에 힐베르트, 비트겐슈타인, 베르나이스, 러셀 등 수학과 철학, 물리학에서 유명한 사람들은 전부 등장하는 듯 합니다. 그만큼 그 시대에 중요한 위치에 있었던 인물이라는 것이겠지요.

이번에도 책에서 나름 스스로 의미있게 받아 들인 부분에 대해서 인용후 생각을 적어보도록 하겠습니다.

p. 143. 비트겐슈타인에 영향을 미친 사람들 목록
이 부분은 인용이라기보다는 참조로 페이지를 기술해봤습니다. 277페이지의 책중에 반이 넘어선 후부터 뽑기 시작한 것인데요. 사실 그 전에는 정말 참조할게 있나 싶을 정도로 일대기들이 많아서, 아.. 그렇구나 하면서 정말 “괴델의 삶”을 단순히 알아보는 수준이었습니다. 하지만 중간쯤부터 저자의 영향인지는 모르겠으나, 비트겐슈타인에 대한 내용이 참 집중적으로 많이 나오기 시작합니다. 분명 괴델의 삶인데, 비트겐 슈타인에 대한 책을 읽는 느낌까지 들었습니다. 아마도 저자가 괴델과 비트겐슈타인을 비교/대조 하고 싶었던 듯 합니다. 덕분에 다음번 책들은 비트겐슈타인의 책들이 대기중입니다. 이 페이지에서 참 많은 사람들이 또 나오는데, 첫 문단에서도 이야기 했지만, 본류를 찾아간다는 의미에서 나름 다음 흥미거리를 돋우는데 기여를 하여서 뽑아봤습니다.

p. 144 TBD…

사고실험 : 빠른 빛, 완벽한 어둠, 연금술

뭔가 오컬트 느낌이 나는 제목을 적어봤는데요. 시작은 단순히 샤워를 하면서, 몸에 맞은 물줄기들이 더 가는 물방울들도 흩어져서 사라지는 것 처럼 보이는 것에서 떠올렸습니다. 보통 빛은 속도가 일정하다고 합니다. 이 때 빛의 파장에 대해서는 얘기를 들어본적이 없었지만, 모든 파장이겠죠? 전자기파도 마찬가지이겠고요. 모든 빛과 전자기파들은 에너지이고, 이중 유용한 대역등은 무선통신등에 활용되고 있고요. 그다음 생각은 어둠이 떠올랐습니다. 밤중에 샤워하려니 으스스한 기분에 인간이 만든 불’빛’을 생각해 봤고요. ‘빛’으로 생명이 에너지를 얻고, 살아가며, 불’빛’을 발생시킬 수 있는 인류가 대단한건지? 필연적으로 그렇게 되게 된건지라는 생각도 해봤습니다.

생각이 살짝 어긋나서, 전자의 속도를 생각해봤고요. 처음은 유선상의 속도였습니다. 정확히는 매질(도체)을 통한 전자들의 속도를 생각해보고, 빛의 속도로 이어졌습니다. 그리고 우리가 사는 지구, 태양계의 은하계 활주 속도를 떠올려봤고. 최근에 보았던, 태양계의 경계가 떠올랐습니다. 태양계 전체가 특정 방향으로 운동 중인건 사실인 것으로 여기저기에서 글들이 보이고, 입자들의 속도가 느려지는?? 혹은 상쇄되는 어떤 막이 있다라는 글과 그림들을 보았고요. 우리도 그 무지막지한 속도로 운동을 하고 있는것이겠지요. 지구위에서의 상대적인 속도는 거의 0에 수렴하겠지만요…

그러다가 감마선 찾아보고 방사선 붕괴와 원자의 변화를 보다가.. 연금술은 거짓이 아니구나라는 생가을 하고, 옛날에도 진짜 연금술사들이 있지 않았을까하는 생각과 과거에는 지금보다 쉽게 물질을 변환시킬 수 있지 않았을까 하는 생각도 해봤습니다.

이러다가 위키에서 파인만 항목을 한시간동안 읽고. 파인만의 빨간책을 구해봐야겠다는 생각으로 이만 접습니다.

연초 마음먹은 코드 연습을 해보려 VisualStudio2017을 다시 깔아봤지만

여전히 에러가 나오네요. Unity를 설치했을때, Visual Studio에 기반하여 무엇인가 설치되는것 같았는데, 여전히 뭔가가 꼬여서 안되는 모양입니다. 일단…. 다 지우고 다시 깔아보는 것과 VisualStudio Code로 좀더 연습을 해봐야겠습니다.

그래도 미련을 못버리고, 이곳저곳 찾아다니다가. 포럼글을 발견하고, 그중 댓글에 달린 커맨드를 실행해 봅니다.
https://social.msdn.microsoft.com/Forums/en-US/ce9561a8-62b9-4a01-a7fe-f597facbb6ff/microsoft-visual-studio-2017-community-edition-wont-start-after-fresh-install?forum=visualstudiogeneral

sfc /scannow 라고 뭔가 시스템 서비스를 진단하는 툴인것 같네요. Windows10에 기본 내장되어 있는 것으로 보이는데, 관리자 콘솔로 하면 실행이 됩니다.
에러메세지가, 위 포럼 글 질문자와 숫자하나 안 다르고 동일한 메세지여서 희망을 가져봅니다.

System.IO.FileNotFoundException: Could not load file or assembly ‘Microsoft.ServiceHub.Client, Version=1.1.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a’ or one of its dependencies. The system cannot find the file specified.

이와중에 Visual Studio 2019 Preview 광고가 보이는군요…. 넘어가 봅시다.

Github 개인 private 저장공간 무료화

소식이 여기저기서 들려옵니다. 부디 쭈욱 갔으면 좋겠습니다. 첨써보는데 관리 메뉴가 잘 되어 있네요. Danger Zone이 특히 마음에 드는군요… 자주 애용해야겠습니다. 얼렁얼렁 뭔가 만들고 세상에 빛을 보게 만드는거죠. 그래서 전부터 토이코드 를 좀 오래되었지만 Visual Studio 2015 Community Edition에서 Github을 Repo로 사용하여 몇번 더 시도 해봤습니다… 근데, 못 쓰겠네요. 뭔가 자체적으로 동기화처리를 하는 것인지, 코드 변경 사항을 저장하는 순간, 변경이 없는걸로 간주하고, 커밋 만드는 기능이 Disable되어 버리네요. 자동으로 커밋을 만든다고 하기에는 그런걸 꺼내오는 기능도 없고, 버튼 자체가 비활성화라서, 빈칸이라도 추가한 뒤에, 저장 안하고 바로 커밋메뉴 보이면, 처리해야하네요. 어떤 때는 아예 변경이 있는 것을 한참을 인식도 못하고 말이죠. 이참에 연습용 IDE를 최신 Visual Studio로 올려야겠습니다. Eclipse로 다시 깔아보고도 싶고, 그런데. 어차피 바닥부터 다시 하는 느낌으로 하는거니, 요즘 나온 새로운 ‘맛’들을 골고루 한번 보고 지금 쓰는 부분으로 넘어가는게 좋을 것 같습니다.

구글 캘린더로 한해 계획 세워보기

예전부터 일정등은 구글에만 동기화해서 관리하고 있었습니다. 물론 Outloook을 떠나온 시점부터이긴 한데요. 사용하면서도 Outlook의 빠릿함과 메일/일정연동 관련된 세부적인 디테일면에서 만족못했던게 있었는데, 이번에 오랜만에 PC로 캘린더 화면을 들어가보니, UI가 제법 편리하게 바뀐것을 보았습니다. 다른것보다 마음에 드는게 오른쪽 사이드바형식으로 Keep과 Tasks를 바로 확인하면서 사용할 수 있게 해놨네요. 사실 계획등을 사용하면서 자주 사용하는게 아이디어 노트와 작업을 따로 떼어서 작성하는 것이었는데, 딱 용도에 맞게 기능이 배치된 느낌입니다. 메일은 예전부터 잘 기능 연계가 되어서 그다지 불편한것은 못느꼈는데, 딱 하나, 첨부파일 용량만 어떻게 해결되면 좋긴 하겠습니다. 뭐 큰 파일 등은 서버에 임시로 올려놓고 링크로 해결하긴 하는데, 도메인의 접근성에 딴지를 거는 여러 내부망들이 있어서, 사용을 못하거나 번거롭기 때문입니다.

일단은 그동안 사두었던 책 읽기 계획이랑, 온라인 강좌들을 주욱 배치해보고 있는데, 시간이란게 참.. 이제는 잘 나누어서 써야할 판입니다. 전에는 시간이 그냥 있고, 어떻게든 잘 채우면 되겠지 했는데, 이제는 채울게 넘쳐서 시간이 모자랍니다. 게으름이 쌓인 것인지, 이제사 정신을 차린 것인지 헷갈리네요. 대학교때에도 비슷하게 할 것들을 채워봤었는데, 이렇게 시간이 모자란 느낌은 아니었는데 말이죠. 학생시절까지는 내가족들을 별로 생각해 본 적이 없었지만, 결혼후 자녀들이 생기고 가정을 꾸려나가는 것에는 참으로 본인을 위한 시간은 정말 조금밖에 남지 않는 것 같습니다. 그렇다고 그 시간들이 제 인생의 시간이 아닌것은 아니니, 어떻게는 끌고 나가야겠지요. 모든 것을 조화롭게 인생을 꾸려나가는게 참으로 힘들구나 라는 생각이 듭니다. 2019년 건강하시고, 계획하시는 일 모두 잘되시길 바랍니다.

2019년입니다.

새해 첫글을 워드프레스 5로 시작을 해봅니다. Block Editor라서 상당히 낯설고, 뭔가 싶은 빈 화면인데, 일반 워드프로세서를 떠올리며, 이쪽 저쪽 메뉴를 뒤져보니, 꽤 괜찮은 것 같네요. 저같은 일반 유저의 경우에는 좀더 접근하기가 쉬운 것 같습니다. 다른 것보다 텍스트처리 성능이 좋아보입니다. 기존 에디터나 구글독스같은 느낌이 없고, 부드럽게 잘 입력되네요. 여러가지 효과나 링크등을 달다보면 또 불만족스러운게 있겠지만, 단순 글 쓰기가 주용도인 저에게는 첫인상은 좋습니다.

2019년입니다. 작년, 아니 그 이전부터 하루에 하나 글쓰기를 다짐했지만, 역시나 지켜지지 않았지만, 새해 첫날 약간은 무기력한 휴일과 가족들과 시간을 보내고 난후, 구글홈허브에게 “soft and calm”한 음악들 좀 틀어달라고 하니, 감정이 살아나고 2019년 계획을 세워보자! 라는 생각이 갑자기 커져서, 부랴부랴 카페 온 느낌으로 식탁에 앉아 글을 써 봅니다. 이 동네가 참 조용한데, 사실 집에 있으면 조용한 느낌을 받을 일은 거의 없고, 일하고 돌아오면 피곤함에 쓰러져 자기 바빴는데요. 새해 첫날이 휴일이라는 것에 우선 감사를 하고, 의지를 불태우면서, 작년 아니 그 이전부터 지지부진 하던것들을 다시금 달력에 표시를 하면서, 계획을 세워봅니다.

  1. 토플 + MOOC MS degree 입학원서 내보기, 입사할때부터의 계획아닌 계획이었지만, 실행을 조금씩 해보고 있습니다. 단순히 온라인 Certi를 받아보기도 했는데, 별 소용이 없음을 깨닫고, 진짜 사람(BoF)을 만나기 위한 수단으로 다시금 시작해보려합니다.
  2. Github에 뭐든 하나 프로젝트 끌고 가 보기 : 안드로이드 앱을 하나 생각해보고 있습니다. 옛날부터 전해내려오는 고전 앱들을 하나씩 프레임워크에 맞추어서 다시 짜보고 바꿔보는 것입니다.
  3. 독서 : 1주일 한권씩, 현재 사놓은 책들이 많습니다. 주로 중고서점에 가서 철학관련 서적들을 모아보고 있습니다. 시작은 튜링에서부터였습니다. 현재는 괴델이고, 다음으로는 아인슈타인, 비트겐슈타인, 폰노이만, 등입니다. 사실 시작은 AI였는데, 방향은 점점 철학과 물리학으로 넘어가고 있는 느낌이 듭니다. 사회과학은 패턴학회에서 일본 친구들이 많이 하고 있어서 자연스럽게 접하고 있고, 도시공학쪽도 역시 패턴학회와 인연이 많이 닿아 있어서, 관심있게 보고 있습니다
  4. 기술부문 학습 : 2번항목과는 다른것인데, 일과 관련하여 안드로이드를 좀더 깊게 파보고, 내용을 좀더 멋지게 공유할 수 있는 방법을 생각해서, 실제로 어디든 컨텐츠를 만들어서 해보려합니다. 유튜브 채널들 많이들 하시던데, 시간들을 생각해봤을 때, 2주일에 한번 하면 많이 하는것 같네요. 다른것보다 토요일 모임에 2019년도는 꼬박꼬박 참여해보는 것을 생각해보고 있습니다. 함께 하는게 더 수월하고, 뭔가 남는게 많았던 경험을 떠올려보면 말이죠.

이 에디터의 버그아닌 버그? 아마 예전부터 있었던것 같긴한데, 위 목록 상태로 놓고 한글을 바로 입력하면 잘 입력이 안되는게 있네요. 이런것 리눅스 쓰면서도 많이 겪어서, 대충 감으로, 스페이스 한번 넣고 입력하니 잘 되긴 합니다.