[Interview] “400년 전 조선 비행기, 불가능하지만은 않았을 겁니다”

과학동아 2016년 07호

역시 항공공학자이자 설계자인 이 씨가 좌충우돌하며 비거 모형을 복원하는 과정이다. 논증 과정이 꽤 꼼꼼하고 기발해 다큐멘터리를 보듯 흥미롭다. 예를 들어 하늘을 날 수 있는 날개에 대한 힌트는 우리나라 전통배의 돛에서 얻는다. 마주 오는 바람이 불 때 돛을 풍향에 수평하게 돌리고 활대를 ...

PART 1 인공지능 디스토피아는 없다

과학동아 2015년 07호

진정한 의미의 지능이 아니라는 것이다. 미국의 철학자 존 설이 제시한 ‘중국어방 논증’이 대표적이다. “밀폐된 방에 중국어를 전혀 할 줄 모르는 사람이 중국어-영어 답변 매뉴얼을 갖고 들어간다. 종이가 들어오면 이 사람은 매뉴얼을 참고해 글자를 판독한 뒤, 답이 될 글자를 알아낸다. ...

[Knowledge] ‘휘어진 시공간’은 어떻게 증명한 걸까

과학동아 2015년 04호

공리 5개에 무정의용어 10개를 합친 공준 15개가 있고, 이로부터 엄격한 연역적 논증을 통해 증명한 정리 465개가 있다. “두 점을 모두 지나는 직선은 하나다”, “모든 직각은 똑같다”와 같은 공리를 우리가 믿는다면, 여기서 유도된 정리들은 의심할 필요가 없는 옳은 지식이 된다.그런데 유클리드 ...

[Knowledge] 절대공간은 존재할까?

과학동아 2015년 03호

하고, 모든 물체들이 나란히 옆으로 옮겨진 새로운 배치를 ‘세계2’라 하자. 모든 논증은 서로 동의하고 공유하는 전제를 필요로 한다. 클라크는 라이프니츠와 주고받은 편지에서 ①모든 일에는 필연적 이유가 있다는 원리(충분한 이유의 원리)와 ②구별할 수 없는 것은 동일하다는 원리를 ...

[지식] 수학의 소금, 피타고라스 정리

수학동아 2015년 03호

더해지자, 기하학은 놀라운 발전을 이룹니다.정리와 연역법을 바탕으로 한 ‘논증기하학’은 시간이 흘러 유클리드 기하학으로 완전히 꽃 피웁니다. 인류의 문명은 유클리드 기하학을 바탕으로 세워졌다고 해도 지나치지 않습니다. 오늘날 우리가 피타고라스 정리라는 튼튼한 뿌리 위에 서 있다고 ...

INTERVIEW. “21세기는 일반상대성이론의 시대”

과학동아 2015년 01호

얼마나 현실성이 있는지 토론한다. 재밌는 것은 이 모든 우주 사업을 뒷받침하는 과학적 논증에 일반상대성이론이 있다는 점이다. 모든 제안서에 상대성이론이 큰 글씨로 쓰여 있다.Q. 21세기 과학의 중심이라고 하는 이유는21세기 현대 물리학과 천문학의 주요 논제들은 모두 일반상대성이론의 ...

미래 세상의 공통어, 코드

수학동아 2014년 09호

누가 맨 처음 생각했을까? 1930년대 수학자들이 명제를 증명하기 위해 사용했던 논증 방법이 현대 알고리즘의 초기 모습이다. 당시 알고리즘을 코드로 옮긴 최초의 언어가 바로 ‘알골’이다. 알골의 문법은 단순히 ‘ ::= ’ 꼴로 이루어져 있었다. 이러한 알골에서 출발한 코드는 0과 ...

이영돈 PD의 수학 먹거리 X파일

수학동아 2013년 08호

말로, 그리스어인 Para(반대)와 Doxa(상식적인 견해)의 합성어다. 즉, 역설은 참된 명제와 논증에서 모순된 주장을 나타내는 표현을 말한다. 잘 알려진 역설로 ‘크레타섬의 거짓말쟁이’가 있다.감자역설은 진짜 역설은 아니지만, 많은 사람들의 상식에서 벗어나는 문제라 역설로 소개됐다. 이 감자는 ...

Part4. 인공 뇌에도 마음이 있을까

과학동아 2012년 03호

이와 같은 논증들은 모두 순환 구조로 전제가 증명하려는 결론을 포함한다. 따라서 이런 논증은 정신을 물질로 설명할 수 없다는 주장을 증명하지 못한다.현대 철학에서는 이런 질문을 “마음의 작용을 물질로 환원 가능한가?”라고 표현한다. 어떤 현상에 대한 우리의 이해와 인지는 자신의 이론적 ...

논증 기하의 창의력 문제들

과학동아 2011년 05호

※ 이 코너는 수학영재를 위한 실력 향상 코너입니다. 기하, 대수를 비롯한 수학의 다양한 영역에서 재미있는 개념설명과 함께 흥미로운 문제를 만나볼 수 있습니다.

더보기 +