카페검색 본문
카페글 본문
정확도순
-
울리포는 단순 문자 놀이가 아니다 2024.07.03해당카페글 미리보기
Kurt Gödel(1906~1978)과 영국의 수학자 Alan Mathison Turing, 1912~1954)의 독창적인 연구로, 괴델의 정리란 “형식적 공리계는 그 공리 자체와 그것의 부정 어느 것도 증명될 수 없다는 하나의 명제를 포함하고 있어야 한다”는 것이다. 결론적으로...
-
폴 오스터 - 4 3 2 1 2024.04.06해당카페글 미리보기
말한 1+1=2라는 건 어떻기 설명할껀데? 라고 물으신다면, 이제 그것을 증명하는 쪽으로 이야기가 흘러갑니다. 물론 페아노 공리계를 파고들고, 제가 또 읽고 있는 화이트헤트/버트런드 러셀의 수학원리서도 이를 증명하는 과정이 나와있기는 하지만 괴델이...
-
<알비>페아노공리계를이용한 올바른 1+1=2증명법 2009.01.22해당카페글 미리보기
건 증명하지않고 옳다고 인정하는명제. 그리고 정의하지않고 사용하는 용어가 필요한데 이것을 무정의 용어라고하며 페아노공리계에서는 1, 그다음 수 ('붙은거)가 무정의 용어입니다.) 자 이하 증명들어감 1+1=2 를 증명하려면 우선 + 와 2가 정의가 되야...
-
철학의 외부-자본주의의 공리계와 그 외부 2005.06.12해당카페글 미리보기
자본주의의 공리계와 그 외부-들뢰즈와 가티리 - 들뢰즈와 가타리는 여기에서 자본주의는 공리계를 이루고 있다고 합니다. 따라서 우리는 여기에서 공리계란, 그리고 자본주의에서의 공리계란, 그리고 그것의 외부에 대해서 알아보는것이 핵심이 됩니다...
-
데이터 통합완전성(Integrity)과 정합성(整合性, Consistency)의 차이 2023.08.14해당카페글 미리보기
무모순성, 無矛盾性= 정합성(整合性) 논리학 공리계(公理系)에서, 어떤 논리식에 관해서도 그것과 그것의 부정(否定)이 동시에 성립되지 않는 일. 데이터 통합 및 마이그레이션 프로젝트에서 데이터 무결성 목표를 달성하기 위해서는 데이터들의 정합성을...