수학사를 돌이켜 보면
고대 실용주의 수학에서
플라톤 주의가 됫다가
이게 종교랑 맏물리면서
중세수학을 만들고
거기에 18세기에 가우스 힐베르트
이런애들이 나오더니
형식주의를 만들엇음
그게 19세기까지 유지되다가
20세기에 형삭주의학파가 괴델에 의해서 모두 파괴되버림
그런데도 그 권위가 너무 강력한 나머지
아직도 형식주의가 메인철학으로 자리잡고잇음
이런 상황에서 이것을.타개할려고
직관주의 구성주의등이 나왓지만
좀 마이너하고
나는 비유주의를 창시햇음.
이상임
부란전성정리가 형주를 박살냇다는건 근들갑임
이유 ㄱㄱ
@아벨두두 공리계가 불완전하고 무모순인거 증명못한다 해도 써먹을수잇음. 부란전성땜에 형주가 무쓸모라 하는건 자동차로 산 정상에 못간다는게 밝혀졋다해서 자동차가 무쓸모라 하는꼴임
형주의 목적이 모든 수학을 단일 공리체계로 만들기인데 이게 ㅂㄱㄴ함. 그러면 형주목적이 개박살임
@아벨두두 ZFC라는 단일공리체계로 만들엇음
@서해공무원 그게 구라임
@아벨두두 왜
@서해공무원 그런것은 공리학이라고 따로 분류해서 연구하면됨. 수학전체를 형주 틀안에 넣고 연구하는건 시대착오적임
@아벨두두 박살안낫는데 박살낫다하면 안댐