정보수학

소프트웨어 개발, 특히 컴퓨터 프로그램 개발 코딩 부분은 수학을 매우 닮았다. 컴퓨터는 그 기원을 튜링 머신에 둘 수 있고, 튜링 머신은 기계라는 것에 대한 수학적 탐구를 위해 앨런 튜링이 만든 것이다. 그리고 많은 사람들이 현세에 소프트웨어 개발업에 종사하면서 이러한 튜링 머신 체계에 나도 모르게 익숙해지게 된 것은 또 시대의 흐름에 따른다. 소프트웨어 개발자들은 애초에 이 이해하기 어려운 튜링 머신을, 손과 머리로 체득하여 익숙해진 이들이기도 하다. 물론 원래부터 Computer Science가 수학에 기초한 것도 자명하지만, 수학의 여러가지 논리와 체계를 보자면, 그 둘의 연관도가 생각보다 더 깊다. 그도 그럴것이 소프트웨어 개발의 본질은 어떤 규칙(절차)을 정하고, 규칙에 따른 상태를 관리하며, ..

수학이나 숫자라는 것은 무엇일까? 계산은 무엇이며 수학의 근원에는 무엇이 있을까? 무언가 가장 최소한의 것에서 부터 조금씩 확대하며 수학연산 체계를 설명하는 방법이 무엇일까? 필자는 이 이야기를 처음 시작해나가는 방법을 "대칭"이라고 생각한다. 그리고 필자가 오랫동안 접해온 컴퓨터와 프로그래밍에 대한 지식이 이것들에 대한 이해를 쉽게 한다고 믿는다. 수학과 기계적 계산은 그 근원이 닮아있다. 그리고 이미 대칭에서 기본적인 사칙 연산에 대한 형식 체계는 기 블로그 글을 참고하면 된다.https://infomath.tistory.com/4 인용한 글의 결론은 현대의 수학계산 체계는, 대칭에서 확장하여 최소화하여 형식체계를 구성할 수 있으며, 상태와 변환이 그 핵심이라는 점이다. 전산학의 오토마타에서 다루는..