포유류다’ 명제와 ‘톰은 고양이다’ 명제가 입력돼 있다면 ‘톰은 포유류다’라는 논리적 결론을 자동으로 추론 할 수 있다. AR은 수학적, 대수적 개념과 원리를 사용해 문제를 해결한다. 두점 사이의 거리를 계산하거나, 각도의 크기를 결정하는 문제를 풀 수 있다. 알파지오메트리는 두 과정을 ...
지표가 있다. CBCA 기법을 활용한 분석 결과, 피해자의 진술이 일관적이지 않거나, 진술에 논리적 모순점이 포착되는 등 오류가 발견됐다. 윤 진술분석관은 “피해자의 진술을 그대로 신뢰하기 어렵다는 판단을 내렸다”고 설명했다. 진술분석관의 판단에 따라 수사가 더 진행됐다. 그 결과 피해자가 ...
인정하지 않는’ 순간이 잦아졌습니다. 분명히 난 정확한 팩트를 제시했고 분석 과정도 논리적으로 문제가 없는데, 상대방들은 납득하지 못하더군요. 감히 말하자면 이것도 컨설턴트와 과학도가 공통적으로 빠질 수 있는 ‘함정’인 듯합니다. 상대방의 상황, 의도에 대한 이해는 없이 ‘맞는 말을 ...
이르모스, 하나는 ‘타디그레이드 피플’의 우나예요. 이르모스가 감정적이라면 우나는 논리적이지요. ‘타디그레이드 피플’에서는 이 두 세계를 붕괴해서 우나 쪽으로 나아갔을 때 펼쳐지는 이야기를 다뤘어요. Q. 타디그레이드는 무슨 뜻인가요? 타디그레이드는 완보동물을 뜻하는 영어 ...
발전할 수 있지 않을까 하는 생각해요. 한편 증명은 주어진 공리 안에서 참이라는 논리적 추론을 쌓아 올리는 건데, 인공지능에게 이 공리계를 온전히 전달하는 게 생각보다 쉽지 않아요. 그래서 인공지능에게 공리를 정확히 알려주기 위해서 공리를 재정비하는 과정도 함께 논의하고 있어요. ...
때 했던 연구를 발전시켜서 계속하는 중이에요. 수학을 공부할수록 수학이 주는 완벽한 논리적 아름다움과 명료함에 매료되는 것 같아요. 최종 목표는 교수가 돼서 석학들과 같이 다양한 연구를 하는 거예요. 흥미로운 문제를 풀고 전 세계 다양한 사람들과 교류하면서 수학이라는 학문을 ...
선전에 대항할 힘을 잃었습니다. 그러므로 시대적 위기를 극복하기 위해서는 더 논리적이고 합리적인 사유가 필요하다는 의견이었지요. 이런 시대적 상황에서 러셀이 평생 열중했던 수학의 기초를 구축하는 작업은 단순한 순수수학적 작업이 아니었습니다. 이성의 금자탑이나 다름없는 수학은 이 ...
일단 보안 솔루션을 개발하기 위해서는 아이디어가 필요하고, 그 아이디어를 ‘논리적으로’ 증명해야 해요. 예를 들어 ‘어떻게 하면 강력한 보안 솔루션을 만들까?’라는 문제 제기를 했어요. 이후 ‘휴대기기 안에 들어가는 반도체 칩을 공정하는 과정에서 어쩔 수 없이 불순물이 들어가는데, 이 ...
‘참인 명제를 근거로 새로운 명제가 참 또는 거짓임을 엄밀하게 논증하는 것’, ‘논리적 사고와 이를 상대방에게 전달하는 글쓰기의 결합’이라고 정의했어요. 또 수학적 증명을 서술할 때 수학적 엄밀함을 지키는 6가지 방법이 있다고 설명했어요. 1. 연역적 논증만을 써야 합니다. 연역적 ...
그러다 수학 개념은 시간이 가도 변하지 않는다는 사실을 깨닫고 수학에 끌렸어요. 논리적으로 딱딱 맞아떨어지는 것도 좋았어요. Q. 크게 좌절했다가 극복해본 경험이 있나요? 최우진 : 고등학교 1학년 때 처음 IMO를 나갔는데, 저만 은메달을 따고 모두 금메달을 획득했을 때 속상했어요. 하지만 ...