Prev: A set theory with a universal set.
Next: sigma notation with multiple sets
From: Daryl McCullough on 16 Apr 2010 06:40
Newberry says...
>
>On Apr 11, 8:18=A0am, Aatu Koskensilta <aatu.koskensi...(a)uta.fi> wrote:
>> Newberry <newberr...(a)gmail.com> writes:
>> > Such a proof in ZF that PA is consistent is obviously wothless.
>>
>> Why? Are all proofs in ZF worthless?
>
>Proofs of consistency in ZFC certainly are worthless.

That's certainly true, in the sense that nobody would pay
you much for such a proof, because graduate students do
these proofs for free, destroying the market.

Back when such proofs were rare, I'll bet they would fetch
a pretty penny, if you could find the right buyer.

A proof of the Beale Conjecture in ZFC is worth $100,000.
http://www.math.unt.edu/~mauldin/beal.html

--
Daryl McCullough
Ithaca, NY

First  |  Prev  | 
Pages: 138 139 140 141 142 143 144 145 146 147 148
Prev: A set theory with a universal set.
Next: sigma notation with multiple sets