Датотека:Domino effect visualizing exclusion of junk term by induction axiom.jpg
Veličina ovog prikaza: 800 × 600 piksela. 6 drugih rezolucija: 320 × 240 piksela | 640 × 480 piksela | 1.024 × 768 piksela | 1.280 × 960 piksela | 2.560 × 1.920 piksela | 3.200 × 2.400 piksela.
Originalna datoteka (3.200 × 2.400 piksela, veličina datoteke: 648 kB, MIME tip: image/jpeg)
 | Ovo je datoteka sa Vikimedijine ostave. Informacije sa njene stranice sa opisom prikazane su ispod. Vikimedijina ostava je skladište slobodno licenciralnih multimedijalnih datoteka. I Vi možete da pomognete. |
Opis izmene
| Opis |
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.
|
| Datum | |
| Izvor | Sopstveno delo, inspired by File:Dominoeffect.png |
| Autor | 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
|
Licenciranje
Ja, nosilac autorskog prava nad ovim delom, objavljujem isto pod sledećom licencom:
Ova datoteka je dostupna pod licencom Creative Commons Autorstvo-Deliti pod istim uslovima 3.0 Unported.
- Dozvoljeno je:
- da delite – da umnožavate, raspodeljujete i prenosite delo
- da prerađujete – da preradite delo
- Pod sledećim uslovima:
- autorstvo – Morate da date odgovarajuće zasluge, obezbedite vezu ka licenci i naznačite da li su izmene napravljene. Možete to uraditi na bilo koji razuman manir, ali ne na način koji predlaže da licencator odobrava vas ili vaše korišćenje.
- deliti pod istim uslovima – Ako izmenite, preobrazite ili dogradite ovaj materijal, morate podeliti svoje doprinose pod istom ili kompatibilnom licencom kao original.
| Annotations | This image is annotated: View the annotations at Commons |
Istorija datoteke
Kliknite na datum/vreme da biste videli tadašnju verziju datoteke.
| Datum/vreme | Minijatura | Dimenzije | Korisnik | Komentar | |
|---|---|---|---|---|---|
| trenutna | 18:55, 30. oktobar 2013. | | 3.200 × 2.400 (648 kB) | Jochen Burghardt | User created page with UploadWizard |
Upotreba datoteke
Sledeća stranica koristi ovu datoteku:
Globalna upotreba datoteke
Drugi vikiji koji koriste ovu datoteku:
- Upotreba na en.wikipedia.org
- Upotreba na ja.wikiversity.org
- Upotreba na no.wikipedia.org
- Upotreba na zh.wikipedia.org
