Blum axioms

Blum's axioms are a set of axioms proposed by Manuel Blum, a prominent computer scientist, in the context of the theory of computation and computational complexity. Specifically, these axioms are designed to define the concept of a "computational problem" and provide a formal foundation for discussing the time complexity of algorithms. The axioms cover fundamental aspects that any computational problem must satisfy in order to be considered within the framework of complexity theory.