검색 결과
둘러보기로 이동
검색으로 이동
- ...em, -定理) 또는 '''로빈슨의 결합 무모순성 정리'''(Robinson's joint consistency theorem)는 [[수리논리학]]의 기본적인 결과 중 하나로, [[영국]]의 [[수학자]]이자 [[철학자]]인 [[존 앨런 로빈슨]](John Alan Robinso [[분류:수리논리학]] ...2 KB (65 단어) - 2022년 2월 28일 (월) 11:59
- [[분류:수리논리학]] ...670 바이트 (30 단어) - 2022년 2월 26일 (토) 15:51
- [[수리논리학]]에서는 두 대상의 같음을 대략 '성질'이 완전히 같다는 의미의 [[이항 관계]]로 추상화한다. [[1차 논리]]에서는 [[함수]]와 [[분류:수리논리학]] ...2 KB (58 단어) - 2024년 11월 5일 (화) 05:14
- * [[수리논리학]] {{수리논리학}} ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- [[수리논리학]]에서 '''연역 정리'''({{llang|en|deduction theorem}})는 [[술어 논리]] 및 [[1차 논리]]의 [[메 ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- [[수리논리학]]에서 '''보존적 확장'''(保存的擴張, {{llang|en|conservative extension}})은 주어진 이론을 확장하되, [[분류:수리논리학]] ...4 KB (364 단어) - 2024년 12월 20일 (금) 18:29
- '''일반화 정리'''(generalization theorem, 一般化定理)는 [[수리논리학]]의 [[정리]]로서, [[일차 논리학]]에서 추론규칙 중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. ...1 KB (61 단어) - 2024년 6월 4일 (화) 10:36
- [[분류:수리논리학]] ...1 KB (36 단어) - 2022년 2월 25일 (금) 15:38
- ...(Rosser's theorem, -定理)는 [[소수 (수론)|소수]]의 크기에 관한 [[수론]]의 [[정리]]로, [[미국]]의 [[수리논리학|수리논리학자]] [[존 바클리 로서]](John Barkley Rosser)가 [[1938년]] 증명하였다. ...1 KB (82 단어) - 2024년 2월 8일 (목) 07:22
- [[분류:수리논리학]] ...2 KB (231 단어) - 2023년 4월 1일 (토) 03:11
- [[분류:수리논리학]] ...2 KB (34 단어) - 2024년 6월 2일 (일) 23:01
- [[분류:수리논리학]] ...2 KB (44 단어) - 2024년 5월 3일 (금) 14:17
- |학문명 = 수리논리학 ...<ref>안동환. [https://n.news.naver.com/mnews/article/081/0000127798?sid=102 美 수리논리학 개척자 코헨 사망]. 서울신문. 2007년 4월 3일.</ref><ref>이성주. [https://n.news.naver.com/mne ...7 KB (335 단어) - 2025년 1월 10일 (금) 04:22
- [[수리논리학]]에서 '''괴델의 완전성 정리'''(Gödel-完全性定理, {{llang|en|Gödel’s completeness theorem}} [[분류:수리논리학]] ...5 KB (281 단어) - 2024년 9월 21일 (토) 16:14
- [[분류:수리논리학]] ...2 KB (85 단어) - 2024년 5월 3일 (금) 13:29
- [[수리논리학]]에서 '''무한 논리'''(無限論理, {{llang|en|infinitary logic}})는 무한한 [[논리합]]·[[논리곱]]·전 [[분류:수리논리학]] ...5 KB (410 단어) - 2024년 5월 18일 (토) 11:24
- [[분류:수리논리학]] ...3 KB (106 단어) - 2024년 5월 18일 (토) 04:58
- [[수리논리학]]에서 '''무모순적 이론'''(無矛盾的理論, {{llang|en|consistent theory}})은 거짓을 추론할 수 없는 이론이 [[분류:수리논리학]] ...7 KB (428 단어) - 2025년 1월 20일 (월) 12:15
- [[수리논리학]]에서 '''스콜렘 표준형'''(Skolem normal form)은 [[보편 양화사]]만으로 이루어진 [[프리넥스 표준형]] 1차 논 ...3 KB (65 단어) - 2022년 7월 28일 (목) 02:16
- [[분류:수리논리학]] ...3 KB (144 단어) - 2022년 4월 20일 (수) 10:06