카페검색 본문
카페글 본문
-
음트트 --a뛰는넘위에 나는넘-_-/(유머) 2003.05.18해당카페글 미리보기
칸토어: 뛰는 놈의 집합은 셀 수 있는 집합이고 나는 놈의 집합은 셀 수 없는 집합이다. 힐베르트: 뛰는 놈과 나는 놈의 공리계를 정립함으로써 뛰는 놈 위에 나는 놈이 있음을 보일 수 있다. 괴델: 무모순이면서 뛰는 놈 위에 나는 놈이 있음을 증명할 수...
-
우표 수집이 꽤 많은 것을 배운다.^^ 2017.05.16해당카페글 미리보기
활동은 넓은 의미의 ‘수(數)’ 전반에 걸친 거의 모든 영역에 미쳤으며, 추상성과 일반성을 특징으로 삼고 있다. 군(群)을 공리계(公理系)로 정의했던 초기의 연구에서도 이 경향은 명백했지만, 가장 유명한 역작인 《연속과 무리수》(1872)에서 풍족한...
-
1+1=2 증명 화이트헤드 & 러셀 , 수학 원리(Principia Mathematica) 2023.12.25해당카페글 미리보기
한 것은, 수학이라는 학문의 논리적인 기초를 확립하려는 시도에서 나온 것이었다. 그들이 보이고자 한 것은, 적절한 공리계가 주어지면 그로부터 우리가 알고 있던 모든 수학 지식이 다 논리적으로 유도될 수 있다는 일반적인 원리(principle)였다...
-
철학의 외부 발표자 명단 2006.03.04해당카페글 미리보기
철학의 외부 라캉 전체: 임채성 푸코 1. 담론이론: 영환 2. 계급투쟁: 상훈 들뢰즈/가타리 1. 역사유물론: 상엽 2. 욕망의 혁명: 시원 3. 현대예술: 영민 4. 자본주의 공리계: 명덕
-
수학과용 코끼리 냉장고에 집어넣는 7가지 방법 2004.10.01해당카페글 미리보기
처리를 한다. 6.정수론에서 넣는 방법: 나는 코끼리를 냉장고에 넣을 수 있는 놀라운 방법을 알고 있으나, 여백이 부족하다. 7.기하학에서 넣는 방법: 제일 간단하게 넣을 수 있는 방법은... 공리1."코끼리를 냉장고에 넣을 수 있다"라고 공리계를 구성...
-
레슬제2사단(1화) 2005.12.16해당카페글 미리보기
명제"인 것처럼 용어들 가운데도 "정의하지 않고 사용하는 용어"가 필요한데, 이것들을 "무정의 용어"라고 하며, 이 공리계에서는 "1", "그 다음 수"가 무정의 용어로 쓰인다. 이므로 답은 2가되겠습니다 언더:파묻어 R.I.P 츄플 랜디:야이 언더야 뭐하는...
-
숙제 562/ 제로행성 2010.05.19해당카페글 미리보기
없어질 때까지 걸리는 시간 그 시간조차도 우주에서는 찰나라지 너의 모순 없는 주장처럼 모순이 없고 충분히 강력한 어떤 공리계에서 증명도 반증도 불가능한 명제가 존재한다면 그건 사랑이고 죽음일 거다 우리의 말과 수학기호, 기억의 불완전성을 우주...
-
미니멀리스트 주근옥의 한국문학의 판단중지를 위하여 2015.06.24해당카페글 미리보기
의 파국이론(catastrophe theory), 조지 불(George Boole)의 불 대수(Boolean algebra), 쿠르트 괴델(Kurt Gödel)의 “형식적 공리계는 그 공리 자체와 그것의 부정 어느 것도 증명될 수 없다는 하나의 명제를 포함하고 있어야 한다”는 그 정리와 같은...
-
<32>진리의 다양성 2007.04.12해당카페글 미리보기
주장하게 되었다. 비단 기하학의 세계에서뿐만 아니라, 대수학, 해석학 등의 분야에서도 여러 공리계가 연이어 나타났다. 이젠 수학이라면 으레 공리계로부터 출발하는 것이 되었다. 그런 가운데에도 유클레이데스 기하는 여전히 각별한 권위와 지지를...
-
미니멀리스트 주근옥의 한국문학의 판단중지를 위하여 2015.06.24해당카페글 미리보기
의 파국이론(catastrophe theory), 조지 불(George Boole)의 불 대수(Boolean algebra), 쿠르트 괴델(Kurt Gödel)의 “형식적 공리계는 그 공리 자체와 그것의 부정 어느 것도 증명될 수 없다는 하나의 명제를 포함하고 있어야 한다”는 그 정리와 같은...