File:Domino effect visualizing exclusion of junk term by induction axiom.jpg
預覽大小：800 × 600 像素。 其他解析度：320 × 240 像素 | 640 × 480 像素 | 1,024 × 768 像素 | 1,280 × 960 像素 | 2,560 × 1,920 像素 | 3,200 × 2,400 像素。
原始檔案 （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.
|
| 日期 | |
| 來源 | 自己的作品, 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
|
授權條款
我，本作品的著作權持有者，決定用以下授權條款發佈本作品：
此檔案採用共享創意 姓名標示-相同方式分享 3.0 未在地化版本授權條款。
- 您可以自由：
- 分享 – 複製、發佈和傳播本作品
- 重新修改 – 創作演繹作品
- 惟需遵照下列條件：
- 姓名標示 – 您必須指名出正確的製作者，和提供授權條款的連結，以及表示是否有對內容上做出變更。您可以用任何合理的方式來行動，但不得以任何方式表明授權條款是對您許可或是由您所使用。
- 相同方式分享 – 如果您利用本素材進行再混合、轉換或創作，您必須基於如同原先的相同或兼容的條款，來分布您的貢獻成品。
| 註解 | 該圖片含有註解：在維基媒體共享資源上查看註解 |
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
| 日期/時間 | 縮圖 | 尺寸 | 用戶 | 備註 | |
|---|---|---|---|---|---|
| 目前 | 2013年10月30日 (三) 16:55 | | 3,200 × 2,400（648 KB） | Jochen Burghardt | User created page with UploadWizard |
檔案用途
下列頁面有用到此檔案：
全域檔案使用狀況
以下其他 wiki 使用了這個檔案：
- en.wikipedia.org 的使用狀況
- ja.wikiversity.org 的使用狀況
- no.wikipedia.org 的使用狀況
- sr.wikipedia.org 的使用狀況
