문서 검색

크레이그 라이트(Craig Wright)는 호주 출신의 컴퓨터 과학자이자 사업가이다. 그는 2015년부터 자신이 비트코인을 창시한 익명의 인물 사토시 나카모토라고 주장하며 암호화폐 업계에서 큰 논란을 일으켰다. 그러나 2024년 영국 고등법원은 그가 사토시 나카모토가 아니며 비트코인 백서의 저자도 아니라고 판결했다. 이후 법원 명령을 위반하고 소송을 남발한 혐의로 법정 모독죄가 인정되어 징…

분할 정복(Divide and Conquer)은 방대한 문제를 직접 해결하기 쉬운 작은 단위의 하위 문제로 나누어 각각 해결한 뒤, 그 결과를 다시 합쳐 원래의 문제를 해결하는 알고리즘 설계 기법이다. 하향식(Top-down) 접근 방식을 취하며, 정렬 알고리즘이나 수학적 계산 등 컴퓨터 과학의 다양한 분야에서 핵심적인 역할을 한다.

수리논리학(數理論理學, mathematical logic)은 논리학을 수학적 기호와 기법을 통해 연구하는 학문이다. 일상 언어인 자연언어의 사용에서 발생할 수 있는 모호성과 오류를 제거하고, 명제를 정밀하고 효과적으로 다루기 위해 도입되었다. 기호를 광범위하게 사용하기 때문에 기호논리학(symbolic logic)이라고도 불린다. 현대 수학의 기초를 형성하며 컴퓨터 과학, 철학, 언어학 등…

앨런 매시슨 튜링(Alan Mathison Turing)은 영국의 수학자, 논리학자, 암호학자이다. 제2차 세계대전 당시 독일군의 암호 체계인 에니그마를 해독하여 연합군의 승리에 결정적인 기여를 하였다. 튜링 머신과 튜링 테스트를 통해 현대 컴퓨터 과학과 인공지능의 이론적 토대를 구축하였으며, 이러한 공로로 '컴퓨터 과학의 아버지'라 불린다.

더글러스 리처드 호프스태터(Douglas Richard Hofstadter, 1945년 2월 15일 ~ )는 미국의 인지과학자, 컴퓨터 과학자이자 물리학자이다. 1979년 출간한 저서 《괴델, 에셔, 바흐: 영원한 황금 노끈》으로 퓰리처상과 미국 도서대상을 수상하며 세계적인 명성을 얻었다. 그는 인간의 의식, 유추, 자기 인식의 본질을 탐구하며 인공지능과 인지과학 분야에 깊은 영향을 미쳤다.

닉 자보(Nick Szabo)는 미국의 컴퓨터 과학자, 법학자, 암호학자이다. 1994년 '스마트 계약' 개념을 처음으로 제시하였으며, 1998년에는 비트코인의 이론적 토대가 된 '비트골드(Bit Gold)'를 고안하였다. 암호화폐와 블록체인 기술의 선구자로 평가받으며, 비트코인의 창시자인 사토시 나카모토의 유력한 후보 중 한 명으로 거론된다.

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

빅 오 표기법(Big O notation)은 함수의 증감 추세를 나타내는 점근 표기법의 하나로, 주로 컴퓨터 과학에서 알고리즘의 효율성을 분석할 때 사용한다. 입력 데이터의 크기가 커짐에 따라 알고리즘의 실행 시간이나 공간 요구 사항이 어떻게 변하는지를 수학적으로 기술하며, 특히 최악의 경우에 대한 성능 상한을 나타내는 데 활용된다.

계산 복잡도 이론(Computational Complexity Theory)은 컴퓨터 과학의 계산 이론 분야 중 하나로, 계산 문제를 해결하는 알고리즘의 효율성을 자원 사용량에 따라 분류하고 연구하는 학문이다. 주요 연구 대상은 문제를 해결하는 데 소요되는 시간과 메모리 공간이며, 이를 통해 문제의 난이도를 정량적으로 평가하고 문제 간의 관계를 규명한다.

정지 문제(停止問題, Halting Problem)는 판정 문제의 일종으로, 특정 프로그램과 입력값이 주어졌을 때 해당 프로그램이 계산을 끝내고 멈출지 아니면 영원히 계속 실행될지를 판정하는 문제이다. 1936년 앨런 튜링은 모든 가능한 입력값에 대해 정지 문제를 해결할 수 있는 일반적인 알고리즘은 존재하지 않는다는 사실을 수학적으로 증명하였다. 이는 컴퓨터 과학에서 해결 불가능한 문제가…

람다 대수(lambda calculus)는 함수 정의, 함수 적용, 변수 치환을 통해 계산을 수행하는 형식 체계이다. 1930년대 알론조 처치가 수학기초론 연구의 일환으로 고안하였으며, 모든 계산 가능한 함수를 표현할 수 있는 튜링 완전성을 가진다. 현대 컴퓨터 과학에서 함수형 프로그래밍 언어의 이론적 토대가 되며, 논리학과 언어학 등 다양한 분야에서 응용된다.

알고리즘(Algorithm)은 수학과 컴퓨터 과학에서 문제를 해결하기 위해 정의된 일련의 단계적 절차이자 명령어들의 집합이다. 계산을 실행하기 위한 규칙들의 집합을 의미하며, 입력된 데이터를 처리하여 특정 결과를 도출하는 유한한 계산 과정을 뜻한다. 현대 사회에서는 연산, 데이터 마이닝, 자동화된 추론 등 다양한 분야에서 핵심적인 역할을 수행한다.