미적분학을 엄밀하게 증명한다?
그런거 말고
자체적인 목표가 있음..?
없는 거 같음 그냥 실수 위에서 구성된 특별한 기술들에 대한 고찰?
함수를 해석하는것
자체적인 목표가 있는 과목이 있음? 그냥 필로소피와 주로 사용하는 무기랑 접근방식만이 있을뿐.
그냥 미적분학을 엄밀하게가 딱 좋은거같은데
칼세이건이 이르길.. 미적분학은 학생들을 골리기위해 태어난 학문이다.. 칼세이건 말에 따르면 미적분학을 엄밀하게 증명하는 해석학 역시 학생들을 골리기위해 준 학문. 근데 조금 이상한애들은 해석학 하악하악댐.. SM을 즐기는 애들이지.
메져띠오리
편미방, 확률론, 함수해석
수학이 무슨 그렇지 않을까 카더라 통신도 아니고 논리적으로 구멍이 있냐 없냐가 중요한 문제니까.. 힐베르트가 20세기에 하려던 거랑 괴델이 그딴거 안된다고 한 사건이 얼마나 중요한지 보면 그 예시가 됨. 실례로는 연속체 가설에 대한 역사
지금이야 미적분이 정립된 상태지만 뉴턴시대에 적당히 작은 뭐 이런 식으로 기술 되어 있었겠느냐 말이다
수학자들이 가진 꿈이자 걱정? 은 논리전인 완전성과 비모순성임. 전자는 깨졌고 후자 같은 걸 뒷받침하는게 미적에 대한 해석학 같은 거지.
완전성과 비모순성의 차이가 뭐임?
완전성은 괴델의 불완전성 정리 같이 우리가 실수체계 같은 걸 잡았을 때 어떤 명제는 참, 거짓이 어느 쪽이어도 다른 수학적 object와 상관이 없을 수 있다는 의미에서의 (불)완전성이라는 말이고 비모순성은 말 그대로 논리적으로 모순이 생기냐 이런거징...
없는 거 같음 그냥 실수 위에서 구성된 특별한 기술들에 대한 고찰?
함수를 해석하는것
자체적인 목표가 있는 과목이 있음? 그냥 필로소피와 주로 사용하는 무기랑 접근방식만이 있을뿐.
그냥 미적분학을 엄밀하게가 딱 좋은거같은데
칼세이건이 이르길.. 미적분학은 학생들을 골리기위해 태어난 학문이다.. 칼세이건 말에 따르면 미적분학을 엄밀하게 증명하는 해석학 역시 학생들을 골리기위해 준 학문. 근데 조금 이상한애들은 해석학 하악하악댐.. SM을 즐기는 애들이지.
메져띠오리
편미방, 확률론, 함수해석
수학이 무슨 그렇지 않을까 카더라 통신도 아니고 논리적으로 구멍이 있냐 없냐가 중요한 문제니까.. 힐베르트가 20세기에 하려던 거랑 괴델이 그딴거 안된다고 한 사건이 얼마나 중요한지 보면 그 예시가 됨. 실례로는 연속체 가설에 대한 역사
지금이야 미적분이 정립된 상태지만 뉴턴시대에 적당히 작은 뭐 이런 식으로 기술 되어 있었겠느냐 말이다
수학자들이 가진 꿈이자 걱정? 은 논리전인 완전성과 비모순성임. 전자는 깨졌고 후자 같은 걸 뒷받침하는게 미적에 대한 해석학 같은 거지.
완전성과 비모순성의 차이가 뭐임?
완전성은 괴델의 불완전성 정리 같이 우리가 실수체계 같은 걸 잡았을 때 어떤 명제는 참, 거짓이 어느 쪽이어도 다른 수학적 object와 상관이 없을 수 있다는 의미에서의 (불)완전성이라는 말이고 비모순성은 말 그대로 논리적으로 모순이 생기냐 이런거징...