Metamath-turing-machines Alternatives

Similar projects and alternatives to metamath-turing-machines

Turing

2 17 0.0 Java metamath-turing-machines VS Turing

Methods for accelerating and proving theorems about 5-state Busy Beaver candidates (by danbriggs)
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better metamath-turing-machines alternative or higher similarity.

Suggest an alternative to metamath-turing-machines

metamath-turing-machines reviews and mentions

Posts with mentions or reviews of metamath-turing-machines. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-03.

The Undecidability of BB(748): Understanding Godel’s Incompleteness Theorems [pdf]
1 project | news.ycombinator.com | 9 Jul 2023

There's a lot of introduction here, but it starts getting to the point in section 3.4 "The previous paper". That paper is "A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory" https://arxiv.org/abs/1605.04343 and an improvement https://github.com/sorear/metamath-turing-machines I recommend starting there just to know where the conversation is going and then coming back to this.
Unprovable True Statements
2 projects | /r/math | 3 May 2022

Easy's a stretch, but here's one (unless ZF is inconsistent).
Why is TREE(3) so big?
1 project | /r/math | 22 Feb 2021

Currently 748 states (each line encodes a state). The machine is compiled from this code which is more human-readable and includes explaination.
A note from our sponsor - SaaSHub
www.saashub.com | 4 May 2024

SaaSHub helps you find the best software and product alternatives Learn more →