6 ms·
Unfortunately, restricting to only computable maths means disallowing the natural numbers, basic arithmetic, or any equivalent structure, since Gödel incomplete
by rfugger 7y ago
Unfortunately, restricting to only computable maths means disallowing the natural numbers, basic arithmetic, or any equivalent structure, since Gödel incompleteness would apply. I doubt any system without access to the full set of natural numbers or basic arithmetic could qualify as "general AI".
- asdfasgasdgasdg 7y agoPardon my ignorance. Computers appear to be able to perform basic arithmetic. For example, you can open up the console in your browser and find that the sum of two and two is indeed four. So it is not entirely obvious to me how basic arithmetic is non-computable.
- krastanov 7y agoIf you permit infinitely many integers it becomes problematic. If you are dealing with a finite entity (e.g. the finite part of the universe that can affect us), then there are no problems.
- Udik 7y agoCan you sum correctly two arbitrarily large integers?
- asdfasgasdgasdg 7y agoI don't think it matters, right? Since arbitrarily large integers are not things that occur in the physical world.
- YeGoblynQueenne 7y agoHow do you know all those things about the physical world? For example- you say that "all of the physical laws of the universe are defined by computable maths". Do you really know what all the physical laws of the univese are?
- asdfasgasdgasdg 7y agoWe don't know. We just think it likely. We are unaware of counterexamples, or reasons to suspect the existence of counterexamples.
- YeGoblynQueenne 7y agoAgain I have to ask- who is this "we"? Apologies if my question sounds too contrarian, but I think you are making some very big assumptions about the computability of the laws of physics that are not really based on anything concrete, like a strong knowledge of the mathematics of modern physics.
- asdfasgasdgasdg 7y agoWe is humanity, as far as I know and as far as brief Googling is able to determine. I am not a physicist, so I have good knowledge of physics up to the high school level, and a dabbler's knowledge of what lies beyond. I am open to correction, so feel free to offer some contradictory evidence if you have any.
- YeGoblynQueenne 7y agoWhat exactly did you google for? Are we really communicating here? I'm saying that there is a lot that physicists don't know about physics and that therefore it's impossible to make the assumption that you make, that every law of physics is computable. Because nobody knows all of them, and nobody knows what nobody knows, or how much of it there is. And you're saying that, given high-school physics and "dabbling", we know all of it and it's all computable. Is that a good summary of our discussion so far?
- asdfasgasdgasdg 7y ago> Is that a good summary of our discussion so far? Hrm, I wouldn't say so, and I don't think if that is your impression that it's going to be very productive to continue it. FWIW: "Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith."
- rfugger 7y agoGödel incompleteness applies to any system capable of basic arithmetic.
- asdfasgasdgasdg 7y agoI'm unsure how this matters? The physical universe does not prove itself and does not need to. Godel's theorems just say that certain types of mathematical systems can't prove themselves, which seems quite irrelevant to simulating the universe. Please explain if I'm missing something.