와... 시발... 어제 컨디션 난조라 15장 서문 대화읽고 뻗음
메타-수학의 정립 가능성 부분 읽는데 머리가 멍-해지더라
있는 사실(사실이라고 표현하는게 맞지 않는데 뭐라 표현해야할지 모름,책 내부로 따지자면 표준 수학체계)에 대한 책이 아니러 비표준 수학에 대해서 말하는 책이다 보니까 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
대가리에 들어있는 표준 수학을 이용해서 표준 수학을 때려부수는..그런.....
호프스태너나 다른 메타-수학 다루는 책들 더 보고 다시 돌아와야할 듯 한방으론 안끝나겠다
해당 댓글은 삭제되었습니다.
괴델증명 ~G를 증명쌍으로 갖는 수체계를 중심으로한 수학체계
1+1=2가 표준수학체계에서의 참인 정리라고 하면 1+1=1이 참인 정리라고 받아들일 수 있는 수학체계인제 있는 낱말은 아니고 비표준 기하학에서 따온 말 같음
나도 몰라... 나 대학와서 통계 한학기 수업들은게 수학의 전부야..
수학책을 보네 ㄷㄷ
수학책은 수학책인데 지루하지 않은게 수론 자체를 다루는 책이라, 계산보다는 증명이 위주임 ㅋㅋㅋㅋ 철학책 보는 느낌 들고 재밋어. 실제로도 철학적 탐구도 많이 하고! 메타-수학이 왜 필요한가에 대한 생각 자체는 수론에서 도출되는 결론이라기보다는 철학적 탐구로 도출된 결과인 거 같아
개많이 읽었네 - dc App
부끄럽네... 1일부터 달린거라 빠른건 전혀 아님