Re: Turing vs math

1999-10-27 Thread Gilles HENRI
Why assume non-computable stuff without compelling reason? Shaved by Occam's razor. Jacques: On the contrary. Why assume the lack of *any* given type of mathematical stucture? A true everything-hypothesis surely would not. Occam's razor says: don't add extra distinctions such as a

Re: Turing vs math

1999-10-27 Thread Juergen Schmidhuber
Why assume non-computable stuff without compelling reason? Shaved by Occam's razor. Jacques: On the contrary. Why assume the lack of *any* given type of mathematical stucture? A true everything-hypothesis surely would not. Occam's razor says: don't add extra distinctions such as a