Introducing The Ruliad—by definition the biggest object in metascience... the infinite limit of all abstraction, encompassing all possible views of our universe, our mathematics and all formal systems...| writings.stephenwolfram.com
Turing Machines In the history of computing, the first widely understood theoretical computer programs ever constructed were... – from A New Kind of Science| www.wolframscience.com