블로그
- Peano System & Recursion theorem (2) Recursion 함수 h는 어떠한 함수 F: ω -> A에 대하여, h(0) = a ∈ A & h(n+) = F(h(n))을 만족하는 함수로 정의된다. 그런데 임의의 F와 A에 대하여, h는 항상 존재하는가? 관계 h가 와 를 원소로 지니고 있을 때, h(k) = h(k)
- Peano System & Recursion theorem (1) Inductive set을 다음과 같이 정의하자: A is inductive iff ∮ ∈ A & (∀a ∈ A) a+ ∈ A. 무한 공리에 따르면, 이러한 inductive set이 적어도 하나는 존재한다. 만약 inductive set이 존재한다면, 그것은 단 하나는 아닐 것
- Fermat's last Theorem 페르마의 소정리 Fermat's little Theorem (페르마의 소 정리) 미리 알아둘 것 p=소수 a≡b (mod m) (a와 b는 m으로 나누었을 때 나머지가 같다.
- 코즈 정리(Coase Theorem) 우리가 만약 도둑질이 범죄가 아니라는 가정을 해본다면 세상에 존재하는 모든 물건들은 비배제성을 가지게 됩니다. 이 말은 즉 내 물건의 재산권이 확립이 되지 않는다는 말이며 누군가가 내 물건을 쉽게 강탈해 갈수 있다는 말도 됩니다. 또한 이러한 현상이 나타난다면 물건에 가격을 매기는 것
- 애로우의 불가능성 정리 (Arrow's impossibility theorem) 애로우는 노벨 경제학상을 수상한 경제학자로써 사회선택 이론의 불가능성 정리(Arrow's impossibility theorem) 로 유명해진 사람입니다.
- stokes' law Stokes' law From Wikipedia, the free encyclopedia Jump to: navigation, search For a theorem in differential geometry, see Stokes theorem.
- Q.E.D. quod erat demonstrandum 초판) 에서 발췌정리(Theorem)는 일종의 수학적 명제이다.
← 이전
6 페이지