Activity
Erik Orrje commented on criticism #3553.
#3553·Dennis HackethalOP revised 10 days agoIsn't every theory infinitely underspecified ?
No. For example, the theory of addition is sufficiently specified: we have enough info to implement an algorithm of addition on a computer, then run it, test it, correct errors with it, and so on.
Do you have examples of such algorithms?