לדלג לתוכן

קובץ:Domino effect visualizing exclusion of junk term by induction axiom.jpg

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיפדיה, האנציקלופדיה החופשית

לקובץ המקורי ‏(3,200 × 2,400 פיקסלים, גודל הקובץ: 648 ק"ב, סוג 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

רישיון

אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:
w:he:Creative Commons
ייחוס שיתוף זהה
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.
הנכם רשאים:
  • לשתף – להעתיק, להפיץ ולהעביר את העבודה
  • לערבב בין עבודות – להתאים את העבודה
תחת התנאים הבאים:
  • ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
  • שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.
Annotations
InfoField
This image is annotated: View the annotations at Commons

כיתובים

נא להוסיף משפט שמסביר מה הקובץ מייצג

פריטים שמוצגים בקובץ הזה

מוצג

תאריך הקמה או יצירה

30 באוקטובר 2013

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

תאריך/שעהתמונה ממוזערתממדיםמשתמשהערה
נוכחית19:55, 30 באוקטובר 2013תמונה ממוזערת לגרסה מ־19:55, 30 באוקטובר 2013‪2,400 × 3,200‬ (648 ק"ב)Jochen BurghardtUser created page with UploadWizard

אין בוויקיפדיה דפים המשתמשים בקובץ זה.

שימוש גלובלי בקובץ

אתרי הוויקי השונים הבאים משתמשים בקובץ זה:

אוחזר מתוך "https://he.wikipedia.org/wiki/קובץ:Domino_effect_visualizing_exclusion_of_junk_term_by_induction_axiom.jpg"