Cellular Automata
Cellular automata (CA) is a grid-based computational simulation model, first formalized by John von Neumann and Stanislaw Ulam in the 1940s–1950s and brought to wide attention by John Conway's Game of Life (1970) and Stephen Wolfram's systematic classification (2002), in which a lattice of cells — each holding a finite discrete state — evolves in discrete time steps according to local neighborhood interaction rules, causing complex global patterns to emerge from simple local specifications.
Изворни запис
Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.
- Wolfram, S. (2002). A New Kind of Science. Wolfram Media. · ISBN 978-1579550080
- White, R. & Engelen, G. (2000). High-Resolution Integrated Modelling of the Spatial Dynamics of Urban and Regional Systems. Computers, Environment and Urban Systems, 24(5), 383–400. · DOI 10.1016/S0198-9715(00)00012-0
Куроване тврдње
Тврдње су сачуване у регистру доказа, свака са својом проценом.
Овај приказ не измишља процену тврдње када регистар нема ниједну.
Сродне методе
Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.