프로그래밍은 수학의 하위 집합입니까? 나는 모든 프로그래밍이 실제로 수학의 하위 집합이라는 것을 여러 번 들었습니다. 어떤 사람들 은 OO가 그 뿌리에서 수학적으로 기반을두고 있다고 제안 하지만 몇 가지 명백한 예를 제외하고는 연결을 얻지 못합니다. 귀납법을 사용하여 재귀 알고리즘을 증명합니다. 공식적인 정확성 증명, 기능적 언어, 람다 미적분, 점근 적 복잡성, DFA, NFA, Turing Machines 및 일반적인 이론적 계산은 상자에있는 모든 것이 바이너리라는 사실. 나는 수학이 프로그래밍에 매우 중요하다는 것을 알고 있지만,이 "서브셋"관점에서 어려움을 겪습니다. 수학의 하위 집합을 프로그래밍하는 방법은 무엇입니까? 충분히 강력한 연결이 있다면 엔터프라이즈 / OO 개발과 관련이있을 수있는 설..