Re: Language vs. Library why it matters
- To: mathgroup at smc.vnet.net
- Subject: [mg61496] Re: Language vs. Library why it matters
- From: Bill Rowe <readnewsciv at earthlink.net>
- Date: Wed, 19 Oct 2005 23:08:26 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
On 10/19/05 at 2:16 AM, hattons at globalsymmetry.com (Steven T. Hatton) wrote: >I'm not sure Gödel's (anti-)proof is the core reason that >Mathematica is difficult to understand, though it certainly plays >into the whole picture. I would agree Godel's theorem's do not explain the steep learning curve for Mathematica. I believe the steep learning curve for Mathematica is due to the richness of the tool set made available. >In particular, Gödel's results tells us any sufficiently powerful >language necessarily leads to the possibility of formulating >selfcontradictory statements. I'm not aware of Mathematica producing >any such selfcontradictions. But Godel's theorems were statements about mathematics. And Mathematica is clearly intended to encompass mathematics, to allow the user to do any valid mathematics. Consequently, Mathematica must either inherit any inconsistencies existing in mathematics or restrict the user from performing certain mathematics. -- To reply via email subtract one hundred and four
- Follow-Ups:
- Re: Re: Language vs. Library why it matters
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: Re: Language vs. Library why it matters