English Dictionary

symbol pushing

名詞

軽蔑的 不可算名詞

(mathematics, somewhat derogatory) The practice of solving mathematical problems by manipulating symbols (as in algebra) rather than through visual or intuitive understanding.

日本語の意味

数学において、直感や視覚的理解を用いるのではなく、記号（特に代数記号）の操作だけで問題を解く手法。やや軽蔑的なニュアンスを含む表現です。

While he excelled at symbol pushing, he struggled to develop an intuitive grasp of the concepts.

彼は単なる記号操作には優れていたが、概念を直感的に理解することには苦労した。

意味（1）

(mathematics, somewhat derogatory) The practice of solving mathematical problems by manipulating symbols (as in algebra) rather than through visual or intuitive understanding.

The fact that we eventually reach a formulation free from logic (in terms of functional analysis) does not invalidate the use of logical tools: in fact the simplest way to prove termination (i.e. nilpotency) will always be standard logical manipulation, symbol pushing; but the existence of a model for this symbol pushing obviously brings in new methods, insights, etc.