한 줄의 계산이 다음 줄을 낳으면 일반 증명이 될까?
11세기 알카라지와 12세기 알사마왈의 대수 저술에는 한 차수의 계산에서 다음 차수로 나아가는 절차가 나타난다. 현존 저술과 후대의 인용, 현대 연구자의 재구성을 구분하면서 이항계수 배열과 세제곱 합 공식을 검산하고, 반복되는 계산이 언제 일반 명제의 증명이 되는지 살펴본다.
게시 2026-10-07 · 약 14분Visual Logic 역사 본문 읽기 →
Visual Logic의 역사
Visual Logic의 역사
고대의 그림에서 AI와 함께하는 사고까지
1회부터 차례로 읽습니다. 기존 본문의 그림과 조작 활동까지 그대로 이어집니다.
해외 학술 연구의 7개 분야
Visual Logic의 역사56편
검색 결과 제목
부울은 논리를 0과 1의 계산으로 바꾸었을까?
조지 부울은 부류를 x·y·z로, 전체를 1로, 빈 부류를 0으로 나타내며 논리 추론을 계산하는 방법을 세웠다. 다만 그의 덧셈과 뺄셈, 0과 1은 오늘날의 불 대수나 컴퓨터 비트와 완전히 같지 않았다. 원전의 규칙을 직접 계산하고 두 체계의 닮음과 차이를 판별한다.
게시 2026-10-08 · 약 14분Visual Logic 역사 본문 읽기 →
목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?
게오르크 칸토어는 무한한 두 기호 수열을 모두 적었다고 가정한 뒤, n번째 수열의 n번째 기호만 반대로 바꾸어 목록 어디에도 없는 수열을 만들었다. 원문의 m·w 수열과 0·1 함수 논증을 따라가며 대각선 논법이 무엇을 증명하고 무엇까지는 말하지 않는지 검산한다.
게시 2026-10-08 · 약 14분Visual Logic 역사 본문 읽기 →
스위치의 연결을 식으로 바꾸면 회로를 더 간단히 만들 수 있을까?
클로드 섀넌은 전기가 흐르는 길을 0과 1의 기호로 옮겨, 같은 동작을 하는 여러 릴레이 회로를 식으로 비교했다. 직렬 연결은 두 조건이 모두 맞을 때, 병렬 연결은 어느 한 조건만 맞아도 닫히는 구조다. 세 입력 회로를 진리표로 검산하고, 식을 묶어 접점 수를 줄이는 과정과 실제 장치에서 따로 확인해야 할 조건을 살펴본다.
게시 2026-10-11 · 약 14분Visual Logic 역사 본문 읽기 →
오목한 반구 하나로 시간과 절기를 함께 읽을 수 있을까?
1434년 공중 해시계 기록과 후대 현존 앙부일구를 구분하고, 그림자 끝점의 두 좌표가 시각과 절기를 어떻게 함께 나타내는지 검산합니다.
게시 2026-10-13 · 약 14분Visual Logic 역사 본문 읽기 →
46–50 / 56편