1) Aesthete of mathematical formalism
数学形式美
2) form aesthetics
形式美学
1.
Secondly,it analyzes the idea of form aesthetics,technology aesthetics and society aesthetics,which are parts of the system of design aesthetics.
从美学概念、产品设计理论及设计与美学结合的必然性展开论述,综合分析了产品设计美学系统的形式美学、技术美学、社会美学三种元素,并提出了通过三元素的辩证统一构建产品设计美学并表现其本质的思想。
4) counter-esthetics form
反美学形式
5) formalistic aesthetics
形式派美学
1.
Wellek tried to synthesize the main ideas of sociology from literature and art, formalistic aesthetics, aesthetics of structuralism, semiotic aesthetics, and phenomenological aesthetics.
韦勒克力图将文艺社会学、形式派美学、结构主义美学、符号论美学、现象学美学融合起来 ,把文学外在的社会生活、意识观念方面同作品自身内在方面结合为一个符号和意义多层结构的整体 ,以克服文学内容与形式二元的对立 ,但是他并没有把它们真正有机地融合起来 ,骨子里仍然是形式本体的观念支配
6) formal math
形式数学
1.
"Mathematization" was the ladder to upgrade "life math" into "formal math".
"数学化"是"生活数学"提升为"形式数学"的阶梯。
补充资料：形式数学分析
形式数学分析
formal mathematical analysis
的新的变量x，y，Z，…和新的原子公式(ato献for-功川留):(作X)(“属于集合X”).形式算术的逻辑公理和归纳公理模式可以以这种方法自然加强到包括扩展语言中的公式上.最后，再加上一个新的公理模式—概括公理模式(ax10r。一邪坛川℃of comP茂he邝沁n): 日X功夕(y 6X三A(y))，其中A(y)是所考虑的语言中不含自由变量X的公式，y是一个自然数变量. 这个理论(所谓的Hilbert一取叫”臀诊(Hil比rt，-氏皿ys th刃ry);在这理论中可以论及自然数和自然数集)对数学分析的自然形式化是足够的.感兴趣的问题是用有一定可构造性的方法提供Hi】bert一氏ma梦理论协调性的基础.根据G翻目不完全性定理(C你北1五功帅卜田以，小印n汀n)，在形式数学分析内这是不可能做到的.C.S详双or(f3」)用修改了的直觉主义算术的C树目解释(G议无lm记rpretation)，成功地证明了这理论的协调性、这是直觉主义(血山石。血m)需求的一种有意义的扩展.证明Hnbert一决哪那理论的协调性的基本困难与这理论的概括公理的特征有关，即出现在概括公理模式中的公式A(夕)中允许随意使用集合量词.这样，在说明一个数y是否属于公理中所定义的集合X时，必须用到自然数的所有集合，其中包含被定义的集合X.可以说形式分析的概括公理在某种程度上表明了所有集合实际同时存在的必要性. 这个特点(常出现在某些集合论形式理论中)称为一个理论的非直谓性(non.pre由Cativity).梦In忱找一趾叫ys形式分析是非直谓分析. 为消除非直谓性，人们提出了各种享渭(p耐-cati诺)(或分歧(m功i压过”分析的形式公理理论.比如，最广泛使用的形式化之一，可以追溯到H.节几负，考虑了含有以自然数为上标的形为X用，Y*，…的变量.这些变量取值于自然数集.这个理论中的概括公理模式形式为: 刁X.丫夕(y‘尸‘A(少))，其中A(y)的囿界集变量的指标
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条