로그인
보증업체
스포츠중계
스포츠분석
먹튀사이트
지식/노하우
판매의뢰
업체홍보/구인
뉴스
커뮤니티
포토
포인트
보증카지노
보증토토
보증홀덤
스포츠 중계
기타
축구
야구
농구
배구
하키
미식축구
카지노 먹튀
토토 먹튀
먹튀제보
카지노 노하우
토토 노하우
홀덤 노하우
기타 지식/노하우
유용한 사이트
제작판매
제작의뢰
게임
구인
구직
총판
제작업체홍보
실시간뉴스
스포츠뉴스
연예뉴스
IT뉴스
자유게시판
유머★이슈
동영상
연예인
섹시bj
안구정화
출석하기
포인트 랭킹
포인트 마켓
로그인
자동로그인
회원가입
정보찾기
뉴스
더보기
[연예뉴스]
장도하, '지옥에서 온 판사' 첫 에피소드 주인공…박신혜와 호흡 [공식입장]
N
[연예뉴스]
“정진수가 부활했습니다”…‘지옥2’, 10월 25일 공개
N
[연예뉴스]
‘UDT 출신’ 덱스, 운동 중 유혈사태? (전참시)
N
[실시간뉴스]
“인류 멸종 막을 비법”…유전정보 저장한 ‘불멸의 외장하드’ 등장[핵잼 사이언스]
N
[연예뉴스]
제시, 독립 레이블 UNNI 설립
N
커뮤니티
더보기
[자유게시판]
시간 빠르네
N
[자유게시판]
비가오니까
N
[자유게시판]
더운날 모두 즐퇴하세요!
N
[자유게시판]
퇴근이네요...
N
[자유게시판]
오늘 이사가기전 저녘 뭐먹죠? 흐흐
N
제휴문의 @spostar
제휴문의 @spostar
목록
글쓰기
[IT뉴스]350년 난제 '페르마의 마지막 정리' 컴퓨터 증명 나선 수학자들
온카뱅크관리자
조회:
57
2024-04-02 06:00:19
<div id="layerTranslateNotice" style="display:none;"></div> <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> <section dmcf-sid="7sN1aODxZq"> <figure class="figure_frm origin_fig" dmcf-pid="zpGQYUtsXz" dmcf-ptype="figure"> <p class="link_figure"><img alt="17세기 법률가이자 수학자였던 피에르 드 페르마 초상화. 위키미디어 제공" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202404/02/dongascience/20240402060024848rltj.jpg" data-org-width="299" dmcf-mid="u4FitK7v5B" dmcf-mtype="image" height="auto" src="https://img2.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202404/02/dongascience/20240402060024848rltj.jpg" width="658"></p> <figcaption class="txt_caption default_figure"> 17세기 법률가이자 수학자였던 피에르 드 페르마 초상화. 위키미디어 제공 </figcaption> </figure> <p dmcf-pid="qUHxGuFOY7" dmcf-ptype="general">수학자들이 수학 역사상 가장 유명한 정리인 '페르마의 마지막 정리'에 대한 컴퓨터 증명에 나선다. </p> <p dmcf-pid="BGIbOHTNGu" dmcf-ptype="general">1일 과학 저널 '뉴사이언티스트'와 '파퓰러메카닉스'에 따르면 케빈 버자드 영국 임페리얼대 교수 연구팀이 이르면 4월부터 페르마의 마지막 정리를 컴퓨터 언어를 이용해 증명할 예정인 것으로 전해졌다. </p> <p dmcf-pid="bHCKIXyjZU" dmcf-ptype="general">페르마의 마지막 정리는 1995년 영국의 수학자 앤드루 와일스가 증명한 정리다. n이 3 이상의 정수일 때, x^n+y^n=z^n을 만족하는 양의 정수 x, y, z는 존재하지 않는다는 내용이다. 17세기 프랑스 법률가였던 피에르 드 페르마가 여가시간에 디오판토스의 '산술'이라는 책의 여백에 이같은 내용을 적고 '여백이 부족해 증명 방법은 적을 수 없다'고 덧붙이며 시작된 문제다. </p> <p dmcf-pid="KXh9CZWAHp" dmcf-ptype="general">문제가 간단해 여러 수학자가 페르마의 마지막 정리에 도전했지만 풀리지 않아 350년 넘게 난제로 남아 있었다. 수학계에 따르면 페르마의 마지막 정리는 지금까지 가장 많은 ‘틀린’ 증명이 발표된 문제였다. 와일스도 1993년 첫 증명을 발표했지만 오류가 발견돼 다시 증명을 수정한 끝에 2년 뒤에 완벽히 증명했다. 당시 와일스가 발표한 논문은 100페이지가 넘었다. 내용이 매우 복잡해 동료 수학자들이 논리적 오류가 없는지 검증하는 데 2년 이상 걸렸다.</p> <p dmcf-pid="9z5eZqphZ0" dmcf-ptype="general">연구팀은 '린(Lean)'을 이용해 페르마의 마지막 정리를 검증할 계획이다. 린은 마이크로소프트 리서치팀이 2013년 개발한 수학 증명을 검증하는 소프트웨어다. 린은 갈수록 검증이 어려워지고 있는 수학 논문 검증에 활용된다. 컴퓨터 언어인 코드로 증명 내용을 변환해 린에 입력하면 이 증명이 참인지 알려주는 원리다. 연구진은 와일스가 증명한 내용을 컴퓨터가 읽을 수 있는 언어로 변환할 계획이다. </p> <p dmcf-pid="2q1d5BUlG3" dmcf-ptype="general">수학자들이 페르마의 마지막 정리를 컴퓨터로 다시 증명하는 이유는 증명 과정을 컴퓨터 언어로 바꿔 다른 동료들이 이를 활용해 컴퓨터로 또 다른 수학 결과물을 내길 바라기 때문이다. 페르마의 마지막 정리를 풀기 위해 만들어진 각종 이론이 수학을 크게 발전시켰던 것처럼 이번 작업을 통해 컴퓨터화된 내용을 이용해 수학이 발전할 수 있다고 주장한다.</p> <p dmcf-pid="VUHxGuFO1F" dmcf-ptype="general">예를 들어 실제 페르마의 마지막 문제를 푸는 과정에서 타원곡선 이론을 사용해 암호를 만들 수 있다는 것이 알려져 공개키 암호에 이 이론이 쓰이고 있다. </p> <p dmcf-pid="fuXMH73Itt" dmcf-ptype="general">버자드 교수는 "커뮤니티를 만들어 수학 내용을 코드화 하는 연구팀 작업에 누구나 참여할 수 있도록 할 것"이라며 "10월부터 이 프로젝트에 전념할 예정이며 이 프로젝트를 완료하기 위해 5년 동안 가르치는 일을 보류할 예정이다"라고 밝혔다. <br> </p> <p dmcf-pid="47ZRXz0C51" dmcf-ptype="general">[이채린 기자 rini113@donga.com]</p> </section> </div> <p class="" data-translation="true">Copyright © 동아사이언스. 무단전재 및 재배포 금지.</p>
댓글등록
댓글 총
0
개
맨위로
이번주
포인트
랭킹
매주 일요일 밤 0시에 랭킹을 초기화합니다.
1
4,000
상품권
2
3,000
상품권
3
2,000
상품권
1
여수짱똥깨
600
2
토르왕
500
3
우로스써보세요
400
4
풀카
400
업체홍보/구인
더보기
[구인]
온카 정싸에서 유튜브 방송 BJ 구인중입니다
[구인]
클릭계열 빙고 최상부 카지노1.2% 동행파워볼2% 양방가능 부본사 파트너 모십니다.
[구인]
해외에서 업무 가능 하신 분 구인 합니다
[구인]
★★재택근무 장기적으로 함께하실팀원 모십니다★★
[구인]
다양한 경험의 개발자 구직 합니다. 안정적인 업체 원합니다.
지식/노하우
더보기
[카지노 노하우]
흥부가 놀부될때까지 7
[카지노 노하우]
5월 마틴하면서 느낀점
[카지노 노하우]
바카라 노하우
[카지노 노하우]
룰렛 시스템 가장 큰 팁!
[카지노 노하우]
기회가 온다면 잡으세요.
판매의뢰
더보기
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
[제작판매]
html5웹미니게임제작 해시게임제작 카드포커게임제작 스포츠토토 카지노 슬롯 에볼루션 토지노 솔루션분양임대재작
포토
더보기
N
N
N
N
N
N
채팅하기