Curry's paradox ^{الإنجليزية} (Q1195022)

من Marefa data

a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F” ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Curry's paradox	a paradox in which an arbitrary claim F is proved from the mere existence of a sentence C that says of itself “If C, then F”	Löb's paradox

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

named after ^{الإنجليزية}

هاسكل كاري

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

مفهوم رياضي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

defining formula ^{الإنجليزية}

{\begin{aligned}&X:=(X\to Y)\\&X\to X&{\text{identity}}\\&X\to (X\to Y)&{\text{substitution}}\\&X\to Y&{\text{contraction}}\\&X&{\text{substitution}}\\&Y&{\text{modus ponens}}\end{aligned}}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(١ وصلة واحدة)

enwiki Curry's paradox

مجلوبة من «https://data.marefa.org/w/index.php?title=Q1195022&oldid=16751247»