램지의 정리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
178번째 줄:
한편, ''K''<sub>5</sub>를 두가지 색으로 칠하는 방법 중에는 동일한 색의 삼각형을 만들지 않는 경우가 존재한다(오른쪽 그림). 그러므로, ''R''(3,3) > 5 이다. 결론적으로 ''R''(3,3)=6 이다.
== 역사 ==
[[프랭크 램지]]가 1930년에 [[1차 논리]]의 특정 부분 집합의 결정 문제를 증명하는 도중 보조정리로서 증명하였다.<ref>{{저널 인용
| doi =10.1112/plms/s2-30.1.264
| last = Ramsey | first = F. P. | author-link = 프랭크 램지
| journal = Proceedings of the London Mathematical Society
| pages = 264–286
| title = On a problem of formal logic
| volume = 30
| year = 1930 | 언어고리=en}}</ref>
== 참고 문헌 ==
| |||