cafe

생각했다. 괴델의 불완전성 정리를 현대수학과 논리학에 맞게 일반화한 것은 다음과 같다. 정리 1: 페아노 공리계를 포함한 어떤 공리계도 무모순인 동시에 완전할 수 없다. 즉 자연수 체계를 포함하는 어떤 공리계가 무모순이면, 그 체계에서는 참이지만...

kr 왜 책임 없는 서민이 국가의 빚을 떠안게 됐나 왜 책임 없는 서민이 국가의 빚을 떠안게 됐나 부채통치-현대 자본주의의 공리계 마우리치오 랏자라또 지음, 허경 옮김/갈무리·1만8000원 <부채인간>(2012)에서 오늘날의 자본주의가 부채(빚)를 통해...

때문에 자본주의는 오이디푸스적인 가족, 관료조직, 경찰기구 등을 동원하여 욕망의 분열적 흐름을 조절하여 자본주의의 공리계6) 안으로 끌어들인다(재영토화). 욕망은 본질적으로 착취와 예속의 위계구조를 위협하고 사회의 모든 부분을 뒤흔들어 놓기...

네가 내 인생에서 소거된 것만 같은 느낌이라 매우 우울했는데 이제 깨달았어. 최근 들뢰즈가 사회 구조를 논할 때 "공리계" 따위의 정신병자같은 라벨링을 하는 걸 봤는데 그걸 생각하면 너는 내가 아니라 내 공식의 변항이었던 거지. 지금은 내가 불포화...

Kurt Gödel(1906～1978)과 영국의 수학자 Alan Mathison Turing, 1912～1954)의 독창적인 연구로, 괴델의 정리란 “형식적 공리계는 그 공리 자체와 그것의 부정 어느 것도 증명될 수 없다는 하나의 명제를 포함하고 있어야 한다”는 것이다. 결론적으로...

건 증명하지않고 옳다고 인정하는명제. 그리고 정의하지않고 사용하는 용어가 필요한데 이것을 무정의 용어라고하며 페아노공리계에서는 1, 그다음 수 ('붙은거)가 무정의 용어입니다.) 자 이하 증명들어감 1+1=2 를 증명하려면 우선 + 와 2가 정의가 되야...

말한 1+1=2라는 건 어떻기 설명할껀데? 라고 물으신다면, 이제 그것을 증명하는 쪽으로 이야기가 흘러갑니다. 물론 페아노 공리계를 파고들고, 제가 또 읽고 있는 화이트헤트/버트런드 러셀의 수학원리서도 이를 증명하는 과정이 나와있기는 하지만 괴델이...

자본주의의 공리계와 그 외부-들뢰즈와 가티리 - 들뢰즈와 가타리는 여기에서 자본주의는 공리계를 이루고 있다고 합니다. 따라서 우리는 여기에서 공리계란, 그리고 자본주의에서의 공리계란, 그리고 그것의 외부에 대해서 알아보는것이 핵심이 됩니다...

어떠한 공리계가 존재할 때 일반적인 다른 공리계처럼 쓰일 수 있으려면 어떠한 조건들을 만족해야되나요? 모순이 발견되지 않더라도 그 무모순성을 증명할 수 없으므로 모순성으로는 공리계의 사용 여부를 결정할 수 없을것같은데요. 그렇다면 그냥...