Re: Re: Re: Evolving formulae

[tsee]

Personally, I prefer thinking of programs being created - I seem to work so much more productively that way ;)

Fun aside, I think mathematics is neither completely human-created nor -discovered. It's a mixture of the two. Now, if Hilbert had been right and we could deduct everything from a created set of axioms, I'd say we created the axioms and discovered the rest.

Unfortunately, Hilbert was wrong and on the grand scale of things, to me, mathematics is a steaming pile of dung if you consider that perfectly logical things contradict themselves. Thus, mathematics must have been created by humans.

Steffen

[awwaiid]

... if you consider that perfectly logical things contradict themselves.

I think there might be a flaw in your argument! :)

Actually you have a wonderful point.