On 8/10/19 4:50 PM, Stefan Reich via AGI wrote:
> Language and mathematics are constructs created by an intelligent system; they are not an insight into how the intelligent system functions.
The interesting and AGi-related question is /how/ mathematicians think (and the mentalese <https://en.wikipedia.org/wiki/Language_of_thought_hypothesis> used by them). The demonstrations or papers produced by mathematicians is just the result of their thinking, and is less interesting for AGI. What matters more to us, AGI experimenters, is how mathematicians (and chess champions, and scientists in general) think, more than the result of their thinking.
A related (but not AGI) psychocognitive question is : do men & women think of mathematics differently.
There are scientific reasons to believe that there is a /tiny/ difference. But much smaller than the difference in the way of thinking of a topologist and an algebrist. And the tiny difference in the way men & women are thinking of mathematics (or of computer science, or of algorithms, or even of software engineering) is of course not a reason to believe that males (men) are superior or inferior (in intelligence) to females (women); but I tend to believe that their thinking is /slightly/ different.
Better formulated insights around these topics are on Pitrat's blog <http://bootstrappingartificialintelligence.fr/WordPress3/> and also his /Artificial Beings/ <https://onlinelibrary.wiley.com/doi/book/10.1002/9780470611791> book.
And an AGI system should obviously program itself and have quite powerful software engineering (even AI programming, in the modern sense) skills. The real question is what mentalese should an AGI system uses to program and improve itself.
Cheers -- Basile Starynkevitch (92340 Bourg La Reine, France) http://starynkevitch.net/Basile/ <[email protected]> Opinions are only mine - mes opinions ne sont que miennes (tel. mobile: cf my web page / voir ma page web) ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T1ff21f8b11c8c9ae-M8f735c1e1b8614c4ace91991 Delivery options: https://agi.topicbox.com/groups/agi/subscription
