Category

Computational Universe

20 items

Filter by Type

Proof of Wolfram's Axiom for Boolean Algebra

Steps in an automated proof of the correctness of Wolfram’s Axiom

Persistent Structures in the Code 357 Cellular Automaton

A collection of the persistent structures in the k=3, r=1 totalistic code 357 cellular automaton

People Mentioned in Stephen Wolfram’s “A New Kind of Science”

Listing of all people mentioned in historical and other notes in “A New Kind of Science”

Minimal Inequivalent Square Tilings

A dataset of the minimal inequivalent square tilings with the allowed tiles that generate the tiling and an image of the tile generated

Entity Store of Books in Stephen Wolfram's Library

An entity store of books in Stephen Wolfram’s library that were used during in the creation of A New Kind of Science (Wolfram, 2002).

Arecibo Telescope 1974 Transmitted Message

A sequence intended for extraterrestrial intelligences transmitted in 1974 from the Arecibo radio telescope

Books in Stephen Wolfram's Library

Books in Stephen Wolfram’s library that were used during the creation of A New Kind of Science (Wolfram, 2002).

Full Text of A New Kind of Science

The full text of Stephen Wolfram’s A New Kind of Science

Persistent Structures in the Code 20 Cellular Automaton

The known persistent structures in the k=2, r=2 totalistic code 20 cellular automaton

Block Simulation Network of Elementary Cellular Automata

This shows how one elementary cellular automaton rule can emulate other rules if its states consist only of particular blocks. Only the 88 inequivalent elementary rules are included.

The Silver Game of Life Lexicon

Famous Game of Life configurations collected by Stephen A. Silver

Repetition Periods for Elementary Cellular Automata

A collection of rules and their repetition periods as a function of size

NKS Cover Image

The cellular automaton evolution shown on the cover of Stephen Wolfram’s “A New Kind of Science”

Orbits of a Planet in a Binary Star System

A collection of orbits for an idealized planet in a binary star system

Three-Color Cellular Automaton Rules that Double Their Input

A list of rules for k=3 cellular automata that eventually double a block of gray input cells

Theorem Network from Euclid's Elements

A graph of the theorems from Euclid's Elements and their logical dependencies

A Million Bits of the Center Column of the Rule 30 Cellular Automaton

The center column of the rule 30 center automaton over a million steps of evolution

Published Papers Per Year on Cellular Automata

A time series of the number of papers published on cellular automata by year from 1974 through 2015

Entity Store of People Mentioned in Stephen Wolfram's A New Kind of Science

An entity store of all people mentioned in historical and other notes in “A New Kind of Science”

Persistent Structures in the Code 1329 Cellular Automaton

A collection of the persistent structures in the k=3, r=1 totalistic code 1329 cellular automaton