On the other hand, pathological formal language can be constructed, that makes proof of “main()==1” arbitrary large (e.g. where 1 is represented by 3^^^3 symbols). Thus it is better to be proven that formal language isn’t pathological, i.e there is no prover proves’ that satisfies condition
On the other hand, pathological formal language can be constructed, that makes proof of “main()==1” arbitrary large (e.g. where 1 is represented by 3^^^3 symbols). Thus it is better to be proven that formal language isn’t pathological, i.e there is no prover proves’ that satisfies condition