自指 - 版本历史

是趣木木呀：/* 自指在逻辑、数学和计算中的体现 */

2022-01-04T08:14:44Z

自指在逻辑、数学和计算中的体现

2021年10月27日 (三) 02:17 Swarma

2021-10-27T02:17:09Z

2021年4月2日 (五) 10:20 思无涯咿呀咿呀

2021-04-02T10:20:26Z

思无涯咿呀咿呀：/* 自指在逻辑、数学和计算中的体现 */

2021-04-02T10:20:12Z

自指在逻辑、数学和计算中的体现

2021年4月2日 (五) 10:19 思无涯咿呀咿呀

2021-04-02T10:19:08Z

思无涯咿呀咿呀：/* 一种自指的计算机程序——蒯恩 Quine */

2021-04-02T08:32:26Z

一种自指的计算机程序——蒯恩 Quine

思无涯咿呀咿呀：/* 在生物学中 */

2021-04-02T08:32:08Z

在生物学中

思无涯咿呀咿呀：/* 编者推荐 */

2021-04-02T08:31:29Z

编者推荐

思无涯咿呀咿呀：/* 在艺术中 */

2021-04-02T08:22:00Z

在艺术中

思无涯咿呀咿呀：/* 在艺术中 */

2021-04-02T08:21:30Z

在艺术中

@@ 第28行： / 第28行： @@
 [[File:Tupper's self -referetial formula.jpg|400px|right|thumb| Tupper自指公式的Wolfram实现，图像与公式本身一致 ]]
-<font color='ff8800'>Tupper自指公式</font>是一种数学上的奇思妙想，<font color="#ff8000"> 它的图像与其公式本身的样子几乎是一样的</font>。
+Tupper自指公式</font>是一种数学上的奇思妙想，它的图像与其公式本身的样子几乎是一样的。
@@ 第44行： / 第44行： @@
 <br>
 == 在生物学中==

@@ 第1行： / 第1行： @@
 {{#seo:
 |keywords=响尾蛇,自指,Self-reference
 |description=响尾蛇,自指,Self-reference
 }}
 [[Image:ouroboros.png|thumb|古代的符号衔尾蛇，一条吞噬自己尾巴的蛇，表示自指.<ref>{{cite web |last1=Soto-Andrade |first1=Jorge |last2=Jaramillo |first2=Sebastian |last3=Gutierrez |first3=Claudio |last4=Letelier |first4=Juan-Carlos |title=Ouroboros avatars: A mathematical exploration of Self-reference and Metabolic Closure |url=https://mitpress.mit.edu/sites/default/files/titles/alife/0262297140chap115.pdf |publisher=MIT Press |accessdate=16 May 2015}}</ref>]]
 在自然语言或<font color='ff8800'>形式语言formal language</font>中，当一个句子、想法或公式指向自己时，就会出现<font color='ff8800'>自指现象 Self-reference</font>。（自指的英文Self-reference中，reference有“参照”的意思。）参照可以直接通过一些中间句或公式来表达，也可以通过一些编码来表达。在哲学中，它也指一个主体谈论或指称自己的能力，也就是说，具有第一人称主格单数代词“我”在英语中所表达的那种思想。
 <font color='ff8800'>自指Self-reference</font>经常在数学，哲学，计算机编程和语言学中被研究和应用。自指陈述有时是自相矛盾的，也可以被认为是递归的。

←上一版本		2021年4月2日 (五) 10:20的版本
第51行：		第51行：

	<br>		<br>
		+
		+

	== 在生物学中==		== 在生物学中==

@@ 第38行： / 第38行： @@
-===一种自指的计算机程序——蒯恩 Quine===
+===一种自复制的计算机程序——蒯恩 Quine===
-在[[计算机科学]]中，蒯恩 Quine是一种自指的计算机程序。当计算机执行这个程序时，程序会输出自身的代码。例如，利用Python语言编写的一个Quine程序如下如下：
+在[[计算机科学]]中，蒯恩 Quine是一种自复制的计算机程序，也代表了自指的含义。当计算机执行这个程序时，程序会输出自身的代码。例如，利用Python语言编写的一个Quine程序如下如下：
 :<code>a='a=%r;print(a%%a)';print(a%a)</code>

←上一版本		2021年4月2日 (五) 10:19的版本
第115行：		第115行：

	“[[递归]]科幻”或[[元小说]]的子类型现在非常流行，以至于在[[新英格兰科幻小说协会]] New England Science Fiction Association的网站上孕育了一个粉丝维护的书目；其中一些有关于科幻电影，一些有关于科幻小说及其作者的文章。<ref>[http://www.nesfa.org/Recursion/index.htm "Recursive Science Fiction"] New England Science Fiction Association website, last updated 3 August 2008</ref>		“[[递归]]科幻”或[[元小说]]的子类型现在非常流行，以至于在[[新英格兰科幻小说协会]] New England Science Fiction Association的网站上孕育了一个粉丝维护的书目；其中一些有关于科幻电影，一些有关于科幻小说及其作者的文章。<ref>[http://www.nesfa.org/Recursion/index.htm "Recursive Science Fiction"] New England Science Fiction Association website, last updated 3 August 2008</ref>
		+
		+
		+	==[[摄像-屏幕自指模拟]]==
		+
		+	摄像机对着电视机照，再把摄得的图像反传给电视会得到什么？答案似乎应该是什么都没有。集智俱乐部的张江等人通过组织相关的实验，证实这样的一个自指系统能给我们带来非常丰富的复杂图案，一些奇妙的结构会从电视屏幕中源源不断的飞出来。当他们略微调节电视机的亮度、颜色以及摄像机的焦距等等参数以后，却得到了比书中描述的现象更加丰富的图案。而且运用不同的摄像机转动不同的角度会得到完全不一样的结果。
		+
		+	并且，他们经过长期的探索，开发了相应的计算机模拟程序。找到了一种能够近似模拟电视机中动态图像的计算机仿真办法。这就是下面的Java仿真程序。
		+
		+	源代码：[http://wiki.swarma.net/index.php/File:Selfref.zip Selfref.zip]
		+
		+	关于更多的详细流程操作和过程记录可以查看这个词条：[[摄像-屏幕自指模拟]]
		+
		+
		+	下面是一些仿真软件做出来的结果（静态图片）：
		+
		+	[[File:Selfref4.gif\|center]]
		+
		+	[[File:Selfref5.gif\|center]]
		+
		+

	== 参见 ==		== 参见 ==

@@ 第46行： / 第46行： @@
 将以上代码写入文件，然后执行，会发现程序的输出就是程序代码自身：
-[[文件:Quine.png|左|Quine-python实现]]
+[[文件:Quine.png|左|Quine-python实现|400px]]
 <br>

←上一版本		2021年4月2日 (五) 08:32的版本
第47行：		第47行：

	[[文件:Quine.png\|左\|Quine-python实现]]		[[文件:Quine.png\|左\|Quine-python实现]]
		+
		+	<br>

	<br>		<br>

←上一版本		2021年4月2日 (五) 08:31的版本
第167行：		第167行：

	===书籍推荐===		===书籍推荐===
		+
		+
		+
		+	==== [[系统中的观察者(5)——自指]] ====
		+
		+	在北京师范大学系统科学学院的教授[[张江]]在他的《[[系统中的观察者]]》系列中有一章专门介绍了[[自指]]这个概念，并且从原理、语言、程序等不同方面介绍了自指的原理和应用，并且提出了观察者理论，推荐大家深度的了解和学习。
		+
		+
		+

	==== [[自复制自动机理论 Theory of Self-reproducing Automata]]====		==== [[自复制自动机理论 Theory of Self-reproducing Automata]]====

@@ 第79行： / 第79行： @@
 超现实主义画家勒内·马格利特René Magritte以自指类的作品著称。他的画作《形象的背叛》The Treachery of Images，图片是一个烟斗，但是却包含了“这不是烟斗”的字样，其真实性完全取决于单词 ceci (英语中的“ this”)是指画作所描绘的烟斗，还是指画作本身，抑或“ceci”这个单词，或者是指这个句子本身。
-[[File:cici.jpeg|400px]]
+[[File:cici.jpeg|400px|居中]]
@@ 第86行： / 第86行： @@
-[[File:埃舍尔画廊.jpg|400px]]
+[[File:埃舍尔画廊.jpg|400px|居中]]
 == 在语言学中==