Browse all books →
Concepts
Compendiums
Learning paths

Books Concepts Compendiums Learning paths

By domain

Arts & Culture Business & Finance Humanities & Society Psychology & Mind Science & Nature Technology

Tag

Computation

Type

Concepts

Algorithm

Computability

Computer Science

Halting Problem

String Rewriting

Turing Machine

Topics

Aria with Diverse Variations & Topics XIII-XIV — BlooP, FlooP, GlooP and Formally Undecidable Propositions

Halt! What Goes There?

Spreadsheets to the rescue

Related tags

Logic Mathematics Formal Systems Computability Computer Science Halting Programming Algorithms Data Analysis Efficiency Formulas Godel

Gists

An atlas of ideas. The source is the input; the gist is the artifact — original explanations that point you back to the original work.

Browse

Books
Concepts
Compendiums
Learning paths
Domains
Categories

Gists — synthesis over summary.

⌘KSearchEscClose

gists.brevy.dev