- 전체
- 물리
- 천체물리 - 우주(과학)
- 정보 (및 수학)
- 화학
- 생물 및 의학 (건강)
- 전기전자
- 지구과학 and 환경
- 사회과학
- 기계
- ITFIND 주간 기술 동향
- 월간 ICT 동향
- 인문학(과학)
정보 (및 수학) [정보 (및 수학)]당신이 '='의 의미를 모두 안다고 생각한다면 '착각'
2024.06.30 22:48
[정보 (및 수학)]당신이 '='의 의미를 모두 안다고 생각한다면 '착각'
당신이 '='의 의미를 모두 안다고 생각한다면 '착각'
입력2024.06.30. 오후 12:00
케빈 버자드 영국 임페리얼대 교수 연구팀은 지난달 논문 공개사이트 '아카이브'에 논문 형식의 결과 보고서를 발표했다. 버자드는 수학 역사상 가장 유명한 정리인 '페르마의 마지막 정리'를 컴퓨터 언어를 이용해 증명하고 있는 수학자로 유명하다. 정확히 말하면 1995년 영국의 수학자 앤드루 와일스가 증명한 내용 등을 '린(Lean)'으로 검증하고 있다. 린은 마이크로소프트 리서치팀이 2013년 개발한 수학 증명을 검증하는 소프트웨어다.
버자드 교수는 린에 컴퓨터 언어인 '코드'로 증명 내용을 변환해 입력하는 과정에서 =를 컴퓨터에 이해시키는 것이 까다롭다는 사실을 발견했다. =를 수학자마다 혹은 분야별로 조금씩 다른 의미로 쓰고 있었기 때문이다. 지금까지 cm, km 같은 단위 기호처럼 수학기호의 의미를 전세계가 공식적으로 확정하는 절차가 없었다.
=가 다양하게 쓰이는 이유는 근본적으로 같음에 대해 사람들의 생각이 다르기 때문이다. 예를 들어 '2+2=4'는 2+2와 4가 같다는 의미다. 대부분 동의하는 식이겠지만 형식과 모양을 판단 기준으로 한다면 두 개의 2가 +를 가운데 두고 있는 모양이 숫자 4가 하나밖에 없는 모양과 아예 다르다고 할 수 있다.
이처럼 수학에서는 같음을 다양하게 정의할 수 있다. 예를 들어 수학의 한 분야인 '위상수학'에서는 도넛과 커피잔이 같으므로 도넛=커피잔이라고 쓸 수 있다.
위상수학은 단순히 길이나 크기 같은 직관적인 수치 비교를 넘어 추상적인 물체들의 성질을 연구하는 분야다. 위상수학에서는 구멍을 내거나 가위로 자르지 않고 어떤 도형을 찰흙처럼 주물러 다른 도형으로 만들 수 있으면 두 도형을 같다고 정의한다. 위상수학자들은 도형의 점, 선, 면의 위치 관계에만 관심이 있기 때문에 도넛과 커피는 구멍이 하나인 물체로 같다. 하지만 다른 분야에서 도넛과 커피잔은 다른 물체다.
수리철학을 연구하는 최정담 '발칙한 수학책' 작가는 "{a, b, c}와 {1, 2, 3}은 '집합의 크기'에만 집중하는 수학자에게는 {a, b, c}={1, 2, 3}다"라면서 "누군가에게 '다름'인 명제가 누군가에겐 '같음'일 수 있다"고 설명했다. 버자드 교수는 과학 온라인 매체 '뉴사이언티스트'에 "현대 수학자들은 다소 느슨하게 =를 사용하고 있다"고 말했다. 수학자들이 =에 대한 개념 정의를 확실히 하지 않은 채 쓰고 있다는 말이다. 심지어 같음을 나타내는 기호도 = 외 여러 개 존재한다.
이같은 이유로 버자드 교수는 =를 컴퓨터에 이해시키기 어렵다고 설명했다. 수학 증명의 문맥을 이해한 뒤 여기서 쓰인 =의 의미를 밝혀내고 컴퓨터에 입력해야 하기 때문이다.
버자드 교수의 논문이 주목받는 이유는 최근 수학계에서 인공지능(AI)이 수학 연구 방법을 완전히 바꿀 것으로 기대하고 있기 때문이다. 수학자가 AI 도구를 이용해 새로운 추측을 제시하고 린의 도움을 받아 정확히 증명하는 미래를 꿈꾸고 있다. 이를 위해서는 컴퓨터가 현재 수학의 내용을 완벽히 이해해야 한다. 버자드 교수의 이번 논문은 수학계가 앞으로 겪을 어려움을 미리 보여준다는 의미가 있다.
본 웹사이트는 광고를 포함하고 있습니다.
광고 클릭에서 발생하는 수익금은 모두 웹사이트 서버의 유지 및 관리, 그리고 기술 콘텐츠 향상을 위해 쓰여집니다.
광고 클릭에서 발생하는 수익금은 모두 웹사이트 서버의 유지 및 관리, 그리고 기술 콘텐츠 향상을 위해 쓰여집니다.
댓글 0
| 번호 | 제목 | 글쓴이 | 날짜 | 조회 수 |
|---|---|---|---|---|
| 17 |
[화학] [인공지능] 세상에 없었던 신소재, AI가 찾는다…초전도체 소재도 찾을까
 | 졸리운_곰 | 2023.11.30 | 196 |
| 16 |
[화학] [과학자가 해설하는 노벨상] 양자점 상용화...끝없는 질문에 답 찾는 과정
| 졸리운_곰 | 2023.10.16 | 226 |
| 15 |
[화학] [노벨상 2023] QLED TV에서 첨단의료까지…'양자점' 세상 연 3인, 화학상(종합)
| 졸리운_곰 | 2023.10.05 | 208 |
| 14 |
이산화탄소 자원화 ‘걸림돌’ 해결 실마리 찾았다
| 졸리운_곰 | 2020.11.22 | 218 |
| 13 |
소리로 화학반응 제어할 방법 나왔다
| 졸리운_곰 | 2020.08.16 | 216 |
| 12 |
아르키메디안 다면체의 자가조립(Self-assembly)
| 졸리운_곰 | 2015.10.01 | 362 |
| 11 | 최초의 디지털 코딩된 합성 고분자 개발 | 졸리운_곰 | 2015.06.09 | 414 |
| 10 |
거미줄 구조를 모방한 초강력 섬유 개발
| 졸리운_곰 | 2015.06.09 | 454 |
| 9 |
고통스러운 자극을 인지하는 신경세포의 기능을 조절하는 방법
| 졸리운_곰 | 2015.06.09 | 481 |
| 8 |
효율적인 비대칭 고리화 반응 연구
| 졸리운_곰 | 2015.06.07 | 416 |
| 7 |
원자와 탄소 표면 간의 상호작용을 더 정밀하게 측정할 수 있는 새로운 방법
| 졸리운_곰 | 2015.06.07 | 366 |
| 6 |
단일-사슬 나노입자
| 졸리운_곰 | 2015.05.31 | 284 |
| 5 |
전자 궤도 사이의 ‘전자 브리지’ 구축
| 졸리운_곰 | 2015.05.10 | 460 |
| 4 |
실리콘 태양전지의 성능을 매우 향상시키는 페로브스카이트
| 졸리운_곰 | 2015.01.20 | 265 |
| 3 |
`다이아몬드`라고 모두 영원한 것은 아니다
| 졸리운_곰 | 2014.05.31 | 477 |
| 2 |
화학산업에 혁명을 불러올 산화효소 구조 규명
| 가을의 곰을... | 2013.12.18 | 3682 |
| 1 |
기록적인 성능을 가진 양자점 태양전지
| 가을의 곰을... | 2013.09.20 | 5384 |