News for hackers. Stuff that matters.

A comment on In the Beginning, There Was Computation. Parent comment

Re:In the Beginning, There Was Computation by scottaino on Tuesday September 03, 2024 @02:04PM (#41437441)
Do you have any references or further readings about finite vs. infinite number of laws? Sounds interesting.
[ Parent | on HN ]
Re:In the Beginning, There Was Computation by LegionMammal978 on Tuesday September 03, 2024 @04:36PM (#41438940)
Nothing in particular, sorry. The closest would be the idea of a recursively axiomatizable theory in mathematics, which is one that can be fully evaluated, enumerated, etc. using a finite algorithm. Usually, such a theory is presented as a finite list of axioms and axiom schemata: a theory that is not recursively axiomatizable could not be presented in such a simple way.
[ Parent | on HN ]