Its more about getting at it via negative definition by pointing to things that are not the thing in question.
For a positive definition we could go something like “everything that can be made into a step-by-step list”. Some of the negative “not steps:”
Neural networks when they get trained contain their training in weights. These are not the datatype “procedure”. Yeah you use the in summation procedures. But it is hard to tell a story of it being a thought process or anything like that
In movie Tenet the protagonist is adviced to “don’t try to understand it, feel it”. One way this could be taken to the limit is “even if you had the most sophisticated and adaptive understanding possible you would fail at the task”. Then the alternative object “intuition” might have different limits and possibilities than technological acruence.
Bugs are etymologically connected to the biological creastures because they made electrical connections that neither the bug or the circuit designers intended. Yet these machines had actually existed and operated. They could be desribed to be working “outside of procedure” even if doesn’t need laws of physics to break down its in a certain sense specificationless. So a worry would be that some sort of computer could be impossible to design but could come about accidentally. Or that “designing” processes are bootstrapped with accidental proccess, you can think of a cell as a machine but the fist cell might involve dice rolls to get assembled which could not be thought as machines.
I think in turings paper when they specify that in principle a “dump clerk” could carry out a computation kind of take the stance that “dumbness” is a atypical state for a human to be in. But if all of computation is already within “dumbness” what is there beyond that? This might be something like “insight”, a worker works according to external orders and designs but autonomous agent defines his own creations/solutions. If we have 100 house builders and 0 architects but the house gets built anyway this might seem suspicious (an ordinary engineer wil have no trouble doodling a blueprint in the absence of one, but truly mechanistic automatons might be forbidden to do so). Thus one could wonder whether “insightful clerk” would have different properties to “dumb clerk”.
Selection of sex over asexual reproduction relies on faster trait spreading and accumulation. But novel dna combinations are gotten throught mutations which are caused thing like cosmic rays and other disturbances. Such heavy reliance to “true RNG” is somewhat outside of algorithmic bounds. If a brain tumour causes brain circuits to fire differently then that is hard to account for as the brain following its own specifications as producing the behaviour. Biology is messy and algorithms are “clean”. So it might be that is one set out a “proof” that some animal is fit by modelling the evolution process by algorith this would be systematically frustrating as there is no canon or “correct” way to enumerate dna options. Thus “proof of elephants” might not a be thing of mathematical nature (just the ordinary natural selection of biological nature)
Its more about getting at it via negative definition by pointing to things that are not the thing in question.
For a positive definition we could go something like “everything that can be made into a step-by-step list”. Some of the negative “not steps:”
Neural networks when they get trained contain their training in weights. These are not the datatype “procedure”. Yeah you use the in summation procedures. But it is hard to tell a story of it being a thought process or anything like that
In movie Tenet the protagonist is adviced to “don’t try to understand it, feel it”. One way this could be taken to the limit is “even if you had the most sophisticated and adaptive understanding possible you would fail at the task”. Then the alternative object “intuition” might have different limits and possibilities than technological acruence.
Bugs are etymologically connected to the biological creastures because they made electrical connections that neither the bug or the circuit designers intended. Yet these machines had actually existed and operated. They could be desribed to be working “outside of procedure” even if doesn’t need laws of physics to break down its in a certain sense specificationless. So a worry would be that some sort of computer could be impossible to design but could come about accidentally. Or that “designing” processes are bootstrapped with accidental proccess, you can think of a cell as a machine but the fist cell might involve dice rolls to get assembled which could not be thought as machines.
I think in turings paper when they specify that in principle a “dump clerk” could carry out a computation kind of take the stance that “dumbness” is a atypical state for a human to be in. But if all of computation is already within “dumbness” what is there beyond that? This might be something like “insight”, a worker works according to external orders and designs but autonomous agent defines his own creations/solutions. If we have 100 house builders and 0 architects but the house gets built anyway this might seem suspicious (an ordinary engineer wil have no trouble doodling a blueprint in the absence of one, but truly mechanistic automatons might be forbidden to do so). Thus one could wonder whether “insightful clerk” would have different properties to “dumb clerk”.
Selection of sex over asexual reproduction relies on faster trait spreading and accumulation. But novel dna combinations are gotten throught mutations which are caused thing like cosmic rays and other disturbances. Such heavy reliance to “true RNG” is somewhat outside of algorithmic bounds. If a brain tumour causes brain circuits to fire differently then that is hard to account for as the brain following its own specifications as producing the behaviour. Biology is messy and algorithms are “clean”. So it might be that is one set out a “proof” that some animal is fit by modelling the evolution process by algorith this would be systematically frustrating as there is no canon or “correct” way to enumerate dna options. Thus “proof of elephants” might not a be thing of mathematical nature (just the ordinary natural selection of biological nature)