Prev: Place Value and Geometry and a boundary marker at 10^500 #618 Correcting Math
Next: blackbody CMBR and why kelvin scale is special Chapt 3 #212; ATOM TOTALITY
From: Aatu Koskensilta on 1 Jul 2010 00:31
Charlie-Boo <shymathguy(a)gmail.com> writes:

> Do you have a reference of anyone showing the entire proof that PA is
> consistent being carried out in ZFC?

You desire to rest your eyes on a hideous jumble of unintelligible
formalities? What for?

--
Aatu Koskensilta (aatu.koskensilta(a)uta.fi)

"Wovon man nicht sprechan kann, dar�ber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
 | 
Pages: 1
Prev: Place Value and Geometry and a boundary marker at 10^500 #618 Correcting Math
Next: blackbody CMBR and why kelvin scale is special Chapt 3 #212; ATOM TOTALITY