I was wondering, what is currently regarded as being the best language to develop AI in?
________________________________ From: Stefan Reich via AGI <[email protected]> Sent: Tuesday, 13 August 2019 21:32 To: AGI <[email protected]> Subject: Re: [agi] Narrow AGI None of this are actual downers... they're all just mathematical exercises. ("Almost all strings" is practically just as uninteresting as the mathematical definition of "almost all numbers".) On Sat, 10 Aug 2019 at 23:36, Matt Mahoney <[email protected]<mailto:[email protected]>> wrote: On Sat, Aug 10, 2019 at 9:04 AM korrelan <[email protected]<mailto:[email protected]>> wrote: > >Legg proved there is no such thing as a simple, universal learner. So we can > >stop looking for one. > > With all due respect to everyone involved this kind of comprehensive sweeping > statement is both narrow minded and counter productive. While I am being a downer, here are some other things you can't do. There is no general procedure for testing software. (Rice's theorem, a generalization of the halting theorem). You can't prove all true statements (Godel, Turing). You can't prove most true statements (Legg). You can't compress all strings, or even all strings above a certain length (pigeonhole principle). You can't always know if a string can be compressed (Kolmogorov). There is no universal induction algorithm (Solomonoff). There is no universal reinforcement learning algorithm (Hutter: AIXI). You can't both create an agent smarter than you and predict its behavior (Wolpert: mutual prediction is not possible). There is no such thing as recursively self improving software (because intelligence depends on knowledge and computing power and it gains neither). Sorry, it's math. You can have AGI. You just can't have any shortcuts. -- -- Matt Mahoney, [email protected]<mailto:[email protected]> -- Stefan Reich BotCompany.de // Java-based operating systems Artificial General Intelligence List<https://agi.topicbox.com/latest> / AGI / see discussions<https://agi.topicbox.com/groups/agi> + participants<https://agi.topicbox.com/groups/agi/members> + delivery options<https://agi.topicbox.com/groups/agi/subscription> Permalink<https://agi.topicbox.com/groups/agi/T1ff21f8b11c8c9ae-Me3b19c86f6fbb2efd8400af4> ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T1ff21f8b11c8c9ae-Mbb5cdbfd0c3e9f31bcfc3da9 Delivery options: https://agi.topicbox.com/groups/agi/subscription
