THE PARADOX OF TREES IN TYPE THEORY

被引：2

作者：

COQUAND, T ^{[1
]}

机构：

[1] INST NATL RECH INFORMAT & AUTOMAT,F-78153 LE CHESNAY,FRANCE

来源：

BIT | 1992年 / 32卷 / 01期

关键词：

D.2.1; D.2.4; D.3.1; F.3.1; F.3.3;

D O I：

10.1007/BF01995104

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We show how to represent a paradox similar to Russell's paradox in Type Theory with W-types and a type of all types, and how to use this in order to represent a fixed-point operator in such a theory. It is still open whether such a construction is possible without the W-type.

引用

页码：10 / 14

页数：5

共 50 条

[21] ORTEGAYGASSET AND PARADOX - THEORY AND TYPOLOGY
FERNANDEZ, PH
REVISTA DE OCCIDENTE, 1986, (60) : 29 - &
[22] SOMMERS THEORY AND PARADOX OF CONFIRMATION
ENGLEBRETSEN, G
PHILOSOPHY OF SCIENCE, 1971, 38 (03) : 438 - +
[23] The fundamental paradox of the quantum theory
Peierls, R
NATURE, 1935, 136 : 395 - 395
[24] The twin paradox in the theory of relativity
Gron, O.
EUROPEAN JOURNAL OF PHYSICS, 2006, 27 (04) : 885 - 889
[25] ON A PARADOX IN BEAM VIBRATION THEORY
LEE, EH
QUARTERLY OF APPLIED MATHEMATICS, 1952, 10 (03) : 290 - 292
[26] UNRESOLVED PARADOX IN CIRCUIT THEORY
PENFIELD, P
PROCEEDINGS OF THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1966, 54 (09): : 1200 - &
[27] BROWN PARADOX OF MICROMAGNETIC THEORY
PINTO, MA
JOURNAL OF APPLIED PHYSICS, 1991, 69 (08) : 4856 - 4856
[28] FISHER PARADOX AND THE THEORY OF INTEREST
CARMICHAEL, J
STEBBING, PW
AMERICAN ECONOMIC REVIEW, 1983, 73 (04): : 619 - 630
[29] ALLEGED PARADOX IN THEORY OF DEMOCRACY
GOLDSTICK, D
PHILOSOPHY & PUBLIC AFFAIRS, 1973, 2 (02) : 181 - 189
[30] TRUE SCORE THEORY - PARADOX
RAMSAY, JO
EDUCATIONAL AND PSYCHOLOGICAL MEASUREMENT, 1971, 31 (03) : 715 - &

← 1 2 3 4 5 →