문서 검색

찰스 배비지는 1791년 영국 런던에서 태어났다. 케임브리지 대학교에서 수학하였으며, 1816년 런던 왕립학회 회원으로 선출되었다. 1828년부터 1839년까지 케임브리지 대학교의 루커스 수학 석좌 교수를 역임하였다. 그는 수학뿐만 아니라 다양한 학문 분야의 발전에 기여하였다. 1812년 유럽 대륙의 수학적 성과를 영국에 소개하기 위해 해석학회(Analytical Society) 창설을 도…

닉 보스트롬(Nick Bostrom, 1973년 3월 10일 ~ )은 스웨덴 출신의 철학자이자 옥스퍼드 대학교 교수이다. 인류 미래 연구소(Future of Humanity Institute)의 창립 소장을 지냈으며, 실존적 위험, 인류 원리, 트랜스휴머니즘, 인공지능의 안전성 등을 주요 연구 분야로 다룬다. 인공지능이 인간의 지능을 추월할 때 발생할 수 있는 위험을 분석한 저서 《슈퍼인텔…

괴델의 불완전성 정리는 오스트리아의 수학자 쿠르트 괴델이 1931년에 발표한 수리논리학의 두 가지 정리이다. 이 정리는 페아노 공리계를 포함하는 충분히 강력하고 무모순적인 형식 체계 내에서 참이지만 증명할 수 없는 명제가 반드시 존재하며, 그 체계가 스스로의 무모순성을 증명할 수 없음을 보여준다. 이는 수학이 완전하고 일관된 공리 체계 위에 세워질 수 있다는 힐베르트의 프로그램을 근본적으로…

쿠르트 프리드리히 괴델(Kurt Friedrich Gödel, 1906년 4월 28일 ~ 1978년 1월 14일)은 오스트리아 출신의 수리논리학자, 수학자, 철학자이다. 아리스토텔레스, 고틀로프 프레게와 더불어 역사상 가장 중요한 논리학자 중 한 명으로 평가받는다. 1931년 발표한 불완전성 정리를 통해 수학의 논리적 한계를 규명하였으며, 이는 현대 수학, 철학, 컴퓨터 과학의 사유 체계에…

박철민은 대한민국의 화학자이다. 현재 울산과학기술원(UNIST) 화학과 교수로 재직하며 유기합성 및 의약화학 연구실(Synthetic and Medicinal Chemistry Lab)을 운영하고 있다. 유기 분자가 재료 과학에서 의약품에 이르기까지 다양한 분야에서 핵심적인 역할을 수행한다는 점에 주목하여, 새로운 합성 방법론을 개발하고 이를 통해 생리활성 화합물과 화학적 도구를 창출하는…

함수형 프로그래밍은 계산을 수학적 함수의 평가로 간주하고 상태와 가변 데이터를 피하는 프로그래밍 패러다임이다. 명령형 프로그래밍이 프로그램의 상태를 변경하는 문(Statement) 중심인 것과 달리, 함수형 프로그래밍은 식(Expression)과 선언을 강조하는 선언형 프로그래밍의 일종이다. 1930년대 람다 대수에 뿌리를 두고 있으며, 현대에는 병렬 처리의 안정성과 데이터 파이프라인 구축…

데이비드 린든 래미(David Lindon Lammy, 1972년 7월 19일 ~ )는 영국의 정치인이다. 노동당 소속으로 2000년부터 토트넘 지역구 국회의원(MP)을 지내고 있으며, 2025년 9월부터 영국의 부총리 겸 법무장관 및 대법관(Lord Chancellor)으로 재임 중이다. 키어 스타머 내각의 초대 외무장관을 역임하였으며, 흑인 영국인 최초로 하버드 법학대학원에서 수학한 이…

상대성 이론은 알베르트 아인슈타인이 제창한 현대 물리학의 핵심 이론이다. 1905년의 특수 상대성 이론과 1915년의 일반 상대성 이론으로 구성된다. 이 이론은 시간과 공간이 절대적이라는 고전 역학의 전제를 부정하고, 관찰자의 운동 상태와 중력의 영향에 따라 시공간이 변할 수 있음을 수학적으로 증명하였다. 현대 물리학에서 중력을 기술하는 표준 이론이며, 우주론과 천체 물리학의 기초가 된다.

마우리츠 코르넬리스 에셔(Maurits Cornelis Escher, 1898~1972)는 네덜란드의 판화가이자 그래픽 아티스트이다. 목판화, 석판화, 메조틴트 기법을 사용하여 불가능한 건축물, 테셀레이션, 무한한 공간 등 수학적 원리를 시각화한 독창적인 작품 세계를 구축하였다. 초기에는 풍경화를 주로 그렸으나, 이후 기하학적 패턴과 공간의 환영을 다루며 예술과 과학의 경계를 넘나드는 작업…

블랙-숄즈 모형(Black–Scholes model)은 금융시장에서 옵션과 같은 파생상품의 가격을 결정하기 위해 고안된 수학적 모형이다. 1973년 피셔 블랙과 마이런 숄즈가 발표하였으며, 이후 로버트 머튼이 이론적 발전에 기여하여 블랙-숄즈-머튼 모형으로도 불린다. 이 모형은 기초자산의 가격 변동이 기하학적 브라운 운동을 따른다는 가정을 바탕으로 유럽형 옵션의 이론적 가치를 산출하며, 현…

존 폰 노이만(John von Neumann, 1903년 12월 28일 ~ 1957년 2월 8일)은 헝가리 출신의 미국 수학자, 물리학자, 컴퓨터 과학자이자 공학자이다. 20세기를 대표하는 천재 학자 중 한 명으로 꼽히며, 순수 수학뿐만 아니라 양자역학, 게임 이론, 컴퓨터 구조, 핵무기 개발 등 응용 과학 분야에서 방대한 업적을 남겼다. 현대적 디지털 컴퓨터의 기초가 되는 폰 노이만 구조…

경찰조사심의위원회는 경찰 수사의 객관성과 공정성을 확보하기 위해 설치된 심의 기구이다. 2021년 4월 국가수사본부 출범과 함께 도입되었으며, 경찰청과 전국 18개 시·도경찰청에 설치되어 있다. 법조인, 교수, 언론인 등 외부 전문가가 참여하여 주요 사건의 수사 결과나 사건 관계인의 이의 제기 내용을 검토하고 권고안을 제시함으로써 수사의 민주적 통제 장치 역할을 수행한다. 통상 경찰수사심의…