반응형 계산불가능성1 프로그래밍 수학 존재론― 논리의 언어가 도달하지 못하는 세계에 대하여 1. 들어가며 — 나는 계산을 잘하지 못했지만나는 어릴 적부터 수학에 흥미가 많았다.정확히 말하자면, 문제 풀이나 계산에는 약했지만‘수학이란 무엇인가?’라는 본질적인 질문은 늘 내 안에 살아 있었다.왜 1 더하기 1은 2가 되는가?덧셈이란 무엇인가?곱셈은 왜 반복된 덧셈이라 부를 수 있는가?문제집보다는 사유에 몰입했다.그리고 나는 점점 하나의 감각에 이르게 되었다.수학은 결국, 프로그래밍 언어와 비슷하다. 2. 수학은 실행 가능한 언어다수학은 기호와 규칙, 논리적 순서를 따르는 언어다.+, ×, =, ∈, ∑ 같은 연산 기호들은 마치 프로그래밍의 함수나 연산자 같다.덧셈은 반복된 증가곱셈은 반복된 덧셈조건부 수열은 if-else 문과 닮아 있다귀납법은 반복문이며, 수학적 증명은 실행 가능한 코드처럼 느껴.. 2025. 6. 26. 이전 1 다음 반응형
