계산과 증명
여러 예에서 같은 결과가 나오는 것은 가설을 만드는 단서다. 그러나 일반적인 명제를 증명하려면 가정에서 결론이 따라오는 논리를 제시해야 한다.
반례 하나는 모든 경우에 성립한다는 주장을 무너뜨릴 수 있다. 계산 도구가 많은 예를 검사했다는 사실과 모든 경우에 대한 증명은 구분된다.
추상화가 연결하는 문제
서로 다른 대상이 같은 연산 규칙을 만족하면 하나의 구조로 연구할 수 있다. 벡터 공간은 화살표뿐 아니라 함수와 수의 배열을 같은 틀에서 다루는 사례다.
추상화는 구체적인 의미를 모두 없애려는 목적만이 아니다. 공통된 관계를 분리해 정리를 재사용하고 다른 문제의 연결을 발견하게 한다.
모형과 현실
수학적 모형은 현실의 일부 관계를 정의와 식으로 표현한다. 모형 안에서 계산과 증명이 정확하더라도 가정이 실제 대상에 맞는지는 경험적 검토가 필요하다.
예측이 어긋났을 때 계산 오류뿐 아니라 빠뜨린 조건과 측정의 한계도 고려해야 한다. 수학의 논리적 타당성과 현실 설명의 적합성은 다른 평가다.
분야 사이의 이동
기하학의 문제가 대수로 옮겨지거나 확률적 방법이 조합 문제에 쓰이는 등 분야는 서로 연결된다. 순수 연구와 응용의 경계도 고정되어 있지 않다.
표기와 정의는 문헌마다 세부 관례가 달라질 수 있다. 같은 기호를 보더라도 어떤 집합과 연산을 정했는지 확인하는 것이 이해의 출발점이다.