Matches in Wikidata for { <http://www.wikidata.org/entity/Q899616> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- Q899616 description "Paradoxon" @default.
- Q899616 description "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”" @default.
- Q899616 name "Curry paradoxonja" @default.
- Q899616 name "Curry's paradox" @default.
- Q899616 name "Curryn paradoksi" @default.
- Q899616 name "Currys Paradoxon" @default.
- Q899616 name "Kurijev paradoks" @default.
- Q899616 name "Paradoja de Curry" @default.
- Q899616 name "Paradoxa de Curry" @default.
- Q899616 name "paradoks Curry'ego" @default.
- Q899616 name "paradokso de Curry" @default.
- Q899616 name "paradosso di Curry" @default.
- Q899616 name "paradoxe de Curry" @default.
- Q899616 name "paradoxo de Curry" @default.
- Q899616 name "Кјуријев парадокс" @default.
- Q899616 name "парадокс Карри" @default.
- Q899616 name "парадокс Каррі" @default.
- Q899616 name "הפרדוקס של קרי" @default.
- Q899616 name "カリーのパラドックス" @default.
- Q899616 name "柯里悖論" @default.
- Q899616 name "柯里悖论" @default.
- Q899616 name "柯里悖论" @default.
- Q899616 type Item @default.
- Q899616 label "Curry paradoxonja" @default.
- Q899616 label "Curry's paradox" @default.
- Q899616 label "Curryn paradoksi" @default.
- Q899616 label "Currys Paradoxon" @default.
- Q899616 label "Kurijev paradoks" @default.
- Q899616 label "Paradoja de Curry" @default.
- Q899616 label "Paradoxa de Curry" @default.
- Q899616 label "paradoks Curry'ego" @default.
- Q899616 label "paradokso de Curry" @default.
- Q899616 label "paradosso di Curry" @default.
- Q899616 label "paradoxe de Curry" @default.
- Q899616 label "paradoxo de Curry" @default.
- Q899616 label "Кјуријев парадокс" @default.
- Q899616 label "парадокс Карри" @default.
- Q899616 label "парадокс Каррі" @default.
- Q899616 label "הפרדוקס של קרי" @default.
- Q899616 label "カリーのパラドックス" @default.
- Q899616 label "柯里悖論" @default.
- Q899616 label "柯里悖论" @default.
- Q899616 label "柯里悖论" @default.
- Q899616 altLabel "Currys Paradox" @default.
- Q899616 altLabel "Löb's paradox" @default.
- Q899616 altLabel "Paradoja de curry" @default.
- Q899616 altLabel "Paradoxa de Löb" @default.
- Q899616 altLabel "paradokso de Löb" @default.
- Q899616 altLabel "paradoxe de Löb" @default.
- Q899616 prefLabel "Curry paradoxonja" @default.
- Q899616 prefLabel "Curry's paradox" @default.
- Q899616 prefLabel "Curryn paradoksi" @default.
- Q899616 prefLabel "Currys Paradoxon" @default.
- Q899616 prefLabel "Kurijev paradoks" @default.
- Q899616 prefLabel "Paradoja de Curry" @default.
- Q899616 prefLabel "Paradoxa de Curry" @default.
- Q899616 prefLabel "paradoks Curry'ego" @default.
- Q899616 prefLabel "paradokso de Curry" @default.
- Q899616 prefLabel "paradosso di Curry" @default.
- Q899616 prefLabel "paradoxe de Curry" @default.
- Q899616 prefLabel "paradoxo de Curry" @default.
- Q899616 prefLabel "Кјуријев парадокс" @default.
- Q899616 prefLabel "парадокс Карри" @default.
- Q899616 prefLabel "парадокс Каррі" @default.
- Q899616 prefLabel "הפרדוקס של קרי" @default.
- Q899616 prefLabel "カリーのパラドックス" @default.
- Q899616 prefLabel "柯里悖論" @default.
- Q899616 prefLabel "柯里悖论" @default.
- Q899616 prefLabel "柯里悖论" @default.
- Q899616 P138 q899616-DC65FBFE-7418-40A7-99BD-B0BAB5EAB378 @default.
- Q899616 P2534 Q899616-eb6ab0f8-45ef-59ce-ec45-71652e3c0a02 @default.
- Q899616 P31 Q899616-075c5924-446e-49ab-439b-341621da54cb @default.
- Q899616 P31 Q899616-3fca3801-4781-8ca6-0181-bb3525ae7bbe @default.
- Q899616 P3123 Q899616-0BF5CCCD-9804-4C03-A1AB-B99042511A55 @default.
- Q899616 P4215 Q899616-8DD063E2-2E1F-46DF-B076-6D2CAADD7D20 @default.
- Q899616 P6104 Q899616-7AEA632B-D753-4317-B184-8EBD265FF7B4 @default.
- Q899616 P6366 Q899616-8DCA1F4F-2EE6-4DE5-9586-56F11F330CCF @default.
- Q899616 P646 Q899616-EE7073CA-3770-4DDE-8C08-60497C22E81C @default.
- Q899616 P6781 Q899616-e6f570fc-44cd-40a7-c2f4-cc6009bfd6c8 @default.
- Q899616 P6366 2776482350 @default.
- Q899616 P138 Q92611 @default.
- Q899616 P2534 "<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle {\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}}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mrow class="MJX-TeXAtom-ORD"> <mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true"> <mtr> <mtd /> <mtd> <mi>X</mi> <mo>:=</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">→<!-- → --></mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mtd> </mtr> <mtr> <mtd /> <mtd> <mi>X</mi> <mo stretchy="false">→<!-- → --></mo> <mi>X</mi> </mtd> <mtd> <mrow class="MJX-TeXAtom-ORD"> <mtext>identity</mtext> </mrow> </mtd> </mtr> <mtr> <mtd /> <mtd> <mi>X</mi> <mo stretchy="false">→<!-- → --></mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">→<!-- → --></mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mtd> <mtd> <mrow class="MJX-TeXAtom-ORD"> <mtext>substitution</mtext> </mrow> </mtd> </mtr> <mtr> <mtd /> <mtd> <mi>X</mi> <mo stretchy="false">→<!-- → --></mo> <mi>Y</mi> </mtd> <mtd> <mrow class="MJX-TeXAtom-ORD"> <mtext>contraction</mtext> </mrow> </mtd> </mtr> <mtr> <mtd /> <mtd> <mi>X</mi> </mtd> <mtd> <mrow class="MJX-TeXAtom-ORD"> <mtext>substitution</mtext> </mrow> </mtd> </mtr> <mtr> <mtd /> <mtd> <mi>Y</mi> </mtd> <mtd> <mrow class="MJX-TeXAtom-ORD"> <mtext>modus ponens</mtext> </mrow> </mtd> </mtr> </mtable> </mrow> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle {\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}}}</annotation> </semantics> </math>" @default.
- Q899616 P31 Q24034552 @default.
- Q899616 P31 Q483372 @default.
- Q899616 P3123 "curry-paradox" @default.
- Q899616 P4215 "Curry's paradox" @default.
- Q899616 P6104 Q8487137 @default.
- Q899616 P6366 "2776482350" @default.
- Q899616 P646 "/m/01445f" @default.
- Q899616 P6781 "Curry's_Paradox" @default.