symbol pushing

名词 n.

英文释义

名词 n.
  1. The practice of solving mathematical problems by manipulating symbols (as in algebra) rather than through visual or intuitive understanding. derogatory,uncountable
    — 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.
0 次浏览 数据来源: Wiktionary