검색 결과

[[그래프 이론]]에서 '''무변 그래프'''(無邊graph, {{llang|en|edgeless graph}})는 꼭짓점을 가질 수 있지만, 변을 가 * 모든 [[경로 (그래프 이론)|경로]]의 길이는 0이다. ...

...ical logic}} || *1 ~ *43 || [[명제 논리]], [[술어 논리]], [[집합론]], [[이항 관계]], [[유형 이론]] ...논리학과 달리 애매한 일상 언어 대신 순수하게 기호 논리학을 사용하여, 모든 명제에 형식적 증명을 제공하였다. 언어를 명확히 함으로써 철학 문제를 해결하려는 논리실증주의 철학에 하나의 이상 언어(理想言語)를 제시하는 등, 논리실증주의 철학의 발전에 결정적인 영향을 주었다. ...

{{토막글|철학}} [[분류:마르크스주의 이론]] ...

.../ref> [[윌러드 반 오먼 콰인]](Quine)이 《[[수학 원리]]》(''Principia Mathematica'')의 [[유형 이론|유형론]]을 단순화시킨 것에서 유래한다. 콰인은 1937년 "New Foundations for Mathematical Logic"에서 ...quine-nf/|제목=Quine's New Foundations|언어=en|이름=Thomas|성=Forster|웹사이트=[[스탠포드 철학 백과사전|Stanford Encyclopedia of Philosophy]]}}</ref> 이에 따라 NFU는 [[전체 집합]]을 포함 ...

'''공리'''(公理, {{llang|en|axiom}})는 [[논리학]]이나 [[수학]] 등의 [[이론]]체계에서 가장 기초적인 근거가 되는 [[명제]](命題)이다. [[증명 (수학)|증명]]할 필요가 없이 자명한 진리이자 다른 명제들을 ...계를 바탕으로 수학을 여러 영역의 전개에 힘썼다. 힐베르트의 생각은 [[펠릭스 하우스도르프]]의 [[위상 공간 (수학)|위상 공간]] 이론, [[니콜라 부르바키]]의 수학의 재편성 등을 통해 20세기 수학에 큰 영향을 끼쳤다. 그러나 [[1931년]] [[쿠르트 괴델]]이 ...

이러한 상태는 인도 다카 출신의 물리학자 [[사티엔드라 나트 보스]]가 1925년 예견하였다. 그는 논문을 《[[왕립 학회]] 철학 저널》({{llang|en|Philosophical Magazine of the Royal Society|필로소피컬 매거진 오브 더 로 == 이론 == ...

...Oxford Reference|work=oxfordreference.com|accessdate=1 May 2015}}</ref>과 [[철학]]<ref>{{웹 인용|language=en|url=http://www.oxfordreference.com/view/10.1093/ac == 형 이론 == ...

결과적으로는 이 가설은 그의 기대를 배반하게 되었지만, 후의 고전역학의 발전에 연결되었다. ([[#미와 철학]]도 참조) 또, [[괴물군 (수학)|괴물군]]을 [[모듈러 함수]]에 [[끈 이론]]을 통해 묶는 [[몬스트라스 밀조주]]는 [[리처드 보처즈]]에게 [[필즈상]]을 가져왔다. ...

| colspan="2" | [[원군|U(1)]] [[게이지 이론|게이지 불변]] | colspan="2" | [[특수 유니터리 군|SU(3)]] [[게이지 이론|게이지 불변]] ...

...리]] 체계의 일종이다. 본래 C. I. Lewis 등이 연구한 바 있으며 [[솔 크립키]]의 등장 이후 논리적으로 형식화되었다. [[철학]]을 비롯하여 [[컴퓨터 과학]], [[경제학]], [[언어학]] 등 다양한 분야에서 체계화와 연구가 진행되고 있다. 다만 이것이 실질 ...식화되어 있는 데 반해 사건적 방법은 Aumann 구조에 기반한 것으로써 양상 논리식은 전혀 사용되지 않는다. 이러한 접근은 [[게임 이론]] 등에서 응용된다. 다만 다음 설명은 양상논리적 접근에 관한 내용이다. ...

...아인슈타인]]이 간략하게 고려한 진동 우주 이론은 우주가 [[대폭발|빅뱅]]으로 시작하여 [[대함몰|빅 크런치]]로 끝나는 [[영원 (철학)|영원한]] 일련의 진동을 따르는 것을 이론화했다. 그 사이에 우주는 물질의 중력 인력으로 인해 다시 붕괴되어 [[빅 바운스|바운싱]] 1920년대에 이론 물리학자들, 특히 [[알베르트 아인슈타인]]은 [[우주팽창|팽창하는]] 우주 모형에 대한 (영원한) 대안으로 우주 순환 모형의 가능성을 ...

...d and Object (1960)에서 [[윌러드 밴 오먼 콰인|Willard Van Orman Quine]]이 쓴 [[분석철학|분석 철학]]에서 채택되었다:<blockquote class="">단일 용어 t가 용어 또는 문장 ψ(t)에서 순수하게 참조될 때마다, 포함하는 [[분류:프로그래밍 언어 이론]] ...

<blockquote>“자기네들의 주장을 정당화하기 위한 "이론"과 "철학"의 경이로움을 들먹이는 사람들에게 이렇게 물어 보십시오. 당신네들의 이론의 원리가 뭐고, 기반하고 있는 증거가 무엇이며, 그것이 명백한 ..., 구미 백인 남성들의 전유물이라고 여겼다. 그뿐 아니라 포스트모더니스트들이 과학 용어를 잘못된 의미로 갖다 붙여 사용하며 자신들의 ‘철학’을 정당화하는 데 사용하자 과학자들은 단단히 화가 났다. ...

...과학]], 특히 [[경제학]]에서 활용되는 [[응용 수학]]의 한 분야이며, [[생물학]], [[정치학]], [[컴퓨터 과학]], [[철학]]에서도 많이 사용된다. 게임이론은 참가자들이 상호작용하면서 변화해 가는 상황을 이해하는 데 도움을 주고, 그 상호작용이 어떻게 전개될 ...만, 그 이론적인 기초는 [[폰 노이만]](John von Neumann)에 의해 달성되었다. 노이만은 [[1928년]]에 논문 등의 이론 구축을 시도했지만, 이 시점에서의 이론은 아직 수학적으로도 난해하고, 용도도 이해하기 어려운 것이었다. 그러나 오스카 모르겐슈테른 ...

...중요한 역할을 하며, [[리스프]]를 비롯한 [[함수형 프로그래밍 언어]]의 기반이 된다. 람다 대수는 그 밖에도 [[논리학]], [[철학]],<ref>Coquand, Thierry, [http://plato.stanford.edu/archives/sum2013/entrie * [[도메인 이론]] ...

|분야 = [[수학]], [[물리학]], [[철학]] ...[[4월 1일]] ~ [[1831년]] [[6월 27일]])은 [[프랑스]]의 [[수학|수학자]]이자, [[물리학|물리학자]], [[철학|철학자]]이다. ...

[[버트런드 러셀]]의 [[기술 이론]](theory of description)과 버트런드 러셀과 [[앨프리드 노스 화이트헤드]]의 《[[수학 원리]]》의 중요한 핵심이 {{분석 철학}} ...

...2007년 {{ISBN|89-8050-192-7}}, 183쪽</ref> 음의 값이 없는 양(量)을 나타낼 경우에 ‘0’은 ‘[[무 (철학)|무]](無)’와 같은 뜻으로 쓰이기도 한다.{{efn|원불교의 상징인 정원(正圓)은 한자 무(無)의 '없음'을 의미하는 게 아니라 무 * [[격자 (순서론)|격자 이론]]에서, 0을 유계 격자의 최저원소로 쓰기도 한다. ...

| 주요 업적 = [[일반 상대성 이론]]<br/>[[수리 물리학]] ...성]] 이론을 이해하는 데 기여한 독일의 [[물리학자]]이다. [[함부르크 대학교|함부르크 대학]]의 [[파스쿠알 요르단]]의 상대성 이론 연구 그룹에서 대학원 및 대학원 과정을 거치고, 강사로 다양한 직책을 역임했다. 이후에는 교수로 활동한 후 [[뮌헨]]의 막스 플랑크 ...

수학적 확률은 [[물리학]], [[화학]], [[생물학]] 등의 [[과학]]을 비롯하여 [[철학]]이나 [[도박]]과 같은 분야에 이르기까지 광범위하게 사용된다. 예를 들어 [[통계 역학]]은 다루는 대상이 무수히 많은 경우 이를 16세기 이탈리아의 [[지롤라모 카르다노]]는 본업이 의사였지만 [[점성술]], [[철학]], 수학 등에도 관심을 보인 박식가였다.<ref>[http://www.busan.com/view/busan/view.php?code= ...