Citaat:
Oorspronkelijk geplaatst door Fallen Angel
|
Dat was geen goed argument tegen wat ik beweerde, maar daar kom ik op terug als ik tijd heb.
__________________
“It’s not that we can’t prove the consistency of Arithmetic; it is that Arithmetic can’t prove the consistency of Arithmetic! We certainly can prove the consistency of Arithmetic; but our proof cannot be formalized in Arithmetic itself”
Laatst gewijzigd door Antman : 10 juli 2010 om 20:29.
|