검색 결과

둘러보기로 이동 검색으로 이동
  • [[분류:수리철학]] ...
    740 바이트 (16 단어) - 2024년 6월 3일 (월) 23:23
  • [[분류:수리철학]] [[분류:수리철학]] ...
    4 KB (95 단어) - 2025년 1월 10일 (금) 22:53
  • [[분류:수리철학]] ...
    5 KB (124 단어) - 2025년 3월 3일 (월) 08:10
  • ...1}}-CA<sub>0</sub>가 있다. 이들 각각은 [[구성주의]], [[유한주의]] 등 수학적 입장을 나타내고 있는 것으로, [[수리철학]]적 입장에 따라 어떠한 공리들을 받아들일 것인가를 분별할 중요한 기준이 될 수 있어 현대 기초론 분야에서 활발히 연구되고 있다. ...
    9 KB (243 단어) - 2024년 12월 20일 (금) 14:19
  • [[수리철학#수학의 미학|수리철학]]도 참조. * [[수리철학]] ...
    28 KB (1,151 단어) - 2025년 3월 13일 (목) 20:16
  • ...] [[11월 8일]] ~ [[1925년]] [[7월 26일]])는 [[독일]]의 [[수리논리학]]자이자 [[철학자]]이다. 근대 [[수리철학]]과 [[분석철학]]의 기초를 마련하였다. ...
    14 KB (756 단어) - 2025년 2월 23일 (일) 07:22
  • ...비롯한 위 명제들을 증명할 수 있다. 특히, 구성 가능성 공리가 [[큰 기수]]들의 존재와 모순되기 때문에, [[플라톤주의]]적 [[수리철학]] 아래 보통 구성 가능성 공리는 집합론의 공리로 가정되지 않는다. 이에 대하여 퍼넬러피 매디({{llang|en|Penelope Ma ...
    17 KB (1,450 단어) - 2024년 6월 3일 (월) 17:10
  • [[분류:수리철학]] ...
    29 KB (1,102 단어) - 2025년 3월 19일 (수) 23:25