24옵션이란 무엇입니까?

마지막 업데이트: 2022년 5월 20일 | 0개 댓글
  • 네이버 블로그 공유하기
  • 네이버 밴드에 공유하기
  • 페이스북 공유하기
  • 트위터 공유하기
  • 카카오스토리 공유하기
이스타항공

하나금융그룹은 지난 1년간 그룹의 ESG활동 내용과 성과를 담은 '2021 ESG보고서'를 발간했다고 27일 밝혔다.

하나금융은 ESG보고서를 통해 환경(Environmental), 사회(Social), 지배구조(Governance) 중심의 지속가능경영 활동과 성과를 사회, 이웃, 공동체를 포함한 모든 이해관계자들에게 공개하고 소통하고 있다.

올해로 열다섯 번째 발간한 '2021 ESG보고서'는 그룹 미션 '함께 성장하고 행복을 나누는 금융'을 실천하기 위해 하나금융의 ESG 비전과 중장기 전략을 중심으로 구성됐다.

또한 보고서에서 2021년도 ESG 핵심 성과를 요약한 ESG 하이라이트 섹션을 통해 ▲기후변화대응 SBTi수립 ▲공동 점포, 컬처 뱅크를 통한 금융 접근성 확대 ▲친환경 투자확대를 위한 KAIST와 인공광합성 협약체결 등을 주요 ESG활동으로 소개했다.

특히 환경 측면에는 2050년 탄소중립 달성을 위한 과학적 기반 탄소배출량 감축목표를 처음으로 공개했으며, 사회 측면에는 ESG Impact를 측정해 그 결과를 안내했다. 하나금융의 2021년 사회 측면에서의 ESG 성과는 총 2조6227억원으로 하나어린이집 100호 건립과 하나글로벌캠퍼스 코로나19 생활치료센터 제공 등이 반영됐다.

지배구조 측면에는 지속가능경영위원회, 소비자리스크관리위원회 활동등 소비자보호와 내부통제 강화, 인권 중심 경영에 대한 내용을 담았다.

또한 하나금융은 올해 ESG공시기준이 강화됨에 따라 투자자들에게 투자 결정의 판단 요소가 되는 정보들을 제공하기 위한 ‘2021 하나금융그룹 지속가능성 회계기준 (SASB) 보고서’도 국내 금융회사 최초로 발간했다.

지속가능성 회계기준 (SASB, Sustainability Accounting Standards Board)는 미국의 지속가능성 회계기준위원회가 제정한 환경·사회·지배구조(ESG) 관련 지속가능성 공시 기준으로, 기업의 재무제표에 반영되지 않은 비재무적 분야인 ESG요소를 재무적 성과와 연계하여 그 가치를 측정하고 투자자들에게 결과를 제공한다.

국내 금융회사 최초로 발간된 ‘2021 하나금융그룹 SASB 보고서’는 SASB기준 산업별 분류체계(Commercial Bank)에 따라 ▲데이터 보안 ▲체계적 위험 관리 ▲기업윤리 ▲종업원 다양성 및 포용 ▲신용 분석에 ESG 요소 통합 ▲전문가적 진실성 등의 범주로 구분해 작성됐으며, 기업과 투자자의 의사결정에 필요한 비재무적 정보가 요약되어 있다.

하나금융 ESG기획팀 관계자는 “단순 성과 소개 위주의 지속가능경영보고서 제작에서 벗어나 실제 투자에 참고할 수 있는 ESG 경영활동을 투명하게 공시 하기 위해 2021 ESG보고서를 기획했다”며 “앞으로도 진정성 있는 ESG 경영 실천을 통해 사회적 책임을 다할 것”이라고 말했다.

24옵션이란 무엇입니까?

대한민국에 몇 안되는 수리논술학자 김병한 연세대 교수.[사진= 최준석 과학저널리스트]

한국에도 수리논리학자가 있는 줄 몰랐다. 연세대학교 수학과의 김병한 교수가 수리논리학자라는 걸 알고 찾아갔다. 6월 13일에 만난 김병한 교수는 "서울대학교에도 카이스트에도 포스텍에도 수리논리학자는 없다. 다른 대학에 불과 한 두 명이 있다"라고 말했다. 그의 수학 커뮤니티에서의 존재감은 지난 2014년 서울에서 열린 세계수학자대회(ICM)에서 확인된 바 있다.

국제수학자대회는 4년마다 국제수학연맹(IMU)이 개최하고. 2014년 서울 대회에는 한국인 6명이 강연자로 초청받았다. 강연자로 초청받은 건 대단한 영예다. 김병한 교수는 그 중 한 명이었다.

연세대 수학과 웹사이트는 김병한 교수의 연구 분야가 ‘수리논리학’ ‘모델론’이라고 말한다. 수리논리학이란 용어는 들어봤으나, 모델론은 무엇일까 궁금했다. 수리논리학과 모델론 두 개가 어떤 관계인지가 가늠되지 않았다. 연세대 과학관 2층의 김 교수 연구실 밖에서 그가 도착하기를 기다리는데, 방문 바깥쪽에 ‘Model Theory’(모델론)이라는 글자가 들어간 종이가 붙어있었다.

수리논리학은 무엇인가? 수학+논리학이겠지라는 두루뭉술한 생각은 있는데, 말로 표현해보라면 못하겠다. 인터넷백과사전 위키백과를 찾아봤다.

"수리논리학은 고틀로프 프레게, 버트런드 러셀, 폴 코언 등이 개척한 현대 논리학 이론이다. 일상 언어, 즉 자연 언어를 사용할 때 올 수 있는 복잡성과 오류를 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입했다. 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다."

개인적으로 수리논리학을 접한 건 '로지코믹스' 책에서다. 잘 만든 그래픽 노블이다. '로지코믹스' 주인공이 영국 철학자이자 수학자인 버트런드 24옵션이란 무엇입니까? 러셀(1872-1970)이다. 로지코믹스에는 러셀과 마찬가지로 수학자이자 철학자인 영국인 앨프리드 화이트헤드(1861-1947)도 나온다.

책을 읽으면서 수학과 철학이라는 서로 다른 두 분야의 접점이 수리논리학인가 하는 생각을 했다. 왜냐면 "수학은 논리학을 토대로 삼아야 한다"라는 생각 아래 두 사람이 논리학의 결함을 메꾸려하는 노력을 하는 장면이 나오기 때문이다. 두 사람 작업의 결실이 '수학 원리(Principia Mathematica)'라는 책이다. '1+1=2'라는 걸 증명하는데 책의 수 백 쪽이 필요했다고 얘기되는 역작이다. 역작이나, 읽은 사람은 거의 없다. 그 책을 다 읽은 사람이 쿠르트 괴델(1906-1978)이라는 젊은 수학자였다. 그리고 괴델은 화이트헤드와 러셀의 작업을 헛수고로 만들어버렸다. '불완전성 정리'라는 걸 들고 나와, 수학의 기초가 튼튼하다는 걸 애당초 증명할 수 없음을 보였다. 괴델은, 요즘 시중에서 읽히는 ‘아인슈타인과 괴델이 만났을 때’라는 책의 그 괴델이다.

◆ 괴델이 한 일

괴델이 수학의 기초가 완전하지 않다는 걸 증명했음에도 현대 수학은 잘 돌아가고 있다. 괴델의 작업이 마치 없었다는 듯이, 수학자들은 행동한다. 괴델 이후에 어떤 일이 일어났고, 괴델은 수학의 진로를 어떻게 바꿨는지를 김병한 교수에게 물었다. 그가 나를 곧바로 수학의 세계로 끌고 들어갔다.

"어떤 모순이 발견되고, 수학을 새롭게 건설하려는 과정이 있었다. 1900년을 전후한 때 이야기다. 해결책을 둘러싸고 여러 학파가 등장했다. 크게 세 가지다. 다비트 힐베르트의 형식주의, L.E.J. 브라우어의 직관주의, 그리고 프레게, 러셀, 화이트헤드의 논리주의다. 러셀과 화이트헤드는 프레게 입장을 받아들였다. 뿌리를 따지면 프레게이고, 그걸 확장해서 논리적인 입장에서 수학을 재건설하겠다고 두 사람은 선언했다. 그들이 사용한 게 '유형론(type theory)'이다. 유형론은 성공적이지 못했다. 그 자체가 논란거리를 제공했고, 모순까지는 아니지만 이걸 바탕으로 하기에는 뭔가 부족했다. 러셀도 나중에 그걸 인정하게 된다. 절대 다수의 수학자는 브라우어의 직관주의도 받아들일 수 없었다. (독일 괴팅겐대학의 수학자인) 힐베르트의 형식주의가 그나마 우리가 나갈 길이라는 걸 수학자들은 받아들였다. 그런데, 힐베르트의 형식주의 역시 그가 원했던 걸 성취할 수 없다는 게 밝혀졌다. 괴델의 불완정성 정리가 그걸 증명했다."

나는 독일 수학자 다비트 힐베르트의 형식주의가 무엇인지 설명해달라고 요청했다. 힐베르트는 1900년 파리에서 열린 세계수학자대회에서 가장 시선을 끈 스타이기도 했다. 그가 당시에 '힐베르트의 문제들'이라고 불리는 23가지 수학의 미해결 문제를 던지고, 수학이 나아가야할 길을 제시한 바 있다. 그 장면은 교양수학책에 많이 소개되어 있다. 이에 대한 김병한 교수의 설명을 옮겨본다.

"힐베르트는 형식주의를 통해 19세기 말 소박한 집합론에 모순이 생기는 문제를 해결하려고 했다. 당시 집합론의 문제에 대해서는 대개 두 가지 관점이 있다. 그 중 하나는 수학을 건설하려는 증명이나 정의 과정에서 근원적으로 생기는 문제가 있다는 것이다. 또 하나는 말장난 같은 거, 인간 언어가 가지는 모호성 때문에 그러하며, 이 경우는 근본적인 문제는 아니다라는 거였다. 그러면 두 가지 문제를 어떻게 해야 하느냐? 수학의 대상을 사람의 언어로 표현하지 말고, 기계적인 기호로 표시해서 그런 모호성을 일단 없애자라고 생각하게 되었다. 기계적인 기호라는 게, 지금으로 말하면 기계어, 컴퓨터 프로그램 언어다. 기계적인 과정을 통해 수학적 체계를 건설하고, 그 다음 과정에 나오는 것도 정확하게 정리한다, 이를 통해 시스템 안에 모순이 없다는 걸 증명하면, 모순이 발생할 거라는 염려를 없애버릴 수 있지 않겠느냐 하는 게 힐베르트 형식주의의 기본 아이디어였다."

◆ 왜 수학자는 힐베르트를 따르나

그런데 현대 수학은 왜 괴델의 불완전성 원리가 없었던 것처럼 살고 있다는 말이 나오는 것일까? 김 교수는 "그럼에도 불구하고 힐베르트가 주장한 것은 옳은 방향이고, 현대 수학자는 자신이 의식을 하던 의식을 하지 않던 간에 결국에는 힐베르트의 형식주의에 의거한 수학을 하고 있다고 볼 수 있다"라고 말했다. 나는 어떻게 그런 일이 일어났는지를 다시 물었다. 수학자들이 힐베르트의 길을 따라가는 이유가 무엇이냐고 재차 물었다. 김 교수는 힐베르트의 형식주의 말고, 브라우어의 직관주의 애기를 꺼냈다.

"예를 들어서 직관주의는 배중률(排中律)을 부인한다. 수학 명제가 하나 있을 때 그 명제가 옳거나, 옳지 않거나 해야 한다는 게 배중률이다. 1+1=2라는 명제가 있다. 이것이나 이의 부정, 즉 1+1=2나 1+12 둘 중 하나는 옳다는 것이 배중률이다. 브라우어의 직관주의는 그렇게 하지 않겠다는 거다. '중간'이 있을 수 있다는 거다. 그렇게 하는 이유는 있다. 수학에 '존재 증명'이라는 게 있다. 구체적으로 어떻게 찾는지는 모르나, 그런 게 존재하지 않는다고 가정하면 모순이 생길 수 있다. 그렇다면 뭔가 존재한다고 봐야하는데, 이게 존재 증명이다. 브라우어의 직관주의는 구체적으로 찾는 방법을 제시 못하는 존재증명을 받아들이지 못한다. 브라우어 관점을 받아들이면 현대 수학 대부분은 무너진다. 수학을 할 수가 없다. 수학이 무너지니 수학자들은 직관주의가 너무 극단적이라고 보는 것이다."

논리주의를 근거로 수학을 재건하려고 했던 러셀과 화이트헤드도 성공적이지 못했고, 그들은 수학을 떠났다. 러셀은 수학을 떠나 철학에서 루트비히 비트겐슈타인을 만났고, 비트겐슈타인은 논리실증주의 태동에 큰 영향을 미쳤다. 논리실증주의는 영미 철학에 엄청난 영향을 줬다.

김 교수는 "현대 수리논리학자는 수학의 기본을 러셀의 '수학 원리'의 원리로 하지 않는다. 적절하지 않기 때문에 사용하지 않는다"라고 설명했다. 그는 이어 "힐베르트가 원했던 대로 형식주의를 완벽하게 구현할 수는 없지만 그가 원했던 방법론은 지금도 살아있고, 현대 수학자는 그걸 따라서 하고 있다"라고 덧붙였다.

그렇다고 브라우어의 직관주의, 논리주의가 없어졌나 하면 그런 게 아니다. 김 교수는 "직관주의와 논리주의는 컴퓨터 과학 쪽으로 옮겨 갔다"라고 말했다. 컴퓨터에서는 수학의 논리를 적용하는 데 한계가 있다. 수학의 논리가 컴퓨터에 적용하는 논리보다 더 크기 때문이다. 수학 논리 중 하나인 '존재 증명'은 컴퓨터에 적용할 수 없다. 컴퓨터를 사용하는 사람들은 구체적인 해(solution)를 얻어내려고 하며, 그 과정에서 논리적인 오류가 발생하면 안 된다. 그러니 컴퓨터 과학이나, 프로그래밍 언어 연구자는 직관주의를 선호한다고 할 수 있다. 브라우어의 직관주의는 아니고, 브라우어의 직관주의를 순화시킨 제자 아렌트 헤이팅(Arend Heyting, 1898-1980)의 작업을 현대 컴퓨터 과학은 사용한다.

김 교수는 "직관주의 논리라든가 유형이론의 논리를 컴퓨터 프로그래밍이 많이 사용하고 있다. 그러니 힐베르트 형식주의가 승리했다라고 말할 수 없다"라고 말했다.

힐베르트, 러셀, 브라우어 세 사람이 21세기 초에 한 자리에 모였다고 생각하자고 했다. 세 사람은 누가 옳았나를 둘러싸고 시시비비를 따진다. 힐베르트는 "봐라, 수학자들 내가 하는 대로 하고 있잖아"라고 할 거다. 그러면 러셀과 브라우어가 "무슨 얘기야? 세상은 지금 컴퓨터 사이언스 세상이다. 컴퓨터 과학자들은 우리 논리를 사용하고 있어, 우리가 옳았지"라고 얘기할 수 있다. 김 교수는 "그러니 함부로 학문을 재단하기가 쉽지 않은 거다"라고 강조했다.

◆ 현대 수리논리학의 세계

나는 아직 현대 수리논리학의 지평이 어떤지도 김 교수에게 물어보지 못했다. 21세기 수리논리학의 세계는 어떤 모습일까? 김 교수는 크게 네 가지라고 말했다. 집합론이 크게 발전했고, 여전히 수리 논리 분야에서 매우 중요하다. 그리고 모델론, 증명론, 계산이론이 있다. 증명론과 계산이론은 거의 합쳐져서 컴퓨터 과학과 관련된 분야가 되었다.

김 교수는 "수리논리학 분야에서 수학과 관련하여 활발한 분야가 집합론과 모델론이다"라고 말했다. 그는 이어 "모델론과 집합론은 미국에 학자가 많이 있다. 특히 모델론은 수학의 큰 분야인 대수학, 정수론과 관련이 많이 맺어지면서 엄청난 발전을 하고 있다"라고 설명했다.

반면, 수리논리 분야에는 동아시아인이 없다. 김 교수는 "2014년 서울 세계수학자대회에서 동아시아인 수리논리학자로는 내가 처음 초청 강연을 했다"라고 회고했다. 가령 김병한 교수의 연세대 연구실 바로 오른쪽 방에 기하서 교수 연구실이 있다. 기하서 교수는 미국 캘리포니아공과대학교에서 수리논리로 박사학위를 했다. 그는 한국에 돌아온 뒤 정수론 연구자로 돌아섰다. 한국의 다른 수리논리학 연구자에는 경북대학교 수학교육과 정주희 교수(초대 대한수리논리학회 회장 역임)가 있다. 김병학 교수는 "수리논리학자는 한국에서 앗싸중 의 앗싸"라고 했다. '앗싸'는 아웃사이더를 가리키는 말로 들렸다. '앗싸 중의 앗싸'는 '아웃사이더 중의 아웃사이더'라는 말이었다.

◆ 모델론의 등장

왼쪽부터 모델론을 시작한 앨프리드 타르스키, 현재 모델론의 천재로 알려진 사하론 쉘라흐, 에훗 흐루쇼브스키.[사진= 최준석 과학저널리스트 제공]

모델론(model theory)은 1930년대에 등장했다. 폴란드계 미국인인 수리논리학자인 앨프리드 타르스키(Alfred Tarski, 1901-1983, 미국 캘리포니아대학교 버클리 캠퍼스)가 모델론을 시작했다고 말할 수 있다. 그 다음에 로버트 보트(Robert L. Vaught, 1926-2002, 미국 캘리포니아대학교 버클리 캠퍼스), 마이클 몰리(Michael D. Morley, 1930-2020, 코넬대학교)가 기여했다. 그리고 지금 현재 모델론 분야의 천재 둘을 꼽으라고 하면, 사하론 쉘라흐(Saharon Shelah, 울프상 수상자, 이스라엘 히브리대학교, 1945년생), 에훗 흐루쇼브스키(Ehud Hrushovski, 영국 옥스퍼드대학교, 1959년생)를 말할 수 있다. 모델론은 1990년부터 본격적으로 수학에서 떠올랐고, 여기에는 흐루쇼브스키 기여가 컸다.

모델론이란 무엇일까? 왜 시작했을까? 왜 모델론이라는 수학적인 도구가 필요했을까? 김 교수는 "모델론은 수학 전체를 이해하기 위해서 시작됐다"라고 말했다. 순수하게 수리논리분야의 학문적인 이유로 시작했다. 그게 발전해서 지금은, 가령 대수론에서와 같은 구체적인 구조에 대한 연구로 발전 되어 가고 있다.

김 교수는 "모델론 연구자는 수학적인 구조들을 통합적으로 이해하고 싶어 한다"라며 다음과 같이 얘기했다. "모델이라는 건 그냥 어떤 수학적인 대상, 수학적인 구조다. 군(group)이라든가, 체(field), 또는 그래프(graph)가 다 모델이다. 이런 걸 통합적으로 이해하려고 하는 거다. 군, 체, 그래프라고 얘기했지만 가장 단순한 수학적인 대상으로 자연수가 있다. 자연수 집합이 있고, 덧셈, 곱셈이라는 집합의 연산이 있고, 그 다음에는 크고 작음이라는 숫자들의 관계가 있을 수 있다. 이런 수학적인 구조들이 많다. 이런 게 수학적인 대상이고, 이것들이 모델론의 대상이다. 그러면 기존의 수학 분야 연구와 모델론 연구의 차이는 무엇인가? 모델론은 논리식 관점으로 수학적인 대상을 본다. 논리식은 논리 기호들로 표시되는 식이다."

김 교수가 보여주는 걸 보니 논리 기호 < ∀,∃, [,] →, ∧, ∨>가 보인다. 그가 구체적인 대수 식 하나를 보여준다. 'x-y = z²'. x에서 y를 뺀 게 제곱수라는 걸 말하는 수식이다. 이 식을 만족하는 x, y, z 값이 있을 거다. 그런데 'x-y = z²'식 앞에 논리 기호 몇 개를 붙인 걸 그가 다시 보여 준다. '∀xy∃z'라는 논리 기호들이 붙어 있다. 전체 식의 모습은 이렇다. ∀xy∃z (x-y = z²). 이 게 '논리식'이다. 모델론에서 사용하는 논리식이다. 이 식이 뜻하는 건 '모든 x, y에 대해 다음 식(x-y = z²)을 만족하는 z가 존재한다'이다.

과연 이 식은 성립하는 것일까? 성립하면 어디 수 체계, 수의 집합에서 성립할까? x와 y가 어떤 자연수인가에 따라 z값은 자연수일수도 무리수일 수도 있다. 다시 말하면, 위의 논리식은 자연수 체계에서는 거짓이고, 복소수 체계에서는 참이다. 김 교수가 하려는 얘기는 앞의 '논리식'은 특정 수식이 참인지, 거짓인지 알 수 있는 정보를 준다는 것이다. 그는 "식 하나가 굉장히 많은 정보를 준다. 어떠한 때는 참이고 어떠한 때는 거짓이다. 또 무엇을 대입하느냐에 따라서 참과 거짓이 달라진다는 걸 보여준다"라고 말했다.

이런 걸 통해 모델론 학자는 대수적인 구조를 연구한다. 기존의 대수학 관점이 아니고, 논리식을 갖고 연구한다. 김 교수는 "기존의 대수적인 방법뿐 아니라, 수리논리학이 수리논리 관점에서 새로운 방법론을 제공하는 거다. 그게 수리논리학의 모델론이 하는 주 역할이다"라고 말했다.

대수적인 관점에서 설명하지 못한 걸 모델론으로 설명한 게 있느냐고 그에게 물었다. 그는 "모델론의 관점으로 많은 시도가 있다. 1990년대부터 본격적으로 수학의 굵직굵직한 문제들을 증명하기 시작했다. 최근에 굉장히 성공한 게 여러 가지가 있다"라며 표현론과 관련한 힐베르트 5번째 문제, 대수기하의 그리피스(Griffiths) 추측, 그리고 산술기하와 관련한 안드레-우트(Andre-Oort) 추측을 예로 들었다. 안드레-우트 추측은 아주 최근에 풀렸다. 논문이 사전 공개 사이트(archive)에는 올라왔고, 학술지에는 아직 출판되지는 않았다. 영국 옥스퍼드대학교의 조너선 필라(J. Pila) 교수가 증명했다. 김 교수가 다시 "모델론 연구가 지금 엄청 활발하다. 내가 공부할 때와는 달리 대단히 핫하다"라고 강조했다.

◆ 모델론이란 도구의 쓸모

KAIST 연구 교수로 일하는 이정욱 박사가 공략한 모델론 문제가 있다. 이 박사는 김병한 교수 지도를 받아 연세대학교에서 2016년 박사학위를 받았다. 김 교수는 "이정욱 박사가 아주 잘한다"라며 다음과 같이 설명을 이어갔다.

"유리수 집합(Q) 위에 정의되는 타원곡선이 있다. 타원곡선이 있으면 그거에 급수(rank)라는 게 있다. ‘급수’가 무엇인지는 24옵션이란 무엇입니까? 말하지 않겠지만 타원곡선의 급수는 0, 1, 2,…와 같은 자연수다. 그러면 타원곡선은 무한히 많은데, 그 모든 급수에는 절대 상계가 존재할까 하는 게 알려지지 않았다. 숫자가 계속 커질 것인가 하는 걸 사람들은 궁금해 했다. 많은 사람이 예전에는 절대 상한선, 상계가 없을 거라고 생각했다. 급수들이 처음에는 어떤 수이고, 다른 어떤 건 100이고, 어떤 건 2000이고, 또 2만이고 하는 식으로 계속 증가하며, 그런 식으로 한없이 증가할 거라고 생각했다."

설명을 잘 이해하기 힘들었다. 그러자 그가 다음과 같이 취재 수첩에 글을 써줬다. 좀 나았다. 어쨌든 이건 정수론 문제다. 급수의 절대 상계, 즉 절대 상한선이 존재한다는 걸 증명하는 문제다. 이 문제를 전체는 아니고, 부분적으로 해결한 사람이 있다. 미국 프린스턴대학교 수학자 만줄 바르가라(Manjul Bhargara)다. 그 공로로 그는 2014년 서울에서 열린 세계수학자대회에서 수학의 노벨상이라는 필즈상을 받았다. 김 교수는 "부분 해결만 해도 필즈상이 갈 정도로 이 문제는 중요했다"라고 말했다.

이정욱 박사는 그럼 뭘 했나? 정수론 문제를 모델론 문제로 바꾸는 작업을 해냈다. 김 교수가 '정수론' 분야에서 정의된 문제를 가령 1번이라고 하자고 했다. 이 박사는 모델론을 사용해서 1번 문제를 표현해냈고, 이걸 2번이라고 해보자고 했다. 이정욱 박사가 한 일은 1과 2가 동등하다, 즉 같다는 걸 증명한 거다. 김 교수는 내게 "모델론으로 그 문제를 해결했다고 하는 게 아니다. 그렇게 쓰면 큰 일 난다. 대수적으로 보지 못하는 걸 모델론으로 볼 수 있는 게 뭐있는지를 내가 지금 예를 들어 설명하는 거다"라고 말했다.

그리고 김 교수가 모델론으로 표현한 문제 2가 뭔지를 설명해줬다. 나는 그 말을 이해할 수 없었다. 김 교수가 나의 취재 수첩에 몇 줄로 핵심 개념을 써줬다. 역시 이해하기 쉽지 않으니, 이곳에 쓰지 않기로 한다. 김 교수는 "말하자면 모델론이 기존의 문제에 새로운 관점을 주는 예"라며 "정수론 문제를 모델론 관점의 모델론 연구로 바꿔버렸다. 그래서 정수론 문제가 이제는 모델론 연구자가 풀어야할 문제가 되었다"라고 말했다.

그렇기에 요즘 정수론 연구자들이 모델론을 공부한다. 앞에서 안드레-우트 추측 문제가 모델론으로 풀린 바 있다고 한 바 있다. 안드레-우트 추측을 푼 사람은 순수 정수론 연구자였다. 그가 모델론을 공부해서 모델론 도구를 사용해서 안드레-우트 추측이 옳다는 걸 증명했다. 김 교수는 "수학의 다른 분야 연구자들이 모델론을 공부해서 자신의 연구를 하겠다고 해서 모델론 연구가 활발하다"라고 말했다. 그런데 한국에서는 모델론 연구자가 아웃사이더다. 이정욱 박사의 경우 박사학위를 받은 지 6년이 되었으나, 대학에 자리를 잡지 못했다고 그는 안타까워했다.

◆ 김병한 교수의 연구

김병한 교수의 모델론 연구는

김병한 교수의 모델론 분야에서 연구는 무엇이 있을까? 그는 앞에서 모델론 역사를 설명하면서 이 분야의 주요 기여자 중 한 명으로 사하론 쉘라 히브리대학교 교수를 언급했다. 김 교수에 따르면, 쉘라는 모델론에서 어떤 특정한 성질을 갖고 있는 대상을 연구했다. 안정성이 있는 구조다. 김 교수는 안정성을 뛰어넘는 훨씬 더 큰 클래스에서 연구가 가능하다는 걸 증명했다. 그가 '더 큰 클래스'라고 말한 게 '단순성 이론(simplicity theory)'이다.

그는 1990년대 중반 관련 연구를 시작했고, 쉘라가 내내 연구한 '안정성'이 자신이 연구한 '단순성'에 포함된다는 걸 알아냈다. 그러니 안전 구조는 단순 구조이지만, 역으로 단순성을 만족시키는 구조 중에는 안정 구조가 아닌 게 많다. 이게 김병한 교수의 미국 노트르담대학교 수학과 박사학위 논문 내용이다. 그는 연세대학교 수학과 81학번이고 노트르담대학교에서 모델론으로 박사공부를 해서 1996년에 학위를 받았다. 지도교수는 아난드 필래이(Anand Pillay) 박사. 모델론 연구자다.

그의 '단순성 이론'은 영국 옥스퍼드대학교 출판부가 책으로 출판했다. 학회로 찾아온 출판부 직원이 출판을 제안했고, 2014년에 책으로 나왔다. 이 책은 학자로서 그의 공로를 인정받은 또 다른 징표다. 단순성 이론을 그가 내놓은 뒤 사람들이 달려들어 10년 이상 연구들을 많이 했다. 그 정도하면 연구할 게 바닥난다. 그럴 즈음에 ’단순성‘보다 더 큰 수학적인 구조가 있다는 게 알려졌다. 그건 NSOP1라고 불린다. 2000년대 초반에 24옵션이란 무엇입니까? 쉘라가 그런 걸 정의해 놓기는 했다. 무슨 신탁을 받은 것인지,그 의미에 대한 깊은 설명이나 예상이 없이 정의를 했다.

"나는 1995년 ’단순성 이론‘에서 ’쉘라의 독립성=김의 독립성(Kim’s Independence)’ 관계가 성립함을 증명했다. 하지만 NSOP1에서는 이게 성립하지 않는다. 두 개가 같지 않다. NSOP1에서는 ‘쉘라의 독립성‘은 사용할 수 없고, ’김의 독립성‘만 사용해야 한다."

김 교수는 "NSOP1에서 ’김의 독립성‘만을 사용해서 앞에서 한 것과 같은 뭔가 비슷한 일을 할 수 있을 거라고 2009년에 예측했다”라고 말했다. 캐나다 록키산맥 휴양지에 있는 밴프에서 2009년 모델론 학회가 열렸고, 이 자리에서 김 교수는 그 예측을 했다. 그리고 ’김의 독립성‘ 추측이 옳다는 증명이 2017년에 나왔다. 니콜라스 램지(미국 캘리포니아대학교 버클리 캠퍼스 박사)와 이스라엘 히브리 대학교의 이타이 카플란 교수 두 사람의 연구 결과다. 논문은 2020년 수학학술지 ‘JEMS’(Journal of The European Mathematical Society)에 실렸다. 이들 논문 제목인 ‘김의 독립성(On Kim-independence)’에서 ‘김의 독립‘이라는 표현이 처음 나왔다. ’김의 독립‘이라는 건 김병한 교수가 붙인 게 아니고, 그들이 그 개념을 찾아낸 연구자에 대한 오마주로 그렇게 불렀다.

김 교수는 이후 니콜라스 램지와 공동 연구를 했고, 더 크게 확대된 결과가 나왔다. 니콜라스 램지 박사는 최근에 그 연구에 힘입어 미국 노트르담 대학교 조교수로 임용됐다. 김 교수는 "NSOP1은 나름 핫한 주제다. 그리고 나는 또 하나의 문을 열었다라고 생각한다"라고 말했다. 그는 이어 "나는 지금까지 큰 주제의 문을 여는 연구를 몇 번 했다"라고 말했다. 1996년 학위논문은 옥스퍼드대학교 출판부가 책으로 낼 정도로 주목을 받았고, 15년 가까이 다른 사람들이 집중할 수 있는 새로운 문을 여는 연구였다. 그리고 두 번째 문은 2009년에 시작했고 최근까지 계속하고 있는 NSOP1과 김의 독립성 연구다. 그리고 세 번째 문은 2013년 경에 시작한 호몰로지 이론이다. 호몰로지 이론과 모델론을 결합시킨 연구라고 했다. 그게 무엇인지는 묻지 않았다. 앞에서 언급했던 이정욱 박사의 연구가 그 쪽 분야와 관련이 있다고 했다.

김 교수는 "나는 위대하거나, 뛰어난 사람도 아니다. 사실 그런 얘기를 하기는 창피하고 그래서 잘 안하기는 하지만 실패를 많이 겪었다. 지금도 실패를 많이 겪고 있다"라고 말했다. 그는 노트르담대학에서 박사학위를 한 뒤, 버클리에 있는 수학연구소 MSRI에서 박사후연구원으로 있었고, MIT 조교수가 되었다. MIT에 있을 때인 2000년인가, 서울대학교에 갈 기회가 있었으나 가지 않았다. 서울대에는 훌륭한 학자가 많으니, 그곳에 가기 보다는 연세대에 가면 더 기여를 할 수 있지 않을까 하고 생각했다. 그래서 2005년 연세대 교수가 되었다. 그가 당시 서울대로 가는 선택을 했으면, 한국의 수리논리학을 더 키울 수 있었을지도 모른다.

김 교수는 "수리논리의 역사는 소수자의 역사"라고 했다. 앨런 튜링도 그렇고, 폴 코언(1966년 필즈상)도, 게오르크 칸토어(1845-1918)도 학계에서 마이너리티였고, 여러 어려움을 겪었다. 김 교수는 "그분들이 정신병에 걸리고 자살하고 그랬다. 그게 이해가 된다"라고 말했다. 김 교수는 이어 "내 경우도 다 얘기하기는 많이 힘들다. 연구비를 신청할 때도, 제자들이 취업을 하는데도 어려움이 많았다"라며 "모델론 연구자들이 많이 노력을 해서 모델론이 수학의 중심 분야에 더 갈 수 있게 되고, 후학들이 좀 더 수학의 중심에서 활동할 수 있으면 좋겠다는 희망을 갖고 있다"라고 강조했다.

김병한 교수 방에는 모델론을 개척한 타르키스의 영어판 전기가 있었다. 그는 타르키스의 전기를 나중에 번역할 계획이다. 그리고 모델론과 수리논리 관련 몇 권의 책을 쓸 계획을 갖고 있다.

SNS 기사보내기

페이스북(으)로 기사보내기 트위터(으)로 기사보내기 카카오톡(으)로 기사보내기 네이버라인(으)로 기사보내기 URL복사(으)로 기사보내기 이메일(으)로 기사보내기 다른 공유 찾기 기사스크랩하기 -->

24옵션이란 무엇입니까?

[뉴스더원] 코로나 확진자가 무서운 속도로 증가하고, 백신 4차 접종이 순탄치 않은데도 이를 주관할 보건복지부 장관의 얼굴이 보이지 않고 있다.

장관 후보자 두 명이 모두 낙마했기 때문이다. 하지만 아직도 후보자를 내지 못하고 있다. 얼굴 없는 곳이 또 있다.

대통령 국정 지지율이 계속 떨어지고 대통령실 인사 문제가 시끄러운데도 대통령 비서실장의 얼굴이 보이지 않고 있는 것. 역대 정권의 비서실장의 경우, 오늘날과 같은 사태가 벌어지면 ‘내가 잘못했소!’ 하든지 ‘그건 아니다’라고 항변하든지 얼굴을 보였을 것이다.

뿐만 아니라 첨예하게 대립하는 갈등의 현장에도 당연히 있어야 할 장관의 얼굴이 보이지 않거나 뒤늦게 나타나 허둥대는 경우도 있다. 대우조선의 지루하고 피곤했던 파업 현장이 그것이다.

50여 일 만에 파업이 타결되어 다행이지만 더 일찍 노·사 손실을 줄이고 국민들의 불안을 해소시킬 수는 없었을까? 정말 이번 대우조선의 파업 사태는 윤석열 정부 출범 이후 가장 큰 노사갈등의 현장이었고 그만큼 폭발성도 컸다.

가령 배를 만드는 독(dock) 작업장은 완성된 선박을 진수시키지 못해 새로 주문받은 선박을 만드는 작업을 못 하고 있다. 민노총 소속 하청노조가 불법 점거를 하고 있기 때문이다.

이렇게 되면 대우는 매달 130억 원의 지연배상금을 물어야 하는데 이렇게 해서 지금까지 5000억 원 상당의 매출 감소를 일으키고 있는 것으로 알려졌다.

지금 대우조선은 한동안의 불황을 겪었으나 세계 여러 나라로부터 LNG 운반선 등 7조 8000억 원이 넘는 선박의 수주가 이어져 부푼 꿈에 잠겼었는데 그 꿈이 무산될 위기에 몰린 것이다. 대우조선과 하청 업체, 그리고 지역사회가 겪어야 할 고통도 심각하다.

그런데도 이 사태를 수습하려는 팔 걷고 나서는 장관의 얼굴이 없었다.

그러다가 지난주 윤석열 대통령이 24옵션이란 무엇입니까? 장관들이 나서라고 하자 부랴부랴 추경호 기획재정부 장관(부총리) 등 관계 장관들이 공동 성명을 발표하는 등 얼굴을 내밀기 시작했다.

헬기를 타고 현장에 출동하는가 하면 헬멧을 쓰고 농성하는 노조원들과 대화를 시도하기도 했다. 왜 진작 그렇게 나서질 못하고 대통령 지시가 있자 떠밀려 허둥대는지 이해할 수가 없다.

일찍부터 현장에서 문제 해결을 위해 노조원들로부터 봉변을 당하더라도 부딪치는 진정성을 보였더라면 사태가 이렇게까지 커지지는 않았을 것이다.

대우조선 해양뿐 아니라 우리의 심각한 경제위기에 장관들의 얼굴이 보이지 않는다는 소리도 있다. 물론 경제장관 회의도 열리고 대통령이 직접 주재하는 비상대책회의도 열린다. TV와 신문을 통해 장관들의 얼굴은 매일매일 보고 있다.

그런데도 국민들은 정부의 민생경제를 해결하려는 의지를 피부로 느끼지 못하는 것은 왜 그럴까? 장관이 남대문 시장을 방문하여 민생경제를 살피는 모습도 옛날부터 해오던 쇼로 비쳐지고 진정성이 없는 것처럼 보이는 것은 무엇 때문일까? 뜨겁게 어필하는 장관들의 열정이 보이지 않기 때문일까?

윤석열 대통령이 지난달 15일 ‘노무현의 경제책사’로 통하는 변양균 전 청와대 정책실장을 고문으로 위촉한 것도 여러 가지를 생각게 한다.

윤 대통령이 현재의 경제팀으로는 무엇인가 미흡함을 느끼는 것이 아닐까? 왜냐하면 변양균 전 청와대 정책실장의 소위 ‘신정아 스캔들’을 수사했던 윤 대통령으로서는 마뜩한 일은 아니었을 것이기 때문이다.

그러니 이쯤에서 몸 바쳐 일할 자신이 없는 장관은 스스로 물러나야 한다. 장관 된 지 두 달밖에 안 됐다고 좌고우면(左顧右眄)해서는 안 된다. 그렇게 해서 사표를 던지는 장관이 있다면 윤석열 정부의 지지도 역시 올라갈 것이다.

권성동이 문자 속 강기훈은 누구? “대통령실에 같은 이름 있다”

발행일 2022-07-27 15:30:38 댓글 0

지난 26일 오후 국회 본회의장에서 열린 제 398회 임시회 6차 본회의 대정부 질문 도중 국민의힘 권성동 당대표 직무대행 겸 원내대표가 문자대화를 하고 있다. 연합뉴스 윤석열 대통령과 권성동 국민의힘 당대표 직무대행 겸 원내대표간 ‘내부 총질’ 문자메시지 속 등장인물인 ‘강기훈’에 대한 궁금증이 커지고 있다.

윤석열 대선 캠프에서 활동했으며 권 대행과도 친분이 있는 강기훈 대통령실 행정관일 가능성이 크다는 관측이다.

대통령실은 27일 “대통령 비서실에 (강기훈과) 같은 이름을 가진 사람이 근무하고 있는 것으로 안다”고 밝혔다.

다만 그가 문자에 등장하는 강기훈과 동일 인물인지는 확인하지 않았다.

최영범 홍보수석은 이날 용산 대통령실 브리핑에서 강씨의 역할에 대해 “기획비서관 업무 중 일정 관리·조정 업무를 보좌하는 일을 하고 있다”며 “아직 정식발령이 나지 않아 임용 절차가 진행 중인 것으로 알고 있고 임용이 되면 행정관이 된다”고 설명했다.

강 행정관은 윤 대통령 일정을 짤 때 ‘MZ세대’로 불리는 젊은층의 여론을 반영하는 역할을 하는 것으로 전해졌다.

해당 행정관의 입직 과정에 권 대행의 추천이 있었는지 묻는 질문에 최 수석은 “그 경위를 알지 못한다”고 대답했다.

강 행정관이 일각에서는 강경우파 정당으로 분류되는 자유의새벽당 창당 발기인이라는 점이 드러나면서 논란이 다른 방향으로 확산될 조짐도 보이고 있다.

최 수석은 ‘언론 보도에 따르면 자유의새벽당은 극우 성향인데 강기훈이란 분이 창당 멤버가 맞느냐’는 물음에 “그 사람을 정확하게 모른다. 극우·극좌를 평가하려면 더 면밀한 검토와 분석을 거쳐야 규정할 수 있다”고 말했지만 다른 대통령실 관계자는 강 행정관이 자유의새벽당 관련 이력이 있는 것은 맞다고 했다.

강 행정관은 2019년 자유의새벽당 창당을 주도했고 이후 당 대표를 지냈다.

지난 대선기간 청년 정책 관련 조언을 하는 등 권 대행과 가깝게 지내온 것으로 알려졌다.

대통령실 고위 관계자는 ‘문자대화 보도 이후 강 행정관 본인에게 관련 입장이냐 권 의원과의 관계성을 확인한 것이 있느냐’는 물음에 “공식 보고된 것은 없다”고 답했다.

이상훈 기자 [email protected]

자치분권위원회 김학홍 단장 “지방분권 2.0시대, 지역 중심의 거버넌스 시작 될 것”

대통령 소속 자치분권위원회 실무 책임을 맡고 있는 김학홍 기획단장이 지난 26일 “지방분권 2.0시대에 막을 올린 민선8기 체제에서 주민참여권 향상과 국가와 지방의 수평적 협력관계를 토대로 지역 중심의 거버넌스가 시작될 것”이라고 기대했다.이날 김 단장은 대구일보-한국지역언론인클럽(KLJC) 공동 인터뷰에서 “‘대한민국 어디서나 살기 좋은 지방시대’를 목표로 제시한 윤석열 정부와 국정운영의 동반자인 지방자치단체가 유기적으로 협력해 지방소멸에 대한 근본적 대응과 지자체간 협력체계 기반의 경쟁력 강화 추진 등을 모색해야 한다”며 이같이 밝혔다.그는 대통령 직속 균형발전위원회와 통합을 앞두고 있는 상황에 대해 “문재인 정부 초기에도 두 개 위원회를 합치려고 했던 것으로 알고 있다”라며 “자분위와 균형위의 근거 법이 다르기 때문에 통합 법안을 준비 중이다. 법안이 통과되면 통합위원회가 되고 그전에라도 양측 기획단이 함께 하는 쪽으로 방향이 정해진 것으로 알고 있다”고 설명했다.이어 “두 개의 기획단이 합쳐져 하나의 기획단이 되고 양쪽의 유사한 조직들이 통폐합되는 과정을 거치면 인원도 보다 슬림화 될 것으로 예상된다”라며 “8월 중순 이후 윤곽이 나올 것으로 보인다”고 전망했다.특히 “자치분권을 위한 제도적 정비는 진일보 했다”라면서도 “현장에서는 여전히 지방자치를 체감하지 못하시는 분들이 많다”며 △재정분권 △지방자치와 교육자치 연계 △주민 중심 자치를 강조했다.이와 관련 그는 “지금까지 많은 지방이양 사무를 발굴해서 내려보냈다고 하는데 지방에서는 잘 24옵션이란 무엇입니까? 느끼지 못하는 경우가 많다. 지방자치단체, 지방의회 중심의 권한이 내려가다 보니까 주민들의 체감도가 낮은 것”이라며 “이제는 지방이양사업도 발굴하고 자치조직권 행정입법권 재정권도 확대하고 그러면서 우리 생활 속에 자치를 찾아서 주민들한테 직접 혜택이 갈 수 있는 ‘투트랙’으로 가야한다”고 설명했다.또 “현 재정분권은 8대2에서 7대3으로 나아가는 중이다. 지자체에선 돈이 얼마 없으니 분권의 체감도가 더디다”라면서 “지방자치와 교육 자치 역시 이를 어떻게 연계, 협력해 활성화 할 수 있을지도 큰 틀에서 다뤄야 한다”라고 말했다.아울러 김 단장은 윤석열 정부의 국정과제에 포함된 주민자치회 개선, 자치경찰제 강화 등의 실천 방안들이 나오게 되면 한층 앞으로 나아가게 될 것이라고 기대했다.이상훈 기자 [email protected]

권성동 ‘당대표 대행’ 사퇴 의사, 비대위 전환 예고. 진통 예상

집권여당인 국민의힘이 새 정부가 출범한 지 불과 80여일만에 비상대책위원회 체제를 맞이하는 초유의 사태가 발생했다.국민의힘 권성동 당 대표 직무대행 겸 원내대표는 31일 자신의 페이스북에 “당이 엄중한 위기에 직면했다. 국민의 뜻을 받들지 못했다”며 직무대행에서 물러나고 비대위 체제로 전환하겠다고 밝혔다.앞서 이날 조수진 의원은 지도부 체제 논란이 나온 이후 배현진 의원에 이어 두 번째로 최고위원직 사퇴를 공식화했다.국민의힘 내에서 이처럼 빠르게 비대위 전환 움직임이 나타난 데는 ‘윤심’이 작동했다는 분석이 나온다.대표적인 친윤(친윤석열)계로 꼽히는 배 의원이 스타트를 끊자 초선 의원 32명이 곧바로 연판장을 당 지도부에 전달하며 동조했다.당초 권 원내대표는 지도체제 전환에 부정적인 입장을 보여왔으나 최고위원을 비롯한 당내 인사들의 압박이 심해지자 결단을 내린 것으로 보인다.특히 윤석열 대통령도 주말 사이 비대위 체제에 힘을 싣는 쪽으로 입장을 정했다는 얘기가 당 안팎에 공공연히 나오던 상황이다.국민의힘은 비대위 체제 전환을 위한 과정 밟기에 돌입할 것으로 보인다.의원총회를 여는 등 당내 의견수렴 절차를 거치는 것이다.다만 이 과정에서 혼란은 불가피하다.당 윤리위원회 징계 후 3주 넘게 전국을 돌며 당원들과 만나고 있는 이준석 대표는 연일 친윤계를 저격하는 글을 올리고 있다.이 대표는 이날 페이스북에 윤핵관(윤석열 대통령 핵심 관계자)을 겨냥해 “양의 머리를 걸고 개고기를 팔지 말라했더니 이제 개의 머리를 24옵션이란 무엇입니까? 걸고 개고기를 팔기 시작하려는 것 같다”며 “그저 각각의 이유로 당권의 탐욕에 제정신을 못 차리는 나즈굴과 골룸”이라고 비판했다.비대위로의 지도부 체제 전환이 현실화한 가운데 비대위원장으로는 5선의 주호영 의원(대구 수성갑)과 정진석 국회부의장 등이 유력하게 거론된다.이상훈 기자 [email protected]

윤 대통령, 1일부터 여름휴가. 민생안정·지지율 등 해법 모색할 듯

윤석열 대통령이 1일부터 5일까지 취임 후 첫 휴가를 보내며 국정 운영 구상에 나선다.윤 대통령은 경제위기 극복, 인사 문제, 코로나19 재확산, 8·15 광복절 특사 등 국정 현안에 몰두할 전망이다.대통령실은 이번 휴가의 방점이 ‘민생’과 ‘현장’에 찍혔다고 강조했다.강인선 대통령실 대변인은 지난 29일 “(닷새 중) 2~3일은 지방으로 갈 예정이다”고 밝혔다.다만 경호상의 이유로 구체적인 휴가 장소 등은 공개되지 않았다.강 대변인은 “지방 일정을 소화하며 민생 현장을 찾을 것”이라고 했다.윤 대통령이 휴가 기간 국민들과 직접 만나며 소통하겠다는 뜻으로 읽힌다.그동안 윤 대통령은 국무위원들에게 “현장에 답이 있다”며 현장을 직접 살필 것을 주문해 왔다.특히 고물가·고금리·고환율 등 이른바 경제 ‘삼중고’, 북한 핵실험 임박에 따른 안보 위협, 행정안전부 경찰국 신설에 대한 경찰 반발 등 시급한 과제 해결에 고심할 것으로 보인다.8·15 광복절을 계기로 새롭게 제시할 국정 운영 방향도 구상할 것으로 예상된다.또 보건복지부 장관과 잦은 대통령실 인사 논란에 대한 대응책도 마련할 것으로 관측된다.자신을 둘러싼 대내외적으로 24옵션이란 무엇입니까? 리스크가 산재한 가운데 윤 대통령은 광복절을 계기로 한 정치·경제인에 대한 특별사면 여부도 정리할 것으로 보인다.대통령 취임 후 80여일 만에 맞는 첫 휴가지만 윤 대통령으로서는 부담이 적지 않다.무엇보다 국정수행 지지율이 취임 후 처음으로 20%대로 주저앉았다.권성동 당 대표 직무대행 겸 원내대표와의 ‘문자 파동’ 여파도 여전히 지속되고 있다.이상훈 기자 [email protected]

이스타항공

이스타항공

이스타항공 임직원들은 원희룡 국토교통부 장관에 "이스타항공이 재운항을 통해 고객과 협력사에 보답할 수 있도록 기회를 달라"라고 27일 호소했다.

이스타항공은 이날 임직원 일동 명의로 '국토부장관에게 보내는 호소문'을 공개했다.

이들 임직원은 "이스타항공이 회계자료를 허위로 제출했다는 이유로 국토부가 특별 조사와 감사를 하고 있다"며 "조사 결과에 따라 이스타항공 임직원과 관계사 직원들의 일자리는 물론 가족들의 생계까지 위협받을 것"이라고 우려했다.

이어 "기업회생절차를 통해 완전히 새로워졌다"며 "기존 주주들의 모든 주식은 소각했고, 근로자들은 임금과 수당을 반납하면서까지 정상화에 힘을 보탰다"고 했다.

특히 "이스타항공 임직원들은 부족한 시스템과 환경에도 신뢰받는 항공사로 거듭나기 위해 더욱 엄격한 내부 기준을 세우고 성실히 (재운항) 과정에 임했다"며 "모든 과정에 부끄러운 술수나 특혜는 없었고, 특별한 노력만이 있었다"고 강조했다.

그러면서 "비상탈출 시현이 성공적으로 종료된 이후 사실상 재운항을 위한 모든 절차가 진행됐음을 국토부가 공표했고, 당시 직원들은 눈물을 흘리고 2년간의 노고를 서로 위로했다"고 덧붙였다.

임직원들은 아울러 "항공사업법 제1조 항공사업의 목적에는 '이용자의 편의를 향상시켜 국민경제의 발전과 공공복리의 증진에 이바지함'이라고 명시돼 있다"며 "특별 조사를 통해 오해에 대한 시시비비를 가리는 것도 중요하지만 재운항을 통해 항공사로서 고객과 시장에 보답하는 것이 항공사업법의 목적에 맞는 판단일 것"이라고 주장했다.

아울러 "어떠한 회사도 영업활동과 매출 없이 수개월을 버틸 수는 없다"며 "급여반납으로 힘겹게 생계를 이어가는 24옵션이란 무엇입니까? 500명의 직원이 있고, 다시 돌아와야 할 1000여 명의 동료가 남아있다"고 덧붙였다.

국토부는 앞서 이스타항공이 지난해 국제항공운송사업 변경 면허를 발급받는 과정에서 허위 내용이 있는 회계 자료를 제출한 사실을 확인하고, 특별 조사에 들어갔다.

국토부가 허위 자료 제출에 고의성이 있다고 판단하면 이스타항공이 지난해 12월 발급받은 변경 면허가 취소될 수 있다.

이스타항공 측은 지난해 이익잉여금(결손금)이 -1993억원이라고 국토부에 보고했다. 그러나 올해 5월 금융감독원의 전자공시 시스템에 공시된 작년 감사보고서에서는 이익잉여금이 -4851억원에 달하는 것으로 나타났다.

이스타항공은 이에 "기업회생절차 과정에서 회계시스템이 폐쇄되고, 정상적인 결산이 진행될 수 없었던 상황에서 서울회생법원으로부터 인가된 회생 계획에 따라 특정할 수 있었던 수치를 당시 자료에 반영했다"고 해명했다.


0 개 댓글

답장을 남겨주세요