----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=53013515-cd2d51
Mathematician-level mathematics must be visually grounded. Without
groundedness, simplified and expanded forms of expressions are the same,
so there is no motive to simplify. If it is not visually grounded, then
it will only reach the level of the top tier computer algebra systems
(full of bugs, unsimplified expressions, etc.).
- RE: [agi] Do the inference rules of categorical logic... Edward W. Porter
- Re: [agi] Do the inference rules of categorical logic... Pei Wang
- [agi] The Grounding of Maths Mike Tintner
- Re: [agi] The Grounding of Maths Benjamin Goertzel
- Re: [agi] The Grounding of Maths Eliezer S. Yudkowsky
- Re: [agi] The Grounding of Maths Lukasz Stafiniak
- Re: [agi] The Grounding of Maths a
- Re: [agi] The Grounding of Maths Benjamin Goertzel
- Re: [agi] The Grounding of Maths a
- Re: [agi] The Grounding of Math... Benjamin Goertzel
- Re: [agi] The Grounding of ... a
- Re: [agi] The Grounding of ... Benjamin Goertzel
- Re: [agi] The Grounding of ... a
- Re: [agi] The Grounding of ... Mark Waser
- Re: [agi] The Grounding of ... a
- Re: [agi] The Grounding of ... Mark Waser
- Re: [agi] The Grounding of ... a
