shopkeeper/kowiki-cleaned-020126 huggingface dataset:
증명 이론

수리논리학에서 증명 이론(證明理論, )은 증명을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 이론이다.

증명은 귀납적으로 정의된 자료구조로 표현되는데, 이는 어떠한 이론체계의 공리와 추론 규칙에 따라 구성된다. 즉 모형이론에 의미론적 성질이 있는 데 대조적으로 증명 이론에는 구문론적 성질이 있다. 모형 이론, 집합론, 재귀 이론과 함께 증명 이론은 수학기초론의 4대 기둥이라고도 불린다.

 역사 
초기의 수리논리학을 발전시킨 고틀로프 프레게, 주세페 페아노, 버트런드 러셀, 리하르트 데데킨트 등의 논리학자들의 연구가 증명 이론의 성립의 바탕이 되었으며, 이후 수학의 형식화 방안을 모색한 다비트 힐베르트의 힐베르트 프로그램(Hilbert's program)이 현대 증명 이론의 효시가 되었다고 평가받는다. 쿠르트 괴델이 발표한 완전성 정리가 1차 논리의 완전성을 보이면서 모든 수학을 1가지의 유한적 형식 체계로 환원하려는 힐베르트의 목적에 희망을 주는 듯 하였으나, 이후 발표된 불완전성 정리에 의해 산술 체계로부터 나온 공리계의 무모순성을 증명할 수 없음이 증명되면서 힐베르트의 목적은 불가능한 것으로 판명되었다. 이들 연구는 힐베르트 체계(Hilbert system)이라는 증명계산 상에서 이루어졌다.

힐베르트 프로그램의 흥망과 병행하여 구조적 증명 이론(structural proof theory)의 기초도 세워지고 있었는데, 1926년 얀 우카시에비치(Jan Łukasiewicz)가 논리의 추론 규칙에 따라 전제로부터 결론을 도출하는 것을 허용한다면 힐베르트 체계를 논리의 공리적 방식의 기초로써 발전시킬 수 있으리라고 제안하였고, 이에 스타니스와프 야시코프스키(Stanisław Jaśkowski)와 게르하르트 겐첸(Gerhard Gentzen)은 독자적으로 자연 연역의 계산법을 제시하였다. 특히 겐첸은 자연 연역과 시퀀트 계산의 핵심부분을 형식화하여 직관 논리의 형식화의 기반을 쌓고 페아노 산술의 일관성에 대한 첫 조합적 증명(combinatorial proof)을 완성했다. 자연 연역과 시퀀트 계산의 등장은 증명 이론의 해석적 증명(analytic proof)의 기초적 개념을 제시한 것이기도 하다.

 구조적 증명 이론 
구조적 증명 이론()은 증명 이론의 가장 고전적인 분야로, 특히 형식적 증명(formal proof)을 나타내는 증명 계산(proof calculus)의 구조에 관해 연구한다. 증명 계산의 가장 잘 알려진 세 가지 예시는 다음과 같다:
 힐베르트 체계
 자연 연역
 시퀀트 계산

이들 각각은 고전적이든 직관적이든 간에 명제논리나 술어논리를 비롯하여 양상 논리 등 많은 논리체계들을 완전하고 공리적으로 형식화할 수 있다.

커리-하워드 대응을 통해 직관주의적인 증명 연산은 계산적인 유형 이론과 연관지어진다.

 순서수 분석 
순서수 분석()은 이론에 순서수(주로 큰 가산 순서수)를 부여하여 그 강도(strength)를 측정하는 증명론적 기법으로, 이를 통해 산술이나 집합론의 일관성을 조합적으로 증명할 수 있다. 이때 특정되는 순서수를 증명론적 순서수(proof-theoretic ordinal)이라 한다. 예를 들어 페아노 공리계의 증명론적 순서수는 이다. 순서수 분석은 게르하르트 겐첸이 초한귀납법을 통해 페아노 공리계의 무모순성을 증명하는 과정에서 개발해낸 것으로, 이후 다양한 형식 체계에 적용되었다.

재귀적으로 공리화된 이론 T가 있을 때, 특정 초한 순서수의 정초성(well-foundedness)이 T의 무모순성을 함의한다는 것을 유한한 산술체계 내에서 증명할 수 있다. 즉 순서수 분석 이론에서는 괴델의 제2불가능성 정리를 이론 T 내에서 그 이론을 증명할 순서수의 정초성이 증명될 수 없음을 뜻하는 것이라고 해석할 수 있다.

순서수 분석을 통해서 다음과 같은 결과들을 이끌어 낼 수 있다:
고전적 2차 산술과 집합론의 하위체계의 무모순성
조합적 독립성 증명
전역적 재귀함수와 정초적 순서수의 분류

이러한 순서수 분석은 상당히 강력한 기법으로, 같은 증명론적 순서수를 가진 이론은 서로 등무모순적인 경우가 많으며, 더 높은 증명론적 순서수를 가진 이론으로부터 더 낮은 증명론적 순서수를 가진 이론의 무모순성을 증명할 수 있다.

 증명가능성 논리 
증명가능성 논리()는 양상 논리의 일종으로, 양상 연산자 가 "~가 증명가능하다"는 의미를 담는 논리이다. 양상논리의 일반 공리계 K에 뢰프의 정리(Löb's theorem)를 변형하여 추가한 GL(Gödel-Löb) 공리계를 바탕으로 삼는다.(추론 규칙으로는 Modus ponens와 Necessitation이 있다)

 분배 공리: 
 뢰프(Löb) 공리: 

뢰프의 정리는 페아노 공리계 또는 그 확장 형식 체계 내에서 A의 증명가능성이 A를 암시한다는 것이 증명가능하면 A도 증명가능하다는 정리로, 증명론에서 중요한 진술이다.

 역수학 
역수학()은 수학의 정리들을 증명하기 위해 어떤 공리가 필요한가를 추적하는 증명이론의 한 분야이다. 정리로부터 역으로 공리로 거슬러올라가는 꼴이기 때문에 역수학(逆數學)으로 불리게 되었다. 기술적 집합론(descriptive set theory)과 밀접한 연관이 있다.

역수학은 주로 모든 대상을 자연수나 자연수의 집합으로 표현할 수 있는 2차 산술(second-order arithmetic) 체계 내에서 전개된다. 또한 이렇게 표현된 식의 복잡성은 Post's theorem이 암시하는 바와 같이 계산 가능성과도 연관성이 있으며, 따라서 산술적 위계와 그 확장인 해석적 위계(analytical hierarchy)는 역수학을 비롯한 증명 이론에 있어서 중요한 개념이 된다.

스티븐 심슨(Stephen G. Simpson)은 역수학에서 일반적으로 나타나는 2차 산술의 하위체계 5개를 특정하기에 이르렀다. 이들은 Big Five라고도 불리며 증명론적 순서수가 작은 것부터 정렬하면 RCA0, WKL0, ACA0, ATR0, and Π-CA0가 있다. 이들 각각은 구성주의, 유한주의 등 수학적 입장을 나타내고 있는 것으로, 수리철학적 입장에 따라 어떠한 공리들을 받아들일 것인가를 분별할 중요한 기준이 될 수 있어 현대 기초론 분야에서 활발히 연구되고 있다.

 같이 보기 
 초직관 논리
 모형 이론
 시퀀트 계산
 참고 문헌 
 

 외부 링크 
 
 
 
 

분류:논리학
분류:증명 이론
IHÉS

섬네일|IHÉS 건물

IHÉS(, 고등 과학 연구소)는 프랑스에 위치한 수학 및 이론 물리학 연구소이다. 파리의 남쪽 교외의 위성 도시인 뷔르쉬르이베트()에 있다. 미국 프린스턴에 위치한 프린스턴 고등연구소와 더불어 세계의 수학, 이론 물리학계를 이끌어 가는 양대 산맥 중 하나이다.

 역사 
IHÉS는 1958년, 물리학자 로버트 오펜하이머(Robert Oppenheimer)와 수학자 장 디외도네(Jean Dieudonné)의 도움을 받아 수학자이자 사업가인 레옹 모샨(Léon Motchane)에 의해서 설립하였다. IHÉS의 연구 체계는 로버트 오펜하이머가 고안하였다. 오펜하이머는 차후, 프린스턴 IAS의 연구소장이 되었다. IHÉS의 초창기 10년은 필즈 메달을 수상한 수학자 알렉산더 그로텐디크의 개성과 혁명적인 이론들의 배경이 되었다. 그 외에 또 다른 필즈 메달 수상자인 르네 톰이나 데니스 설리번 등도 중요한 역할을 했다.

IHÉS의 역대 연구소장은 다음과 같다.
 레옹 모샨 (, 1958~1971년)
 니콜라스 카위퍼르(, 1971~1985년)
 마르셀 베르제 (, 1985~1994년)
 장피에르 부르기뇽(, 1994년~2013년)
 에마뉘엘 울모(, 2013년~현재)

IHÉS에 머물렀거나 혹은 현재 종신 교수인 일류 수학자들의 일부는 다음과 같다.
 알렉산더 그로텐디크
 장 부르갱
 알랭 콘
 피에르 들리뉴
 르네 톰
 피에르 카르티에
 미하일 레오니도비치 그로모프
 막심 콘체비치
 로랑 라포르그

 연구 체계 및 분야 
수학과 이론 물리학에서의 세계 최고의 학자들을 모아 학문 발달을 촉진함을 그 목표로 한다. 몇명의 종신 교수들이 있고, 해마다 전 세계에서 약 200명 정도의 방문 학자들이 이 연구소에 머문다. 방문 학자들의 방문 기간은 평균 3개월 정도이다. 그 외에, 이 연구소에는 약간 수의 장기 방문 학자들이 있다. 이곳에서의 연구는, 연구 계약에 의해서 이루어지지 않는다. IHÉS는 각각의 학자들이 자신의 연구를 알아서 하도록 환경을 조성해 주는 역할만을 할 뿐이다. 종신 교수들에게도, 1년에 6개월은 이 연구소에 있어야 한다는 조건 이외에는 다른 어떠한 조건도 있지 않아, 자유로운 연구가 가능하다.

이 밖에도, IHÉS는 세계 최상급의 수학 저널인 Publications Mathématiques de l'IHÉS를 편집하는 곳이기도 하다.

 외부 링크 
 IHÉS 홈페이지
 

분류:1958년 설립
분류:수학 연구소
분류:물리학 연구소
분류:프랑스의 연구소
분류:일드프랑스의 교육
분류:에손주의 건축물
중앙연구원

섬네일|250px|중앙연구원 정문
중앙연구원()은 타이베이시 난강 구에 위치한 중화민국의 국립 연구원으로, 중화민국 총통의 직속기관이다. 현재 웡치후이(翁啟惠)가 연구소장을 맡고 있다.

Academia Sinica라는 중앙연구원의 라틴어 이름은 베이징에 있는 중화인민공화국의 중국과학원에서도 과거에 사용하였으나 혼란을 피하기 위해 중화인민공화국의 중국과학원은 Chinese Academy of Sciences라는 영문이름을 사용한다. 중화인민공화국의 중국과학원과는 다르게 중화민국의 중앙연구원에는 사회과학 분야를 위한 부속연구기관들도 있다.

 같이 보기 
 중화민국 총통부

 외부 링크 

 중앙연구원 공식 홈페이지

분류:1928년 설립
분류:수학 연구소
분류:물리학 연구소
분류:화학 연구소
분류:대만의 연구소
분류:중국과학원
분류:국립 과학 아카데미
분류:국제한림원연합회
분류:1928년 설립된 과학 단체
중국과학원

대체글=중국|섬네일
중국과학원(, CAS, )는 중화인민공화국의 국립 자연과학연구소이다. 과거 한때에는 라틴어 식으로 "Academia Sinica"라는 명칭을 사용하였으나, 중화민국에 위치한 중앙연구원이 이 명칭을 널리 사용하고 있어, 혼동을 피하기 위해서 현재의 영문 명칭으로 변경하였다. 베이징에 본부가 있으나, 부속 기관들이 중화인민공화국 곳곳에 널려 있다.

 정보 
중국과학원에는 다섯 개의 분과가 있는데, 이 분과들은 수학, 물리학, 화학, 지구과학, 기술이다. 그리고 11개의 분소들이 선양, 창춘, 상하이, 난징, 우한, 광저우, 청두, 쿤밍, 시안, 란저우, 신장 위구르 자치구에 위치해 있다. 그리고 84개의 부속 기관들이 있으며, 2개의 대학교 (중국과학기술대학교)와 기타 정보기관, 기술 지원센터들과 출판 보도국들을 가지고 있다. 이들 기관들은 전역의 20개 성에 흩어져 있다.

 설립일 
1949년 10월 19일

 소재지 
베이징시 시청구 싼리허루52호 北京市西城区三里河路52号
섬네일|중국과학 아카데미

 기타 
2018년 11월 기준, 중국 전역에 12개의 분원, 114개의 분야별 연구소, 3개의 대학교(중국과학기술대학, 중국과학원대학, 상하이시와 공동설립한 상하이과기대학), 130여개의 국가급 중점 연구실과 연구센터, 210여개의 야외 관측소를 보유하고 있다. 현재, 20여개 이상의 중국의 국가중대과학기술 프로젝트를 만들고 운영하고 있으며, 정식 직원은 71,000여명, 석박사 대학원생이 64,000여명이다.

중국과학원 직속 대학교는 중국과학기술대학(中国科学技术大学, 줄여서 中科大), 중국과학원대학(中国科学院大学, 줄여서 国科大), 상하이시와 공동설립한 상하이과기대학이 있다.

중국과학원은 총 6개의 학술부문으로 나누어지는데, 화학부, 정보기술과학부, 지학부(지리, 지구, 지질 등), 생명과학 및 의학부, 수학물리학부, 기술과학부이다.

2020년 기준 1년 예산은 152억 달러(한화 약 17조원)에 달한다. 우리나라 1년 총 연구개발예산이 27조 4000억원인것을 고려하면, 단일기관으로써는 큰 규모이다.

 학부 
수학물리학부(数学物理学部)

화학부(化学部)

생명과학 및 의학학부(生命科学和医学学部)

지학부(地学部)

정보기술과학부(信息技术科学部)

기술과학부(技术科学部)

 평가 
연구 센터 랭킹으로는 미국국립보건원 (NIH), 미항공우주국 (NASA), 프랑스 국립과학연구센터 (Centre National de la Recherche Scientifique, CNRS), 독일의 막스 플랑크 협회 연구소에 이은 5위이다.

 관련 활동 
최근 이슈인 초전도체에 대해 목소리를 냈다.

중국과학원 주도로 중국에 100m 높이의 공기청정기를 시험 가동했다.

 같이 보기 
 중앙연구원
 중국공정원
 중국사회과학원
 한림원
 중국의 과학기술
 중국과학기술대학

 각주 

 외부 링크 

 공식 홈페이지 
 

 
분류:수학 연구소
분류:물리학 연구소
분류:화학 연구소
분류:중화인민공화국의 연구소
분류:아시아연구네트워크
분류:국제한림원연합회
분류:1949년 설립된 과학 단체
모스크바 타임스

모스크바 타임스()는 러시아 모스크바에서 1992년 이래 발간되고 있는 영어 신문이다.

2005년 말 발행 부수는 35,000 부에 도달했고 영어권에서 온 외국인들이 모이는 호텔, 카페, 식당 등에서 무료로 배포된다. 보통의 러시아인들은 이 신문을 읽지 않는다는 사실 덕분에 체첸 전쟁에서부터 언론 검열까지 다양한 주제에 대해 러시아 정부에 비판적인 입장을 유지할 수 있었다.

2005년까지 이 신문은 '인디펜던트 미디어'(Independent Media)라는 모스크바에 등록된 출판업체의 소유였다. 이 출판 업체는 러시아어 일간지와 몇 개의 대중적인 잡지의 러시아어판을 출판하는 곳이었다. 2006년초 네덜란드-핀란드 출판 그룹인 사노마(Sanoma)가 이 회사를 사들였다. 편집자는 AP통신 리포터 출신의 린 베리(Lynn Berry)이다.

 외부 링크 
 공식 홈페이지

분류:영어 신문
분류:러시아의 신문
분류:국제신문
분류:2017년 폐간
분류:1992년 창간
분류:러시아어 웹사이트
파데옙스키섬

섬네일|250px|파데옙스키섬
파데옙스키섬()은 북극 바다의 섬이다. 뉴 노보시비르스크 제도 군도에 있고 러시아 사하 공화국의 행정 관할 구역에 있으며, 면적은 1,000 km2이다.

 같이 보기 
 안주 제도

분류:러시아의 반도
분류:사하 공화국
분류:사하 공화국의 지형
야우싱퉁

야우싱퉁(, 광둥어 로마자 표기: Jau1 Sing4tung4, , 1949년 4월 4일 ~ )은 중국계 미국인 수학자이다. 하버드 대학교의 교수다. 미분기하학을 연구한다. 칼라비-야우 다양체의 야우가 바로 야우싱퉁의 이름에서 따온 것이다.

 생애 
야우는 중국 광둥성 산터우 시에서 태어났으며, 하카계 출신이다. 형제자매는 8명이 있었다. 그의 아버지는 대학에서 철학을 가르치는 교수였으나, 야우가 14세가 되던 해에 사망하였고 야우는 홍콩으로 이주하였다. 홍콩에서 푸이칭 고등학교를 졸업 한후, 홍콩 중문 대학에 입학하여 1969년 수학으로 학사 학위를 취득하고 수학 박사과정을 미국의 캘리포니아 대학교 버클리에서 시작하였다. 천싱선이 야우싱퉁의 박사 과정을 지도하였다. 1971년에 박사 학위를 받은 후, 1년을 프린스턴 고등연구소에서 연구원으로 보낸 후, 뉴욕 주립 대학교 스토니브룩에서 2년간 조교수로 근무했다.

1974년, 야우는 스탠퍼드 대학교의 정교수로 임명되어서 몇 년을 보냈으나, 1979년에 프린스턴 고등 연구소의 교수로 자리를 옮긴다. 이 해에, 그의 박사과정 학생이었던 리처드 숀()과 함께 야우는 일반 상대성 이론의 양수 에너지 정리를 증명하였다. 1984년부터 1987년사이에는 캘리포니아 대학교 샌디에이고에서 교수로 있다가, 1987년에는 하버드 대학교 교수로 옮긴 후 현재까지 그곳에서 교편을 잡고 있다.

 업적 
야우는 수학 분야에서 유명한 상을 많이 수상하였다. 1982년에는 "그의 미분방정식, 대수기하학의 칼라비 가설, 일반상대론의 양수 질량 정리, 몽주-앙페르 방정식에 대한 위대한 업적의 공"을 인정받아 필즈상을 수상하였으며, 1984년에는 맥아더 펠로십을, 1994년에는 크라포르드상을 수상하였다. 1997년에는 미국의 국가 과학 메달(National Medal of Science)을 수상하였다.

 학력 
 1965년~1969년: 홍콩 중문 대학 (학사)
 1969년~1971년: 캘리포니아 대학교 버클리 (박사)

 각주 

 외부 링크 

 (야우싱퉁과의 인터뷰)
 
 
 (야우싱퉁 공식 웹사이트)

분류:1949년 출생
분류:살아있는 사람
분류:미국의 수학자
분류:무국적자
분류:미분기하학자
분류:광둥성 출신
분류:캘리포니아 대학교 버클리 동문
분류:홍콩 대학 동문
분류:홍콩 중문 대학 동문
분류:하카계 미국인
분류:하카계 홍콩인
분류:하버드 대학교 교수
분류:스탠퍼드 대학교 교수
분류:캘리포니아 대학교 샌디에고 교수
분류:울프 수학상 수상자
분류:미국 과학 아카데미의 회원
분류:20세기 수학자
분류:21세기 수학자
분류:필즈상 수상자
분류:산터우시 출신
분류:미국 수학회 석학회원
분류:홍콩에서 미국으로 이민간 사람
분류:중국에서 홍콩으로 이민간 사람
분류:국가 과학 메달 수상자
르네 톰

르네 프레데리크 톰( , 1923년 9월 2일 - 2002년 10월 25일)은 프랑스의 수학자이다. 보충 경계 이론을 발견한 공로로 1958년에 필즈상을 수상하였다. 급변 이론()이라는 독창적인 방법의 기초를 닦은 수학자로 잘 알려져 있다.

 생애 
톰은 1923년 프랑스의 작은 도시 몽벨리아르에서 태어났다. 생-루이 고교(Lycée Saint-Louis)와 파리의 고등사범학교에서 수학했다. 그는 니콜라 부르바키의 창시자 중 하나인 앙리 카르탕을 통해 위상수학에 입문했는데, 그를 지도교수로 하여 1951년 파리 대학교에서 박사학위를 받았다. 그때의 박사학위 논문에는 훗날 그에게 필즈상을 선사하는 보충 경계 이론의 기본 아이디어가 이미 제시되어 있었다. 르네는 지도교 수 앙리 카르탕을 비롯한 엄격하고 형식주의적인 니콜라 부르바키로부터 많은 것을 배웠다. 그러나 자유분방하며 직관적인 성향의 그는 이러한 경향에 완전히 동조하지 않았는데, 이는 나중에 그가 수학을 떠나게 된 원인이 되었을 것이다. 한편 그는 그르노블(1953년~1954년)과 스트라스부르 대학교(1954년~1963년)에서 교수직에 임용되어 수학을 가르쳤다. 1964년 파리 근교 뷔르쉬르이베트에 위치한 연구소 IHÉS로 옮겨 번거로운 의무에 시달리지 않고 죽을 때까지 자유롭게 연구할 수 있게 되었다. 1976년에 그는 프랑스 과학 아카데미 회원이 되었다.

그의 초창기 연구 분야는 미분위상수학이었다. 이 분야에서 그는 나중에 톰 공간, 톰 특성류로 불리는 수학적 대상들을 연구했고, 톰 횡단 정리 같은 중요한 결과들을 남겼다. 게이지 이론을 사용하여 조사된 톰 추측(Thom conjecture)은 그의 업적의 또다른 예이다. 특히 1954년 그가 밝힌 보충 경계 이론으로 1958년에 필즈상을 수상한다. 러시아 수학자인 레프 폰트랴긴은 어떤 조건하에서 콤팩트한 차원 다양체가 어떤 차원 경계다양체의 경계가 될 수 있는지를 결정해야 했다. 그가 발견한 이 조건이 충분하다는 것을 입증한 것이 바로 보충 경계 이론이다. 필즈상 위원회가 공식적으로 언급한 공헌은 다음과 같다.

하인츠 호프는 톰에게 필즈상을 직접 시상하였으며, 톰에 대하여 "그의 업적이 매우 직관적이면서도 간결하고 풍성한 것"이라고 말했다.

차후 그는 특이점 이론(singularity theory)으로 전향하는데, 사실 급변 이론(catastrophe theory)도 이 특이점 이론의 특수한 경우라고 할 수 있다. 1960년에서 1969년 사이 발표했던 심층적인 논문에서 계층화된 동위체 이론을 발전시켰다. 1960년에 톰이 독일 본에서 미분 가능한 사상의 안정성에 관해 강의한 내용은 1969년에서 1970년 1년간 리버폴 대학에서 열린 특이점에 관한 심포지엄 와중에 출판되기도 했으며, 그의 아이디어를 이용하여 훗날 다른 수학자가 새로운 정리를 증명하기도 했다.

1968년부터 1972년 사이에 톰은 생물학과 사회학에 자주 등장하는 형태 변화를 수학적으로 나타낼 수 있는 방법을 연구하여, 1972년 발표한 책 《구조적 안정성과 형태형성》()에서 급변 이론을 주장하였다. "급변" 이론이란 이름에서 알 수 있듯 이는 급격한 변화를 기술하는 새로운 관점을 제시한 이론으로서 학계에 큰 충격을 주었다. 그러나 정량적 예측을 이끌어내기 어려운 이론이라 다른 수학자들의 많은 비판을 받았다. 그는 말년에 전문적인 수학 연구에서 멀어져 보다 더 일반적인 철학적 담론에 치중하였다. 급변(catastrophe)의 구조를 통해 과학의 인식론적, 철학적 문제에 대해 많은 저술을 남겼으며, 아리스토텔레스의 저술을 재평가하기도 했다. 그가 수학에서 멀어진 하나의 요인은 알렉산더 그로텐디크의 존재였다. 그로텐디크의 현란한 수학적 재능과 업적은 자신으로 하여금 다른 분야에 더 많은 관심을 갖게 했다고 톰은 여러 번 말하곤 했다.

그는 대수적 위상수학과 미분기하학 분야에서 많은 업적을 남겼을 뿐 아니라, 생애 마지막 20년은 자유로운 사색가로 살았다.

톰은 몸담고 있던 IHÉS가 있는 뷔르쉬르이베트에서 2002년에 사망하였다.

 저서 
 《Semiophysics: A Sketch》 (1990년)
 《Structural Stability and Morphogenesis》 (1972년)

 참고 문헌 

 
 
 (톰과의 인터뷰)

 외부 링크 
 
 워싱턴포스트의 르네 톰 부고 (무료 등록을 하여야 볼 수 있음.)

분류:1923년 출생
분류:2002년 사망
분류:프랑스의 수학자
분류:프랑스의 기호학자
분류:위상수학자
분류:이론생물학자
분류:프랑스 과학 아카데미의 회원
분류:필즈상 수상자
분류:두주 출신
분류:에콜 노르말 쉬페리외르 동문
분류:20세기 프랑스 사람
분류:20세기 수학자
백인

섬네일|1820년에는 세티 1세의 무덤을 그린 프레스코화가 그려져 있으며, 4명의 리비아인, 누비아인, 레반트인 그리고 고대 이집트인이다.
섬네일|기원전 100년경 고대 마케도니아인들을 묘사한 로마의 폼페이우스의 《알렉산더 모자이크》가 있다이소스 전투에서 다리우스 3세 휘하의 아케메네스 페르시아와 싸운 알렉산더 대왕의 고대 마케도니아 기병대

백인(白人)은 보편적 인종 분류의 하나이다. 일반적으로 유럽계 조상을 가진 사람들을 가리키는 말로 쓰이나, 상황에 따라 정의는 아주 다양해질 수 있다. 유럽인들과 유사한 형질을 가진 코카소이드 사람을 통틀어 일컫는 말로 쓰이기도 하며, 이 경우 유럽 대륙뿐 아니라 북아프리카, 서아시아, 남아시아, 히스패닉 등 여러 계통의 사람들을 포함하는 개념이 될 수도 있다. 이름은 유럽인들이 형질상 다른 인종에 비해 비교적 흰 피부색을 가지고 있다는 데서 유래하였다.

 백인의 분파 
백인에는 아주 많은 하위 분파들이 있다.

 인도유럽인
 게르만
 북게르만
 기트
 데인
 스베아
 바랑
 노르웨이인
 스웨덴인
 덴마크인
 아이슬란드인
 페로인
 서게르만
 북해 게르만
 앵글로색슨
 앵글
 색슨
 주트
 카우키
 프리시
 잉글랜드인
 스코틀랜드 로우랜드 주민
 프리슬란트인
 저지 독일인
 베저-라인 게르만
 리푸아리
 바타비
 살리
 프랑크
 네덜란드인
 보어인
 플란데런인
 엘베 게르만
 랑고바르드
 마르코만니
 바바리
 수에비
 알레만니
 카티
 케루스키
 카디
 투링기
 헤르문두리
 킴브리
 동게르만†
 고트†
 바스타미†
 반달†
 부르군트†
 게피데†
 루기†
 헤룰리†
 라틴
 슬라브
 비스툴라 베네티(초기 슬라브인)
 안테(초기 동슬라브인)
 벤트(초기 서슬라브인)
 보헤미아-모라비아-슬로바키아 계열 집단
 보헤미아인
 베룬자니(보헤미아 서부 거주)
 체호베(오늘날 프라하 지역 거주)
 데차네(오늘날 데친 지역 거주)
 둘레베(보헤미아 남부 거주)
 흐바네
 호도베(카르파티아 산맥 출신들을 모집해서 국경방어를 위해 중세시대에 인위적으로 형성시킨 집단이다. 이름의 뜻도 순찰자다.)
 리토메리치(리토메르지체 지역에 거주했다. 이름을 아예 거주한 집단에서 따온 사례라고 할 수 있다.)
 루차네
 레무지
 루피글라이
 프스호바네
 세들리차
 볼리니아네 (보헤미아인에 동화된 볼히니아인)
 질칸
 스클라베니(초기 남슬라브인)
 브라니체브(세르비아 동부 거주)
 카란타니아인(케른텐 공국의 어원)
 디오클레티아인(몬테네그로 남부 거주)
 구두스카니(크로아티아 리카 지역 거주)
 카날리테스(달마티아 남부 거주)
 메레하니(남쪽으로 이주한 모라비아인이 남슬라브에 동화되어 형성)
 나렌티네스(달마티아 남부 거주)
 판노니아 둘레베(판노니아라는 명칭에서 알 수 있듯이 마자르족에 흡수)
 사바슬라브(현대 크로아티아인 일부의 조상)
 동오보트리테스(현대 메클렌부르크-포어포메른 지역에 살던 오보트리테스족이 남쪽으로 이주해 남슬라브에 동화되어 형성)
 티모차니(세르비아 동부 거주)
 트라부니아인(트라부니아 공국 형성한 바 있음, 헤르체고비와 서부 몬테네그로 거주)
 자흐루미아인(달마티아 남부)
 세르비아인(독일 브란덴부르크 일대에 살던 소르브인이 남하해 세르비아인이 되었다.
 크로아티아(크로아티아 오기전에는 소폴란드와 서부 우크라이나, 보헤미아 일대에서 살았다.)
 보스니아인
 켈트
 발트
 그리스인
 아르메니아인
 알바니아인
 토하라인†
 아나톨리아인†
 우랄어족이지만 인도유럽인에 유전적으로 동화된 경우
 핀우그리아족
 핀페름족
 발트 핀족
 핀란드인
 에스토니아인
 카렐인
 리보니아인
 이조라인
 보디인
 잉그리아 핀인
 페름족
 코미인
 우드무르트인
 기타 핀페름족
 사미인
 모르드바인
 마리인
 우그리아족
 헝가리인
 세케이인
 셈족
 아랍인
 유대인

 같이 보기 

 인종
 황인
 흑인
 물라토
 유럽인

분류:인종
분류:피부색
존 밀너

존 윌러드 밀너( , 1931년 2월 20일~)는 미국의 수학자로, 미분위상수학 · K이론 등에 대한 업적과 수없이 많은 유명한 수학 저서들로 유명하다. 밀너의 저서들은 수학책이 어떻게 쓰여져야 하는가에 대한 좋은 본보기로 많은 사람들이 꼽고 있다. 1962년에 필즈상을 수상하였고, 2005년 현재, 그는 역시 저명한 수학자인 그의 부인 두사 맥더프(Dusa McDuff)와 함께 스토니브룩 대학교에 재직하고 있다.

 생애 
프린스턴 대학교에서 학부생일 시절인 1949년과 1950년에, 미국 대학생 수학대회인 퍼트넘 경시대회에서 수상을 하였고, 또 학부시절에 이미 페리-밀너 정리(Fary-Milnor theorem)이라는 중요한 결과를 냈다. 밀너는 그의 뛰어난 업적과 재능 덕에 그 자신이 학부시절을 보낸 프린스턴 대학교에서 박사학위를 받았다. 그의 박사학위 논문은 〈연환의 아이소토피〉()였고, 지도교수는 랠프 폭스(Ralph Fox)였다.

밀너 박사는 1962년부터 수학 연보(Annals of Mathematics)의 편집자였다. 그는 여러 중요한 저서들을 남겼는데, 《미분가능성 관점에서의 위상수학(Topology from the Differentiable Viewpoint)》, 《모스 이론(Morse theory)》, 《특성류(Characteristic classes)》, 《h-보충 경계 정리(The h-Cobordism theorem)》, 《복소 일변수의 동역학(Dynamics in One Complex Variable)》, 《복소 초곡면의 특이점(Singular Points of Complex Hypersurfaces)》등이 있다.

 학력 
 1947년~1951년: 프린스턴 대학교 (학사)
 1951년~1954년: 프린스턴 대학교 (박사)

 업적과 수상 
그의 가장 대표적이고도 유명한 정리는 7차원 이국적 초구의 존재에 대한 정리이다. 차후 미셸 케르베르()와 함께, 7차원 구면체에는 모두 15개의 다른 매끄러움 구조가 있고, 원점을 고려하면 28개나 다른 구조가 있다는 것을 증명하였다.

1962년 밀너는 그의 미분위상수학에 대한 업적으로 필즈상을 수상하였고, 그 후 1967년에는 미국 국가 과학 메달(National Medal of Science)를, 1982년에는 수학 연구에 관한 스틸상(Steele prize), 1989년에는 울프 수학상, 그리고 2004년에는 수학 저서에 관한 스틸상을 수상하였다. 2011년 3월 23일, 그는 2011년 아벨상 수상자로 선정되었다. 이로써 그는 필즈상, 울프 수학상, 아벨상을 모두 수상한 수학자가 되었다.

 참고 문헌 

 
 
 

분류:1931년 출생
분류:살아있는 사람
분류:미국의 수학자
분류:스토니브룩 대학교
분류:프린스턴 대학교 동문
분류:20세기 수학자
분류:울프 수학상 수상자
분류:미국 과학 아카데미의 회원
분류:위상수학자
분류:프린스턴 대학교 교수
분류:21세기 수학자
분류:아벨상 수상자
분류:필즈상 수상자
분류:미국 수학회 석학회원
분류:국가 과학 메달 수상자
분류:미국철학학회 회원
데론가 제도

섬네일
데론가 제도()는 노보시비르스크 제도에 있는 무인도의 섬무리이다. 북동쪽은 노바야시비리섬이 위치해 있다.

5개의 섬들 면적은 228 km2이다. 자네트섬(о. Жанне́тты, Jeannette Island), 헨리에타섬(о. Генрие́тты, Henrietta Island)과 베네트섬(о. Бе́ннетта, Bennett Island)은 1881년에 이곳을 여행하던 자네트호에 의해서 발견되었다. 나중에 미해군 대장인 조지 W.데롱의 이름을 따서 붙여졌다. 이 섬은 77°N에 있고 부분적으로는 빙하로 덮여 있다. 헨리에타섬은 1937년에서 1963년까지는 연구 목적용 부지로 이용되었고, 면적은 75 km2이다. 베네트 섬이 데롱 제도에서 가장 큰 섬이다.

빌키츠코고섬(о. Вильки́цкого)과 조호바섬(о. Жо́хова)은 1913년에서 1914년에 각각 발견되었다. 이 섬들은 거의 남쪽(76°N)에 위치해 있고, 빙하에 덮여있지는 않다.

 같이 보기 
 러시아의 섬 목록

 외부 링크 
 

분류:러시아의 섬
분류:사하 공화국
알랭 콘

알랭 콘(, 1947년 4월 1일 ~ )은 프랑스의 수학자이다. 비가환 기하학의 창시자 가운데 하나다.

 생애 
1947년 4월 1일 프랑스 드라기냥()에서 태어났고, 에콜 노르말 쉬페리외르를 졸업하였다. 현재 콜레주 드 프랑스, IHÉS, 그리고 밴더빌트 대학교의 교수로 재직하고 있다.

 업적 
콘은 폰 노이만 대수의 전문가이고, 이 대수들의 인수들을 완전히 분류하였다. 그는 비가환 기하학을 개척한 사람중의 하나로, 이 제목의 책도 한권 저서로 가지고 있다. 호흐실트 호몰로지와 순환 호몰로지 사이의 신비한 관계를 밝혀 낸 업적으로도 대단히 유명하다. 이를 콘 완전쌍() 또는 콘 주기성()이라고 부른다.

콘은 비가환 물리학을 사용하여 비가환 표준 모형()이라는 입자물리학 이론을 발표하였다. 그의 물리학에서의 업적들은 아주 널리 수긍가는 것은 아니지만, 그는 여전히 2-브레인 우주라는 개념을 플랑크 상수 정도의 작은 에너지 눈금과 연관 시키려고 노력하고 있다.

1982년에 필즈상을 수상하였고, 2001년에는 크라포르드상, 2004년에는 CNRS 금메달을 수상하였다.

 같이 보기 
 순환 범주
 순환 호몰로지
 힉스 보손
 C* 대수
 M이론
 준군
 스펙트럼 삼조
 리만 가설

 외부 링크 

 공식 홈페이지
 공식 홈페이지
 Alain Connes' Standard Model
 interview with Alain Connes
 
 

분류:1947년 출생
분류:살아있는 사람
분류:프랑스의 수학자
분류:에콜 노르말 쉬페리외르 동문
분류:20세기 수학자
분류:21세기 수학자
분류:프랑스 과학 아카데미의 회원
분류:미국 과학 아카데미의 회원
분류:러시아 과학 아카데미의 회원
분류:미분기하학자
분류:밴더빌트 대학교
분류:니콜라 부르바키
분류:밴더빌트 대학교 교수
분류:필즈상 수상자
분류:클레이 연구상 수상자
자네트섬

섬네일
자네트섬()는 데롱 제도에 속해 있는 섬으로, 동시베리아해에 위치해 있다. 1881년에 자네트 호가 여기를 여행하던 중에 발견되었고, 나중에 미해군 대장 조지 W.데롱이 이곳의 이름을 자네트 섬으로 붙였다.
면적은 3,3 sq km이고 최고점은 351 m이다. 사암대지가 형성되어 있고 빙하와 만년설로 뒤덮여 있다.

 외부 링크 
 

분류:러시아의 섬
분류:사하 공화국
노보로시스크

노보로시스크(, )는 러시아 크라스노다르 지방에 있는 도시이다. 흑해 연안과 접하며 러시아 해군의 흑해 함대 기지가 위치한 곳이다.

인구는 202,500명(2001년)이다. 아시아, 중동, 아프리카, 지중해, 남아메리카와 러시아 간의 해상 교역이 많은 항구 도시이다.

 역사 
1838년 러시아 제국 해군의 흑해 함대 기지가 건설되면서 신설되었다. 노보로시스크라는 이름은 노보로시야 지방에서 유래된 이름이다. 1866년에는 도시 지위를 부여받았고 19세기 말에는 급속도로 발전했다.

러시아 내전 중이던 1918년 8월 26일부터 1820년 3월 27일까지는 러시아 백군의 거점이었다. 제2차 세계 대전 중이던 1942년 9월 10일에는 나치 독일 군대에 점령되었지만 1943년 9월 16일에 소련 군대가 탈환했다. 1973년에는 소련의 영웅 도시 칭호를 받았다.

 인구 

 기후 

 사진 

 각주 

 외부 링크 

 공식 웹사이트

분류:러시아의 도시
분류:크라스노다르 변경주
분류:러시아의 항구 도시
분류:소련의 영웅 도시
분류:흑해의 항구 도시
헤르손

헤르손(, )은 우크라이나 남부에 위치한 도시로 헤르손주의 주도이다. 인구는 304,900명(2004년 기준)이다. 흑해와 드니프로강의 중요한 항구이다. 헤르손은 주요 조선 산업의 본거지이자 지역 경제 중심지이다. 2022년 초 인구는 279,131명으로 추산되었다.

2022년 3월부터 11월까지 우크라이나 침공 당시 러시아군이 이 도시를 점령했다. 우크라이나군은 2022년 11월 11일에 도시를 탈환했다. 2023년 6월에는 인근 카호프카 댐이 파괴되면서 도시가 침수되었다.
섬네일|left
 인구 

 기후 

 자매 도시 
 폴란드 제슈프
 헝가리 절러에게르세그
 불가리아 슈멘
 미국 켄트
 터키 종굴다크
 노르웨이 오슬로

 각주 

 외부 링크 

 공식 홈페이지 

 
분류:우크라이나의 도시
분류:헤르손주의 도시
분류:우크라이나의 주도
분류:우크라이나의 항구 도시
분류:흑해의 항구 도시
사회철학

사회철학(社會哲學, )은 (일반적으로 인간의) 사회적 행동 양상에 관한 철학적 연구이다. 사회철학은 다양한 주제들을 다루는데 이는 개인적 의미론에서부터 법의 정당성까지, 사회 계약에서 혁명의 전제까지, 일상 활동에서부터 과학이 문화에 끼치는 영향까지, 인류 인구 구성 변화부터 꿀벌의 사회질서까지 등을 포괄한다.

 하위 범주 
사회철학은 사회의 경향과 복합 의미, 변화와 지향성들을 이해하려고 한다. 이것은 수많은 하위 학문을 파생시킨다.

사회철학은 윤리와 가치론과 중첩되는 분야가 많다. 사회철학의 다른 형태들은 국가와 정부를 사고하는 정치철학과 법철학 등이 있다. 이들 학문은 타 사회과학과 많은 부분을 공유한다. 동시에 사회과학은 사회과학철학의 탐구 대상이 된다.

이 밖에 언어철학과 사회인식론 등이 있다.

 주요 쟁점 
사회철학의 주요 쟁점을 나열해 보자면 다음과 같다.

 권력에의 의지(will to power)

 근대주의와 탈근대주의
 개인주의
 군중
 재산
 권리
 권위
 자유 의지
 이념
 문화 비평

 사회 철학자 
 소크라테스
 플라톤
 공자
 토마스 홉스
 장 자크 루소
 존 로크
 카를 마르크스
 에밀 뒤르켐
 막스 베버
 노엄 촘스키
 위르겐 하버마스
 테오도르 아도르노
 표트르 크로폿킨

 같이 보기 
 사회 이론
 사회학 이론
 사회학
 비판 이론
 비판적 인종 이론

 
분류:사회학의 학제간 분야
변증법

섬네일
변증법(辯證法, , )이란 이성적 주장을 통해 진리를 확립하고자 하는, 주제에 대해 서로 다른 견해를 가진 두 명 이상의 사람들 사이의 담론(談論)이다. 비슷한말은 대화법, 문답법이다. 모순을 통해 진리를 찾는 철학방법이다. 변증의 방식은 정명제와 반명제를 사용하여 이들간에 모순되는 주장의 합명제를 찾거나 최소한 대화가 지향하는 방향의 질적 변화를 일구어내는 논법이다. 동일률을 근본원리로 하는 형식논리에 대하여, 대립 또는 모순을 근본원리로 하여 사물의 운동을 설명하려고 하는 논법이다. 이는 서양 문명에 있어서 문법이나 수사법과 더불어 자유 인문 최초 삼개인문 중 하나이다.

고대 시대와 중세 시대 동안 수사법과 변증법은 둘 다(대화를 매개로 한) 설득을 목적으로 하였다. 변증법적 접근의 목표는 이견을 합리적인 토론으로 해결하는 것이다. 이들 중 하나인 소크라테스 방법은 하나의 전제가 모순에 도달한다는 것을 보여 전제를 제거하는 것이 진리로 가는 길이라는 것을 주장한다. 이견을 해결하는 다른 방법은 서로 경쟁 관계에 있는 정명제와 반명제의 전제를 부정하여 제삼의 길인 합명제에 도달하는 것이다.

 역사 및 변천 
고대 그리스에서는 문답법으로 통했으며, 엘레아의 제논이나 소크라테스에게는 철학적 방법 그 자체였다. 소피스트가 부정(不正)을 정의(正義)라고 우기는 기변술(奇辨術)로 사용한 이후, 변증법을 적극적인 철학적 방법으로 삼는 용법과 기변술로서 부정적으로 다루는 용법이 대립한다. 플라톤은 내면화(內面化)된 이데아에 이르는 적극적 방법으로 삼았으나 아리스토텔레스는 논박(論駁)의 기술 또는 명제의 귀납적 탐구술이라 하여 부정적이었다. 중세에 와서는 흔히 논리학 그 자체를 가리켰다.

근대에 와서 칸트는 순수이성이 그 원리를 그르쳐 형이상학적 문제에 적용했을 때에 생겨나는 가상(假象)의 논리를 변증법이라 하여 부정적으로 평가했다. 이에 대하여 이성이 범하는 모순의 적극적인 의의를 포착한 사람은 헤겔이었다. 그에게 있어서 변증법은 고정적 견해인 형이상학에 대립되는 인식의 방법이며 동시에 사유(思惟)의 자기운동과 자연·역사(歷史)의 모든 현실적 자기운동에 대한 보편적인 합법칙성 이법(合法則性理法)이었다. 그러나 헤겔은 자신의 내부에 있는 모순에 의해 대립을 낳고 그것을 지양함으로써 더 높은 차원으로 나아가는 이 운동을 관념론적 입장에서 개념의 자기 전개로 정착시켰다.

헤겔의 합리적인 핵심을 유물론의 입장에서 계승한 마르크스·엥겔스에 의해 변증법은 자연·사회·사유의 일반적 운동법칙(의 과학)으로서 확립되었다.

 용어(헤겔 변증법의 경우) 
 테제(These)
 정립(定立), 명제(命題)
원래부터 정리된 하나의 주장. 변증법적 전개의 제1단계(추상적·오성적 규정).
 안티테제(Antithese)
 반정립(反定立)
정립이 내적 모순으로 낳은 대립명제(對立命題). 변증법적 전개의 제2단계(변증법적 부정적 이성적 규정).
 진테제(Synthese)
 합(合), 종합(綜合)
정립·반정립의 모순의 통일. 변증법적 전개의 제3단계(사변적·긍정적·이성적 규정).
 정(正)·반(反)·합(合)
헤겔의 변증법의 도식. 정립-반정립-종합, 또는 즉자적(卽自的) 단계-대자적(對自的)단계-즉자 및 대자적 단계라는 것과 같으며 그 자체의 운동의 과정.

 즉자(卽自, an sich)
그 자체에 따른다는 것. 아직 분열 대립에 이르지 못한 변증법적 전개의 제1단계. 따라서 '즉자적(卽自的)'이란 원래 그 자체는 타와 관계 없다라는 것이나, 잠재적·무자각적인 것이 된다.
 대자(對自, für sich)
자신에 대립하고 있는 것. 자기가 분열하고 대립하고 있는 변증법적 전개의 제2단계. '즉자'의 단계에서 이미 잠재적으로 포함되어 있던 모순이 노정된 단계로서, 즉자에 비하면 한층 자각적이다. 이 대립은 또한 '즉자 및 대자'의 단계에 이르러 통일되나, 그것은 즉자 때의 일체성(一體性)과는 달라서 자기 자신의 내용을 인식하고 있기 때문에 참으로 자각적이라고 말할 수 있다.
 지양(止揚, aufheben)
양기(揚棄)라고도 한다. 독일어의 아우프헤벤(aufheben)에는 '보존하다. 보관하다'란 뜻과 '폐지하다. 폐기하다'라는 상반된 뜻이 있으며, 헤겔은 이를 독일어가 지니는 사변적 성격이라 하여 변증법 용어로 사용. 정립·반정립의 대립이 총합 단계에서 통일될 때에는 정립·반정립의 규정 존립이 부정되면서도 그 내용은 보다 고차적인 차원에서 보존되며, 개념이 더욱 구체화된다.

 변증론자 
 노자 (BCE. 571년? ~ BCE. 5세기?)
 헤라클레이토스 (BCE. 535년? ~ BCE. 475년?)
 플로티노스 (205년? ~ 270년?)
 포르피리오스 (234년? ~ 305년?)
 프로클로스 (412년 ~ 485년)
 마이스터 에크하르트 (1260년 ~ 1328년)
 니콜라우스 쿠자누스 (1401년 ~ 1464년)
 게오르크 빌헬름 프리드리히 헤겔 (1770년 ~ 1831년)
 프리드리히 빌헬름 요제프 셸링 (1775년 ~ 1854년)
 루트비히 포이어바흐 (1804년 ~ 1872년)
 카를 마르크스 (1818년 ~ 1883년)
 프리드리히 엥겔스 (1820년 ~ 1895년)
 요제프 디츠겐 (1828년 ~ 1888년)
 게오르기 플레하노프 (1856년 ~ 1918년)
 블라디미르 레닌 (1870년 ~ 1924년)
 아브람 데보린 (1881년 ~ 1963년)
 마오쩌둥 (1893년 ~ 1976년)
 표도르 콘스탄티노프 (1901년 ~ 1991년)
 에발트 일리옌코프 (1924년 ~ 1979년)
 고트프리트 슈틸러 (1924년 ~ 2007년)
 비토리오 회슬레 (1960년 ~ )

 같이 보기 
 에리스틱
 혼돈으로부터의 질서(, )

 각주 

 
분류:사회철학
분류:철학 개념
분류:철학 이론
키아누 리브스

키아누 찰스 리브스(, 1964년 9월 2일 ~ )는 캐나다의 배우이다.

 어린 시절 
1964년 9월 2일 레바논의 수도 베이루트에서 1남 1녀 중 장남으로 태어났다. 아버지는 하와이 출신의 미국인 지질학자 새뮤얼 놀린 리브스 주니어(Samuel Nowlin Reeves, Jr)며, 어머니 퍼트리샤 본드(Patricia Bond)는 디자이너, 댄서이다. 아버지에게서 잉글랜드, 하와이, 아일랜드, 포르투갈, 중국의 피를 이어 받았으며, 어머니에게도 잉글랜드계의 피를 이어 받았다. 이름 '키아누'는 하와이어로 '산에서 부는 시원한 바람'이라는 의미로, 헨리 키아누 리브스를 따서 붙여졌다.

리브스의 어린 시절은 세계 각지를 두루 다니며 살았다. 실제 아버지는 리브스가 3살때 떠나 지금까지 리브스는 그와 연락을 하고 있지 않다. 1966년 어머니는 의상 디자이너로 취업을 하고 처음에는 시드니, 뉴욕으로 이사를 갔다. 그래서 어머니는 할리우드와 브로드웨이의 감독 폴 에런(Paul Aaron)과 만나 재혼하였다. 하지만 토론토로 이주한 후 1971년에 다시 한 번 1976년에 록 프로모터 로버트 밀러(Robert Miller)와 결혼하였지만 1980년 헤어졌다. 네 번째 남편인 미용사 잭 본드(Jack Bond)와도 1994년에 헤어졌다. 이로 인해 할아버지 할머니 그리고 보모(베이비 시터 겸 홈 스쿨 선생님)가 리브스를 돌봤다.

리브스는 주로 토론토에서 자랐지만, 5년간 4개 고등학교에 다녔다. 리브스는 아이스하키에서 뛰어난 능력을 발휘하였다. 특수목적 고등학교 가운데 하나인 드라살레 컬리지 "Oaklands"에서는 골텐더로 활약하였으며, 동료들은 리브스를 "The Wall (벽)"이라고 했고 최우수 선수로 선정되기도 했다. 당시에는 동계 올림픽 아이스 하키 종목에서 캐나다 국가대표 선수가 되는 것이 꿈이었으나 15살이던 해 배우가 되기로 결심한 이후 배우로 전향해 전세계적인 빅스타, 헐리우드 스타로 발돋움하며 명성을 얻었다.

 출연 작품 

 각주 

 외부 링크 
 
 

분류:1964년 출생
분류:살아있는 사람
분류:캐나다의 남자 영화 배우
분류:캐나다의 남자 텔레비전 배우
분류:캐나다의 록 베이스 기타 연주자
분류:캐나다의 영화 프로듀서
분류:캐나다의 남자 성우
분류:다큐멘터리 영화 프로듀서
분류:베이루트 출신
분류:토론토 출신 배우
분류:중국계 캐나다인
분류:미국계 캐나다인
분류:포르투갈계 캐나다인
분류:잉글랜드계 캐나다인
분류:아일랜드계 캐나다인
분류:하와이 원주민 인물
분류:캐나다로 귀화한 사람
분류:할리우드 명예의 거리
분류:캐나다의 자선가
분류:20세기 캐나다 사람
분류:21세기 캐나다 사람
본질주의

본질주의()는 임의의 인식 대상의 종류가 존재한다고 가정 할 때 적어도 이론적으로는 하나의 인식 대상이 웅해당 종류에 해당하기 위해서는 필히 부합해야 하는 일련의 성격 (본질)을 지정하는 것이 가능하다고 주장하는 철학적 논쟁에 중점을 둔 신념과 실천이다. 이러한 인식 대상의 일원은 물론 본질을 소외시키지 않는 한에서 본질을 벗어나는 다른 성격(들)을 지니는 것이 가능하다.

 같이 보기 
 본질주의 (교육)
 구조주의
 전통주의

 
분류:인식론
분류:삶의 철학
분류:미학 개념
분류:인식론 개념
분류:윤리학 개념
분류:형이상학 개념
분류:심리철학 개념
분류:과학철학 개념
아파치 서브버전

서브버전()은 자유 소프트웨어 버전 관리 시스템이다. 명령 줄 인터페이스에서 사용하는 명령어를 따서 SVN이라고 줄여서 부른다. 제한이 있던 CVS를 대체하기 위해 2000년부터 콜랩넷에서 개발되었다. 현재는 아파치 최상위 프로젝트로서 전 세계 개발자 커뮤니티와 함께 개발되고 있다.

서브 버전은 클라이언트 서버 모델을 따른다. 서버는 작업하는 컴퓨터내에 둘 수도 있고, 전산망에 연결된 별도의 컴퓨터에 두고 사용할 수도 있다. 서브버전 서버와 클라이언트는 http, https, svn, svn+ssh의 규약으로 통신한다.

 역사 
콜랩넷은 CVS와 매우 비슷하면서도 CVS에 존재하지 않는 기능을 제공하고 버그를 수정한 오픈 소스 버전 관리 시스템을 작성하다가 2000년에 서브버전 프로젝트를 개설하였다.

 서브버전의 보급 현황 
서브버전은 오픈소스 커뮤니티에 잘 알려져 있고 아파치 소프트웨어 재단, KDE, 그놈, 프리 파스칼, GCC, 파이썬, 루비, 삼바, 모노와 같은 많은 오픈 소스 프로젝트에 사용되고 있다. 또한 네이버 개발자 센터, SourceForge.net, Tigris.org, Google code에서는 오픈소스 프로젝트를 위해 서브버전 호스팅을 하고 있다. 바운티소스은 오로지 이것만 사용한다.

기업 세계에서도 서브버전이 더 많이 채용되어 가고 있다. 2007년 Forrester Research 보고서에 따르면 서브버전은 Standalone 형상 관리(SCM) 부류에서 독보적인 선두주자로, 형상 및 변경 관리(SCCM)부류에서는 강력한 실행기이다.

 기능 
 automatical writing 을 지원하므로, 쓰기 도중 중단으로 인한 저장소 내의 불일치나 손상을 피할 수 있다.
 이름을 바꾸거나, 복사하거나, 파일을 지워도 계정 기록을 유지한다.
 시스템이 등록부, 개명, 파일 메타데이터에 대해서도 판본 호수를 지정 관리한다. 사용자는 디렉터리 전체를 빠르게 옮기거나 복사하면서도 전체의 개정 이력을 보유할 수 있다.
 심볼릭 링크도 판본 호수를 지정.
 이진 파일의 경우 한번 저장한 후 변경될 경우 차이점만 저장하기 때문에 저장소를 효율적으로 사용할 수 있다.
 아파치 HTTP 서버를 네트워크 서버로, 웹대브/델타-V를 통신규약으로 사용한다. svnserve라는 독립된 서버 프로세스도 있어서 TCP/IP를 통해 전용 통신규약을 사용한다.
 소스 저장소의 크기에 관계 없이 일정한 시간 안에 가지 치기(branching)나 태그 넣기(tagging)를 할 수 있다.
 태생적으로 클라이언트-서버, 계층 라이브러리 설계를 채택.
 클라이언트/서버 통신규약이 버전간 차이를 양뱡향으로 보냄.
 소스 저장소로의 접근이 최적화되어 있으므로, 소스 저장고에서 필요 없는 네트워크 트래픽을 줄일 수 있다.

 브랜치와 태그 
650px|섬네일|가운데|단순한 서브버전 프로젝트의 시각화

 관련 소프트웨어 
 TortoiseSVN
 서브버전을 마이크로소프트 윈도우에서 쉽게 쓸 수 있게 해주는 도구이다.
 이 프로그램은 탐색기에 통합된 프론트 엔드의 성격을 지니고 있어 팝업 메뉴/쉬운 명령법 등의 장점을 가지고 있다.
 WinCvs 보다 사용법도 편하며 diff 툴이 같이 제공되기 때문에 사용하기 쉽다.

 RapidSVN
 WinCvs와 유사한 멀티 플랫폼 GUI 클라이언트

 AnkhSVN
 마이크로소프트 비주얼 스튜디오와의 통합을 제공한다.

 Subclipse
 이클립스에서 서브버전을 사용할 수 있도록 지원하는 플러그 인.

 Trac
 버그 / 이슈 추적 소프트웨어.

 같이 보기 
 버전 관리 소프트웨어 목록
 TortoiseSVN

 참고 문헌 

 외부 링크 
 
 

분류:자유 버전 관리 소프트웨어
분류:협업 소프트웨어
분류:유닉스 보관 및 압축 관련 유틸리티
분류:C로 작성된 자유 소프트웨어
분류:아파치 라이선스 소프트웨어
분류:크로스 플랫폼 자유 소프트웨어
분류:아파치 소프트웨어 재단 프로젝트
볼셰비크섬

볼셰비크섬()은 러시아 북극에 있는 세베르나야제믈랴 제도의 최남단에 위치한 섬으로 세베르나야제믈랴 제도에 속한 섬들 중 두 번째로 크다.

right|섬네일|랜드셋-7(Landsat-7)이 찍은 볼셰비크 섬(1999-07-29)
면적은 11,312km2로 추정된다. 산지로 구성되어 있으며, 최고점은 935m이다. 북극 기지 '프리마'()가 이 섬에 위치하고 있다. 섬의 30%는 빙하로 덮여 있으며 해안의 평지에는 희박하지만 이끼와 지의류 등의 초목이 자란다.

 같이 보기 
 러시아의 섬 목록

분류:세베르나야제믈랴 제도의 섬
분류:랍테프해의 섬