surveyability

The fourth topic, induction, touches upon the alleged experimental and other non-deductive dimensions to mathematical activity, involving such techniques as the brute manipulation of numbers, probability arguments, or visual proofs, and putting to the test the epistemic principles of surveyability and understanding.