Skip to content
Kudos AI
enfrar

Programming

The computational craft everything else depends on: data structures, numerical code that does not quietly lie, and work reproducible enough to hand to someone else.

1 item

Research (1)

On Computable Numbers, with an Application to the Entscheidungsproblem

Introduces an abstract machine that reads and writes symbols on a tape according to a finite table of rules, and uses it to show that no general procedure can decide whether an arbitrary program halts.

Related topics

MathematicsStatisticsProbabilityOptimizationInformation TheoryArtificial IntelligenceMachine LearningDeep LearningReinforcement LearningNatural Language ProcessingComputer VisionGenerative AISearch & PlanningKnowledge RepresentationGame Theory