Re: A help with a formal proof for an "obvious" fact, please
- From: "Randy Poe" <poespam-trap@xxxxxxxxx>
- Date: 20 Jan 2007 06:19:24 -0800
nicegirl_130@xxxxxxxxx wrote:
I've learned that giving formal proofs to "obvious" facts are usually
kinda difficult.
Believe it or not, it isn't trivial to prove 1+1 = 2 starting from a
minimal set
of axioms.
See here for instance:
http://www.idt.mdh.se/~icc/1+1=2.htm
- Randy
.
- References:
- A help with a formal proof for an "obvious" fact, please
- From: nicegirl_130
- A help with a formal proof for an "obvious" fact, please
- Prev by Date: Re: Jech's Set Theory
- Next by Date: Re: logarithmic scale starting with 0
- Previous by thread: Re: A help with a formal proof for an "obvious" fact, please
- Next by thread: algebra with normal extension.
- Index(es):
