Re: metamath scope
From: alex goldman (hello_at_spamm.er)
Date: 01/06/05
- Next message: Richard Fateman: "Re: metamath scope"
- Previous message: Vladimir Bondarenko: "Re: MuPad: solve problem"
- In reply to: Richard Fateman: "Re: metamath scope"
- Next in thread: Richard Fateman: "Re: metamath scope"
- Reply: Richard Fateman: "Re: metamath scope"
- Messages sorted by: [ date ] [ thread ]
Date: Wed, 05 Jan 2005 20:57:06 -0800
Richard Fateman wrote:
> One can easily come up with theorems, say
> 1+1=2
> 1+2=3
> 1+3=4
> ....
> which are quite dull, in my opinion.
These are /definitions/ , which goes to show your familiarity with the
subject :-(
I think you are missing something: I am a mathematician (applied). You are
more of a programmer AFAIK. Your understanding of what real mathematics is
seems to be poor.
Do you still insist that Goedel's theorem prevents us from formalizing
mathematical results? (You snipped that part)
- Next message: Richard Fateman: "Re: metamath scope"
- Previous message: Vladimir Bondarenko: "Re: MuPad: solve problem"
- In reply to: Richard Fateman: "Re: metamath scope"
- Next in thread: Richard Fateman: "Re: metamath scope"
- Reply: Richard Fateman: "Re: metamath scope"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
