검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- [[수리논리학]]에서 '''증명 이론'''(證明理論, {{llang|en|proof theory}})은 [[증명]]을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 이론이다. ...있는 데 대조적으로 증명 이론에는 [[통사론|구문론]]적 성질이 있다. [[모형 이론]], [[집합론]], [[재귀 이론]]과 함께 증명 이론은 [[수학기초론]]의 4대 기둥이라고도 불린다. ...9 KB (243 단어) - 2024년 12월 20일 (금) 14:19
- == 람베르트의 증명 == == 에르미트의 증명 == ...10 KB (988 단어) - 2025년 2월 4일 (화) 01:57
- ...일관성 증명''' 또는 '''겐첸의 무모순성 증명'''은 1936년 [[게르하르트 겐첸]]이 발표한 [[수리 논리학]]의 갈래인 [[증명 이론]]의 결과이다. 이는 1차 산술의 페아노 공리가 증명에 사용된 어떤 다른 체계도 모순을 포함하지 않는 한 모순을 포함하지 않는다는 겐첸의 증명은 증명 이론적 서수 분석의 첫 번째 예다. 서수 분석에서 잘 정렬된 것으로 증명될 수 있는 (구성적) 서수가 얼마나 큰지 또는 (구성적) 서수 ...9 KB (117 단어) - 2024년 2월 18일 (일) 17:42
- '''원주율 초월수 증명'''은 원주율이 [[초월수]]임을 증명하는 공식으로, [[오일러 등식]]을 이용한다.<ref>김태성, [http://www.papers ...라고 가정하면 무한히 약분할 수 있어서, 이를 기약분수로 표현할 수 없는 모순이 생긴다.<ref group="주해">이와 방식이 같은 증명 가운데 <math>\sqrt{2}</math>가 무리수임을 증명한 [[에우클레이데스]]의 증명이 널리 알려져 있다.</ref> 유리수를 ...2 KB (144 단어) - 2025년 3월 14일 (금) 09:46
문서 내용 일치
- == 증명 == === 극한을 이용한 증명 === ...737 바이트 (71 단어) - 2024년 6월 4일 (화) 08:00
- == 증명 == === 1번째 그림의 증명 === ...2 KB (184 단어) - 2024년 12월 13일 (금) 15:30
- == 증명 == ...670 바이트 (30 단어) - 2022년 2월 26일 (토) 15:51
- ...)는 [[대화형 증명 체계]]로 풀 수 있는 문제의 집합이다. 이 시스템의 개념은 골트바서 들이 1985년에 처음 소개하였다. 대화형 증명 체계는 문자열 <math>n</math>이 어떤 [[형식 언어|언어]]에 들어가는 것을 증명하는 증명자 P와, 증명이 올바른지를 검증하 ...567 바이트 (9 단어) - 2023년 7월 9일 (일) 12:32
- == 증명 == ...824 바이트 (46 단어) - 2022년 5월 10일 (화) 14:06
- == 증명 == ...968 바이트 (81 단어) - 2025년 2월 16일 (일) 05:50
- == 증명 == ...1 KB (82 단어) - 2024년 6월 3일 (월) 17:20
- === 증명 === === 증명 === ...2 KB (177 단어) - 2023년 3월 22일 (수) 13:09
- == 증명 == ...1 KB (79 단어) - 2025년 3월 3일 (월) 12:58
- ==증명== ...1 KB (59 단어) - 2022년 2월 6일 (일) 17:30
- == 증명 == ...1 KB (105 단어) - 2022년 3월 5일 (토) 08:43
- === 증명 === ...1 KB (125 단어) - 2024년 4월 25일 (목) 03:25
- == 증명 == ...1 KB (117 단어) - 2024년 5월 6일 (월) 09:01
- == 증명 == 위의 증명 방식을 이용하면 임의의 [[정다각형]]으로 비비아니 정리를 일반화할 수 있다는 것은 분명하다. ...2 KB (78 단어) - 2024년 1월 26일 (금) 14:17
- == 증명 == ...1 KB (150 단어) - 2022년 2월 28일 (월) 16:20
- == 증명 == ...1 KB (98 단어) - 2024년 1월 26일 (금) 14:46
- == 증명 == ...1 KB (100 단어) - 2022년 7월 28일 (목) 02:19
- == 증명 == ...2 KB (130 단어) - 2022년 2월 5일 (토) 16:29
- == 증명 == ...1 KB (60 단어) - 2022년 2월 7일 (월) 00:03
- == 증명 == ...1 KB (68 단어) - 2024년 8월 9일 (금) 08:48