= 발표 관련 토론 =
-— 저희가 발표할 주제들은 17세기 – 호이겐스(Huygens)의 진자시계와 평면곡선의 관계: Boyer 18세기 – Lagrange에 의한 3차(4차)방정식의 해법 19~20세기 – Goedel의 incompleteness theorem 이군요. 맞나요? 새 글을 쉽게 볼 수 있도록 새로 추가되는 내용은 위쪽에 써 주세요. 이름과 작성 시간도요 ^^
괴델의 불확정성의 원리읽어 봤는데요.. 아래 참고 싸이트엔 증명은 나와있지 않았는데 증명도 읽고이해해야 하나요? 그럼 머리가 너무 아플것 같은데ㅠㅠ 그리고 교수님께서 올려주셨다던 라그랑쥐에 대한 글 보내주실 수 있는 분 부탁드릴께요^^ 제 메일 주소는 hoorip@hanmail.net입니다~ -06.4.11 이동규 흠… 17세기 주제는 무슨 말인지 모르겠군요… 진자시계와 평면곡선?? 누가 설명 좀 해 주세요 -_-;; Boyer의 수학사 하권을 찾아보세요. 그리고 다른 자료가 필요하면 조교선생님께 물어보세요. – 김영욱 18세기는 라그랑주의 3, 4차 방정식의 해법이라고 하는데… 카르다노의 해법은 아는데… 교수님이 홈페이지에 올리신 History Source Book Chapter 2 의
- Lagrange, On the general theory of equations를 참고하면 될 것 같아요
파일 필요하신 분은 메일 주소를 가르쳐 주세요. 보내 드리겠습니다. 김명환, 김홍종의 현대수학입문에도 간략한 소개가 있습니다 – 김영욱 19~20세기… 저한테 논문이 있습니다. 다만 그 논문이 집에 있는데 언제 집에 내려갈지 원… 아마 4월 말에나 집에 내려갈 것 같은데… 늦으면 어쩔 수 없고요 -_-;; 아, 참고로 괴델의 불완전성 정리란 자연수론을 포함하는 무모순인 모든 공리계 A에 대하여, A에는 결정 불가능한 명제들이 존재한다. 즉, A 안에는 G 또는 ~G를 A 안에서 증명할 수 없는 명제 G가 존재한다 입니다. 참고하세요 아래 사이트들도 한 번 볼만 하네요. http://blog.naver.com/mdpsjk?Redirect=Log&logNo=20022205682 http://cafe.naver.com/d041.cafe?iframe_url=/ArticleRead.nhn%3Farticleid=38 김용엽 04.09 00.20