2,379
个编辑
更改
跳到导航
跳到搜索
第24行：
第24行： − − 第38行：
第36行： + + + + + + + + + + + + +
无编辑摘要
还有埃庇米尼得斯悖论 Epimenides paradox，又称说谎者悖论。这一悖论有许多不同的表述形式，古希腊克里特岛人说的“所有克里特岛人都是骗子”是有记载的最早版本之一。 当代哲学有时使用同样的技巧来证明一个假定的概念是没有意义的或者定义不明确的。<ref>[https://plato.stanford.edu/entries/liar-paradox/ ''Liar Paradox'']</ref>
还有埃庇米尼得斯悖论 Epimenides paradox，又称说谎者悖论。这一悖论有许多不同的表述形式，古希腊克里特岛人说的“所有克里特岛人都是骗子”是有记载的最早版本之一。 当代哲学有时使用同样的技巧来证明一个假定的概念是没有意义的或者定义不明确的。<ref>[https://plato.stanford.edu/entries/liar-paradox/ ''Liar Paradox'']</ref>
<font color='ff8800'>Tupper自指公式</font>是一种数学上的奇思妙想，<font color="#ff8000"> 它的图像与其公式本身的样子几乎是一样的</font>。
<font color='ff8800'>Tupper自指公式</font>是一种数学上的奇思妙想，<font color="#ff8000"> 它的图像与其公式本身的样子几乎是一样的</font>。
===一种自指的计算机程序——蒯恩 Quine===
在[[计算机科学]]中，蒯恩 Quine是一种自指的计算机程序。当计算机执行这个程序时，程序会输出自身的代码。例如，利用Python语言编写的一个Quine程序如下如下：
:<code>a='a=%r;print(a%%a)';print(a%a)</code>
将以上代码写入文件，然后执行，会发现程序的输出就是程序代码自身：
[[文件:Quine.png|缩略图|左|Quine-python实现]]
== 在生物学中==
== 在生物学中==