[신간📰] 증명 중심의 수학 기초서는 이게 새로 나왔던데

[+.(joohong2018)]

혹시 리뷰해줄 사람?

[익명(211.46)]

이거 넘 어려울거같음

[익명(118.235)]

학부수학 리뷰 느낌인거로 들었음. 이미 적당히 안다고 가정하는 듯.

[불안의책(artistrilke)]

... 9장에 역수학이란 게 대체 뭐임???

[wontu(wontu12)]

고1 때 명제의 역 이 대우 그거일 듯?

[불안의책(artistrilke)]

아ㅋㅋㅋ reverse mathematics 구나 번역하니까 진짜 괴이하게 들리네

[+.(joohong2018)]

그게 아니라.. 힐베르트 프로그램을 다시 부활시키려는 시도라던데..

[불안의책(artistrilke)]

부활 시도... 사실상 그런 거에 가까움. reverse mathematics가. "대체 이 정리는 얼마나 최소한의 공리를 써서 증명할 수 있을까"를 보이는 거임. 그런데 이 reverse mathematics는 괴델이 없으면 아예 못하는 분야라서 약간 미스한 시도

[Jesus(yeshua)]

[익명(106.102)]

오 이것도 잼나보이네 ㄱㅅㄱㅅ