Cantor’s Diagonal Argument: Proof and Paradox

ثبت نشده
چکیده

€ ∉ impredicable. Now, letting ‘V’ denote the collection of all properties, impredicable can be defined as follows:

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Diagonal arguments and fixed points

‎A universal schema for diagonalization was popularized by N.S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fi...

متن کامل

Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization

The fundamental proposal in this article is that logical formulas of the form (f ↔ ¬f) are not contradictions, and that formulas of the form (t ↔ t) are not tautologies. Such formulas, wherever they appear in mathematics, are instead reason to conclude that f and t have a third truth value, different from true and false. These formulas are circular definitions of f and t. We can interpret the i...

متن کامل

Cantor’s Diagonal Argument: an Extension to the Socialist Calculation Debate

would like to thank Mark Watson for correcting a mistake in his summary of Cantor’s argument. 1A note on citations: Mises’s article appeared in German in 1920. An English translation, “Economic Calculation in the Socialist Commonwealth,” appeared in Hayek’s (1990) collection Collectivist Economic Planning in 1935. 2The current paper assumes a basic familiarity with the socialist calculation deb...

متن کامل

On the Scope of Diagonal Argument and on Contradictory Equivalence. Cantor's Paradox

Restriction on the scope of diagonal argument will be set using two absolutely different proof techniques. One of the proof techniques will analyze contradictory equivalence (R ∈ R ↔ R ∉ R) in a rather unconventional way.

متن کامل

Diagonalizing by Fixed-Points

A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008