수리철학, 논리학은 컴공 쪽이랑 연관성이 깊음?

[익명(58.120)]

최초의 오토마타나 그 밖의 알고리즘들을 보다보니 그런 생각이 들었음

[익명(211.187)]

수리 철학은 철학의 한 분야로 보면되고 논리학은 어떤 분야를 중심으로 배우냐에 따라 다양하다고 봄.

[익명(222.116)]

type theory, model theory