카페검색 본문
카페글 본문
-
울리포는 단순 문자 놀이가 아니다 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해당카페글 미리보기
자본주의의 공리계와 그 외부-들뢰즈와 가티리 - 들뢰즈와 가타리는 여기에서 자본주의는 공리계를 이루고 있다고 합니다. 따라서 우리는 여기에서 공리계란, 그리고 자본주의에서의 공리계란, 그리고 그것의 외부에 대해서 알아보는것이 핵심이 됩니다...
-
공리계에 대해 물어보고싶은게 있습니다. 2014.01.08해당카페글 미리보기
어떠한 공리계가 존재할 때 일반적인 다른 공리계처럼 쓰일 수 있으려면 어떠한 조건들을 만족해야되나요? 모순이 발견되지 않더라도 그 무모순성을 증명할 수 없으므로 모순성으로는 공리계의 사용 여부를 결정할 수 없을것같은데요. 그렇다면 그냥...
-
데이터 통합완전성(Integrity)과 정합성(整合性, Consistency)의 차이 2023.08.14해당카페글 미리보기
무모순성, 無矛盾性= 정합성(整合性) 논리학 공리계(公理系)에서, 어떤 논리식에 관해서도 그것과 그것의 부정(否定)이 동시에 성립되지 않는 일. 데이터 통합 및 마이그레이션 프로젝트에서 데이터 무결성 목표를 달성하기 위해서는 데이터들의 정합성을...
-
페아노공리계인가?그거 증명할떄요. 2004.08.06해당카페글 미리보기
페아노 공리계인가 그거 계상씨가 증명할떄요. 증명하면서 칠판에 적으면서 했자나요. 근데 PA1~PA4까지 썼는데 갑자기 PA3을 쓰려고 하시더라고요.ㅎㅎ 그떄 제가 계상씨 누드신이 나와서 너무 흥분을 해서 잘 못봤을수도 있겠지만.;; 할튼 거기서 계상씨...
-
<잠깐 쉬어가세요> 철학적 인식을 담아내는 디카시를 쓰는 방법 (펀글) 2023.06.16해당카페글 미리보기
이상에 순응하도록 한다. 그러한 주체화의 점으로부터 언표행위의 주체가 발생하는 것이다. 그런 의미에서 우리가 사는 공리계는 “모든 선들을 봉쇄하고, 모든 것들을 점 체계로 종속”시키고 모든 것을 정지시키는, 귀스도르프 식으로 말하자면, 거대한...
-
6월12일수업자료(1) 2023.06.06해당카페글 미리보기
대한 유대 및 가톨릭 사회의 악평 때문에 생전에 출판하지 못하였다. 이 책은 기하학의 논증법을 응용하여 윤리학을 정리, 공리계(係) 등으로 체계 지은 것이었다. 그는 처절한 고독과 빈곤 속에서 43세를 일기로 일찍 숨을 거두었다. 철학사상 스피노자는...
-
수교재 수와연산 단원 Peano의 공리계 부분에 오타? 2014.08.29해당카페글 미리보기
자연수는 1이 최소원소가 아닌가요? 본문도 그렇고, 주석도 그렇고 0이 자연수의 원소로 포함되어있는데 오타아닌가요??