1) Intuitionistic Type Theory
直觉主义类型论
2) Intuition Principle Axiology
直觉主义价值论
3) intuitionism
[英][,intju:'iʃənizəm] [美][,ɪntju'ɪʃənɪzəm]
直觉主义
1.
Study on intuitionism in mathematical philosophy and its inspiration for mathematics education;
直觉主义数学哲学研究及其对数学素质教育的启示
2.
Dummett s Views on Intuitionism Logic;
达米特对直觉主义逻辑的辩护
3.
Kafka s intuitionism creation conciousness and its source;
卡夫卡直觉主义创作意识及渊源
4) intuitionalism
[,intju:'iʃənəlizəm]
直觉主义
1.
The author traces the European modernistic movies to existentialism of Jean Paul Sartre,intuitionalism of Henri Bergsonand,neo-orthodox existential theology,and neo-religious liberalism.
以往在论述欧洲现代派电影时有意或无意地抛弃基督教传统是有悖于西方文化实情的;欧洲现代派电影的创作渊源可直接追溯到萨特的存在主义、柏格森的直觉主义、新正统存在主义神学和新自由派神学;正是创作者对形而上的终极命题——人的本质、人与世界的关系以及人与上帝的关系问题的无限探索与发问,使其自诞生以来备受关注。
5) intuitionistic meta-methodology
直觉主义元方法论
6) intuitionist
[英][,intju:'iʃənist] [美][,ɪntʊ'ɪʃənɪst]
直觉主义者
补充资料：类型论
类型论
types, theory of
中.简单类型论中还可以考虑初始序数田。，…，田。，其中陀是任意预先给定的自然数.简单类型论具有简单的直觉集合论模型.V。可以取任意一个无限集，每个后继层次V。*、都是由其前一层次V。的一些子集组成.关系‘、是自然而然的.在足够强的公理集合论的框架中，用集合论模型的存在性可以得到简单类型论的相容性(consistency)的形式证明.例如，在Zer-11℃10系统中就可以建立这样的相容性证明.从 Zer-n℃10一Fraenkel系统ZF出发，去掉替换公理，保留分离公理就得到Zerrrrlo系统.类型论【ty衅，theoryof;THn0B TeopH，】 一种一阶形式理论(见形式系统(for俄l}system))，它的一个变种是简单类型论(simPle theory of tyPes)，描述如下.“类型论”一词没有严格的固定的含义.它表示的是如下所述的一种形式理论.首先，这个形式系统中含有语言工具，可以表示如下用语词描述的关系:“序列
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条