跳至內容

File:Domino effect visualizing exclusion of junk term by induction axiom.jpg

頁面內容不支援其他語言。
這個檔案來自維基共享資源
維基百科，自由的百科全書

原始檔案 （3,200 × 2,400 像素，檔案大小：648 KB，MIME 類型：image/jpeg）

摘要

描述
English: Shows an infinite chain of (light wood) domino pieces and a circle of (dark wood) pieces. If the first light piece is overthrown, each light piece will eventually fall, while no dark piece will be affected. The shown configuration illustrates a model of Peano's axioms for natural numbers, except for the induction axiom. The latter requires all pieces to fall if the first one is overthrown.

A corresponding formal model uses the set ℕ ∪ { di : 0 ≤ i < 90 }, where each di is a fresh constant. One defines 0 and the successor function s on ℕ as usual, and s(di) = di+1 for 0 ≤ i < 89, and s(d89) = d0.

  • José Meseguer and Joseph A. Goguen (Dec 1986) "14" in Maurice Nivat and John C. Reynolds , ed. 《 Algebraic Methods in Semantics》、​劍橋： Cambridge University Press、​pp. 459–541 ISBN： 9780521267939.
  • Henk Doornbos and Roland Backhouse (May 1996). "Reductivity". Science of Computer Programming 26: 217–236.
日期
來源 自己的作品, inspired by File:Dominoeffect.png
作者 Jochen Burghardt
Povray source code
// for rendering, use commands:
// povray -Q9 +A +UL +UV +W3200 +H2400 -Idomino.pov
// pngtopnm domino.png | pnmtojpeg >domino.jpg

#include "colors.inc"
#include "stones.inc"
#include "woods.inc"

#declare camX = <-30,0,0>;      // observer's left-right offset
camera { location camX+<0,-50,-18> look_at camX+<0,0,-10> }
light_source { camX+<150,-100,-350> color White }
light_source { camX+<1500,-1500,-50000> color rgb<0.2,0.2,0.2> }

// sky
background { color rgb <.7, .7, 1> }

// ground
plane { <0,0,1>, 10.0 texture { T_Stone19 scale 20 } } 

// a single domino stone
#declare piece = box { <0,0,2>, <4,0.5,10> }

// "infinite" chain, reachable by induction
#declare radB = <3600,0,0>;     // radius of big circle segment
#declare i=0;
#while(i<1100)
        object { piece
                translate radB 
                rotate <0,0,i*0.07> 
                translate -radB 
                texture { T_Wood10 scale 5 } 
        }
        #declare i=i+1;
#end

// junk terms, not reachable by induction
#declare radW = <40,0,0>;       // radius of small circle
#declare i=0;
#while(i<90)
        object { piece 
                translate radW 
                rotate <0,0,i*4> 
                translate -radW
                translate <-15,70,0>
                texture { T_Wood2 scale 5 } 
        }
        #declare i=i+1;
#end

授權條款

我，本作品的著作權持有者，決定用以下授權條款發佈本作品：
w:zh:創用CC
姓名標示 相同方式分享
此檔案採用創用CC 姓名標示-相同方式分享 3.0 未在地化版本授權條款。
您可以自由：
  • 分享 – 複製、發佈和傳播本作品
  • 重新修改 – 創作演繹作品
惟需遵照下列條件：
  • 姓名標示 – 您必須指名出正確的製作者，和提供授權條款的連結，以及表示是否有對內容上做出變更。您可以用任何合理的方式來行動，但不得以任何方式表明授權條款是對您許可或是由您所使用。
  • 相同方式分享 – 如果您利用本素材進行再混合、轉換或創作，您必須基於如同原先的相同或兼容的條款，來分布您的貢獻成品。
註解
InfoField
該圖片含有註解：在維基媒體共享資源上查看註解

說明

添加單行說明來描述出檔案所代表的內容

在此檔案描寫的項目

描繪內容

檔案歷史

點選日期/時間以檢視該時間的檔案版本。

日期/時間縮⁠圖尺寸使用者備⁠註
目前2013年10月30日 (三) 16:55於 2013年10月30日 (三) 16:55 版本的縮圖3,200 × 2,400（648 KB）Jochen BurghardtUser created page with UploadWizard

下列頁面有用到此檔案：

全域檔案使用狀況

以下其他 wiki 使用了這個檔案：

取自「https://zh.wikipedia.org/wiki/File:Domino_effect_visualizing_exclusion_of_junk_term_by_induction_axiom.jpg」