EN
ABA∧B
대수 · 개념 허브깊이 읽기

불 대수

Boolean Algebra

AD 185419세기 영국 (조지 부울)

‘불 대수’에서 묻습니다. 서로 다른 문제에서 같은 구조를 어떻게 알아볼까?

회전과 치환, 행렬과 범주를 통해 겉모습 대신 변환 규칙과 관계 자체를 읽습니다.

이 항로는 이해를 돕는 편집 경로입니다. 직접적인 역사 영향선이나 한 사람의 단독 발명을 뜻하지 않습니다.

한 호흡으로 이해하기

참(1)·거짓(0) 관계를 다루는 논리의 대수. 부울의 19세기 체계는 여러 논리학자의 후속 작업을 거쳤고, 1937년 섀넌은 릴레이 스위칭 회로를 부울 대수로 분석·설계할 수 있음을 보였다. NAND 같은 기능적으로 완전한 게이트 하나만으로도 임의의 부울 함수를 구성할 수 있다.

한눈에 보기

A

B

A AND B

A OR B

A XOR B

NOT A

000001
010111
100110
111100

진리표 — 단 4가지 경우로 모든 논리 게이트가 정의된다.

개념

참/거짓 관계를 계산하는 대수. 부울의 19세기 논리 대수는 섀넌이 스위칭 회로 분석에 적용한 뒤 디지털 회로 설계의 핵심 언어 가운데 하나가 되었다.

핵심 식

ab=aˉbˉ(De Morgan)\overline{a \land b} = \bar{a} \lor \bar{b} \quad (\text{De Morgan})

AND/OR/NOT의 대수 — 0과 1로 모든 논리

시간의 항구

이 개념은 한 번에 발명되지 않았습니다

장면을 따라가면 문제, 표기, 증명 기준과 쓰임이 서로 다른 장소와 시대에서 어떻게 바뀌었는지 보입니다.

1
AD 1854장면 1 / 4같은 연도의 세계에서 이어 보기

부울 — 《사고의 법칙》

아일랜드 자수성가 학자 조지 부울이 논리를 대수처럼 계산하는 체계 발표. 당대에는 별 주목 못 받음.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기
2
AD 1937장면 2 / 4Cambridge, MA

섀넌 — 부울 대수와 스위칭 회로

MIT 석사 연구에서 릴레이·스위칭 회로를 부울 대수로 분석하고 설계할 수 있음을 보였다.

기록된 장소와 지도 기준점이 일치하는 장면

이 장면을 지도에서 이어 보기
3
AD 1945장면 3 / 4같은 연도의 세계에서 이어 보기

ENIAC — 초기 범용 전자식 디지털 컴퓨터

수많은 진공관으로 수치 계산과 제어를 구현한 초기 범용 전자식 디지털 컴퓨터 가운데 하나였다.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기
4
AD 1971장면 4 / 4같은 연도의 세계에서 이어 보기

인텔 4004 — 상용 마이크로프로세서

초기 상용 단일 칩 마이크로프로세서가 논리·제어 회로를 작은 칩에 집적하며 개인용 컴퓨팅으로 가는 한 경로를 열었다.

정확한 장소가 없어 거짓 핀 대신 시간만 이어지는 장면

같은 연도의 세계에서 이어 보기

오늘날의 응용

AND/OR/NOT 회로, 데이터베이스 조건식, 검색식, 프로그래밍의 조건문과 집합 연산.

MathVoyage 너머로

큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.

한 사람이 만든 개념이 아닙니다

역할이 다른 사람들을 따라가기

대표 연결은 발명자 명단이 아닙니다. 문제를 열고, 언어를 다듬고, 다른 세계로 옮긴 서로 다른 항구입니다.

수의 렌즈

같은 개념도 수의 세계가 바뀌면 다르게 보입니다

아래 수는 필수 선수 조건이 아니라 이 항로를 비추는 편집 렌즈입니다.

개념의 계보

무엇을 딛고, 무엇을 열었을까?

앞에서 건너온 개념

현재 항구

불 대수

여기서 열리는 개념

직접 연결만 표시하며 완전한 학습 순서나 역사 영향선을 뜻하지 않습니다.