결론만 말하자면 가능하다.
한정된경우를 통해 난제를 증명할수있다면 가능하다.
4색문제와 같은 난제들이 증명가능할수있을것으로보인다.
가상국가 채널, 당신의 손으로 그리는 역사
맨체스터 대학교)수학난제를 컴퓨터를 통해 증명할수있는가?
추천
0
비추천
0
댓글
2
조회수
82
작성일
댓글
[2]
Unknown_Pleasure
Unknown_Pleasure
본 게시물에 댓글을 작성하실 권한이 없습니다.
로그인 하신 후 댓글을 다실 수 있습니다. 아카라이브 로그인
최근
최근 방문 채널
최근 방문 채널
번호
제목
작성일
조회수
추천
공지
아카라이브 모바일 앱 이용 안내(iOS/Android)
29766920
공지
가상국가 채널 규정 v2.0.0
3255
공지
가상국가 채널 15기 공지
969
공지
15기 정식 개장 선언
336
공지
분쟁의 소지가 다분한 2023년 4월 26일 이전 가국 이야기 언급금지
415
공지
[연구] 핵무기 연구트리
475
공지
링크 수정했습니다
290
공지
앞으로 제목에 국명 안붙이면 전부 무효화함
584
공지
무점에 관해서
783
공지
1910년대부터 해금되는 공용병기
318
공지
2번째 인구룰렛
564
공지
앞으로 작계글 쓸때 공지
347
공지
독일 - 폴란드 전쟁
279
공지
[독일 - 폴란드 전쟁] 판정 (3턴)
85
공지
동아시아 개방 직후 지도
286
숨겨진 공지 펼치기(10개)
불가리아 유저는 또 누구인가
45
0
[NPC/오가덴전쟁] 휴전의 끝
[2]
75
0
[루마니아] 농업 균형 붕괴
31
0
내가 무지해서 미안하다
53
0
[Olivetti] 타자기 개발
[1]
66
0
[루마니아/기밀] 빠른 협상 촉구
71
0
ㅍㅇ// 남한이 북한에 밀리는 쪽 아니냐
[3]
125
0
ㅍㅇ아 시발
[9]
115
0
아 목록 귀찮다
36
0
[삼성][제일제당]백설표 설탕 출시
60
0
휴전 빨리좀
[7]
78
0
영국)기밀
[9]
95
0
[수단/기밀]소총 DSG-1
[3]
56
0
맨체스터 대학교)수학난제를 컴퓨터를 통해 증명할수있는가?
[2]
83
0
[동독 기밀] .
81
0
ㅍㅇ)근데 남북 협상은 언제끝남?
[4]
99
0
농사를 하고 가축을 길러라
71
0
보라돌이령 쿠바로 국명 변경
39
0
[대한수호위원회]휴전은 우리나라를 망하게 하는 지름길
47
0
포항 스틸 기밀)철광석
[2]
54
0
IMI)설립
[4]
99
0
[ 헝가리 ] 수출 품목 정리
34
0
[ 헝가리 ] 수입 품목 정리
39
0
[ 헝가리/기밀 ] 헝가리 인민군 편제
[1]
76
0
[ 헝가리 ] 제식소총 채택
41
0