수식

수학에서 수 수준으로 기본적인 것. 수식은 문법이다. 수학을 배우는 순간부터 우리 삶을 붙어다니는 제2외국어이다.

초등학교에서는 안 배우지 않나?라고 할 수 있지만 착각이다. 수학에서 일상 언어가 아닌 모든 것들은 다 수식이며, 2+3=5같은 기본적인 사칙연산부터 함수, 미적분, 미분방정식까지 모든 것을 포함하는 것이 바로 식. 심지어 1+2나 2<4처럼 등호가 없어도 되며, 4나 8 혹은 π나 e처럼 숫자 하나 달랑 써놓아도 수식으로 분류할 수 있다.

사실 방정식의 아버지라 불리는 디오판토스 때까지만 해도 수식은 사용되지 않았다. 그때까진 수식을 오늘날의 문장제처럼 전부 말로 풀다가,[2] 이게 복잡했던 사람들이 줄임말을 사용하기 시작했고[3] 근대에 프랑수아 비에트가 +,- 기호를 발명하면서 완전히 기호로 대체되었다.[4]

수식이 '언어'라는 점은 사투리[5]의 존재로 더 확고해진다. 거기에 하트리 필드(Hartry Field)가 고전역학의 수식을 자연 언어로 '번역'하기도 했다.

수식 입력을 지원하는 마크업 언어로는 TeX, MathML 등이 있다. 나무위키에서는 TeX를 이용한 수식 입력을 지원한다.

프로그래밍 언어에서는 '연산자(+, -, *, /, %)와 피연산자의 조합'으로 정의하며, 대부분의 수식은 값을 반환한다.