심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

수리철학

색인 수리철학

수리철학(數理哲學)은 수학에 대한 철학이.

18 처지: 라위트전 브라우어르, 루트비히 비트겐슈타인, 리하르트 데데킨트, 모의실험 가설, 반실재론, 버트런드 러셀, 고틀로프 프레게, 구성 가능 전체, 구성주의 (수학), 인지과학, 윌러드 밴 오먼 콰인, 파울 베르나이스, 수리, 수학기초론, 수학적 미, 수학적 대상, 프레게의 정리, 서양 철학.

라위트전 브라우어르

위트전 에흐베르튀스 얀 브라우어르(1881년 2월 27일 ~ 1966년 12월 2일)는 네덜란드의 수학자이자 철학자이.

새로운!!: 수리철학와 라위트전 브라우어르 · 더보기 »

루트비히 비트겐슈타인

비히 요제프 요한 비트겐슈타인(1889년 4월 26일 ~ 1951년 4월 29일)은 오스트리아와 영국에서 활동한 철학자이며, 논리학, 수학 철학, 심리 철학, 언어 철학 분야에 업적을.

새로운!!: 수리철학와 루트비히 비트겐슈타인 · 더보기 »

리하르트 데데킨트

율리우스 빌헬름 리하르트 데데킨트(1831년 10월 6일~1916년 2월 12일)는 독일 태생의 수학자이.

새로운!!: 수리철학와 리하르트 데데킨트 · 더보기 »

모의실험 가설

통 속의 뇌 모의실험 가설(模擬實驗假說)은 인류가 생활하고 있는 이 세계는 모두 모의현실이라는 가설이.

새로운!!: 수리철학와 모의실험 가설 · 더보기 »

반실재론

분석철학에서의 반실재론(反實在論)이라는 말은 어떠한 사물의 객관적 실재성을 부정하는 입장, 또는 검증초월적인 언명의 진위를 묻는 것을 부정하는 입장을 가리키며 쓰인.

새로운!!: 수리철학와 반실재론 · 더보기 »

버트런드 러셀

제3대 러셀 백작 버트런드 아서 윌리엄 러셀(Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, 1872년 5월 18일 ~ 1970년 2월 2일)은 영국의 수학자, 철학자, 수리논리학자, 역사가, 사회 비평가Stanford Encyclopedia of Philosophy,, 1 May 2003.

새로운!!: 수리철학와 버트런드 러셀 · 더보기 »

고틀로프 프레게

리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.

새로운!!: 수리철학와 고틀로프 프레게 · 더보기 »

구성 가능 전체

집합론에서, 구성 가능 전체(構成可能全體)는 재귀적으로 1차 논리로 정의 가능한 집합들로 구성된 모임이.

새로운!!: 수리철학와 구성 가능 전체 · 더보기 »

구성주의 (수학)

수리철학에서 구성주의(構成主義, constructivism)는 수학적 대상의 존재를 증명하기 위해서는 그 대상을 직접 찾아내거나 만들어낼 필요가 있다는 주장이.

새로운!!: 수리철학와 구성주의 (수학) · 더보기 »

인지과학

인지과학(認知科學)은 인간의 마음과 동물 및 인공적 지적 시스템(artificial intelligent systems)에서 정보처리가 어떻게 일어나는가를 연구하는 학문이라고 할 수 있. 다르게 표현한다면 인지과학은 인간의 마음 (뇌의 작동 및 몸의 움직임의 제어 포함)의 과정 및 내용과, 동물 및 인공적 지적 시스템에서의 지능(Intelligence)의 정보적 표상(표현)과 그 작동 과정을 연구하는 종합적, 다학문적 과학이.

새로운!!: 수리철학와 인지과학 · 더보기 »

윌러드 밴 오먼 콰인

윌러드 밴 오먼 콰인(Willard Van Orman Quine, 1908년 6월 25일 ~ 2000년 12월 25일)(친지들은 그를 "Van"이라 칭했다)은 분석철학의 전통을 따르는 현대 미국의 철학자이자 논리학자이.

새로운!!: 수리철학와 윌러드 밴 오먼 콰인 · 더보기 »

파울 베르나이스

울 이자크 베르나이스()는 논리학 및 집합론에 기여한 수학자.

새로운!!: 수리철학와 파울 베르나이스 · 더보기 »

수리

수리는 다음을 가리키는 말이.

새로운!!: 수리철학와 수리 · 더보기 »

수학기초론

수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이.

새로운!!: 수리철학와 수학기초론 · 더보기 »

수학적 미

'''표현의 미'''의 일례: 망델브로 집합의 경계 부근, 중심 좌표 (0.282, -0. 01), 대각선 좌표 (0.278587, -0. 012560) ~ (0.285413, -0. 007440)의 영역의 확대. 수학적 미 (數學的美)는 수학에 관한 심미적·미학적인 의식·의의·측면을 여러가지 관점으로부터 다루는 개념이.

새로운!!: 수리철학와 수학적 미 · 더보기 »

수학적 대상

수학 및 수리철학에서 수학적 대상 (数學的対象)은 수학 중에서 생겨 오는 추상적 대상이.

새로운!!: 수리철학와 수학적 대상 · 더보기 »

프레게의 정리

의 정리(Frege's theorem, -定理)는 독일의 논리학자이자 철학자인 고틀로프 프레게의 이름이 붙은 논리학의 정리로, 다음과 같은 내용이.

새로운!!: 수리철학와 프레게의 정리 · 더보기 »

서양 철학

서양 철학(西洋哲學)은 서양에서 이루어진 철학적인 생각과 관련된 용어로, 동양 철학이나 다양한 지역에 존재하는 토착 철학들과 대비.

새로운!!: 수리철학와 서양 철학 · 더보기 »

여기로 리디렉션합니다

수리 철학, 수학 철학, 수학철학.

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »