Create A New Profile
Demarcation or scoping of examinations and assessment
School of Computing Short Learning Programmes
Unisa contact information
April 21, 2009 10:04AM
Registered: 14 years ago
I really was confused about how this works... until I read Kleene's explanation in his Introduction to Meta-Mathematics last night.
Wow... Cantor's diagonal proof on the non denumerability of real numbers is actually extremely beautiful.. when appreciated visibly.
And calling these types of proofs "diagonal" proofs makes perfect sense; as the counter example will always be created using the diagonal.
... and it now makes perfect sense when applied to functions as well.
It makes my head feel all elasticised.
,= ,-_-. =. ((_/)o o(\_)) `-'(. .)`-' \_/
Entia non sunt multiplicanda praeter necessitatem
Sorry, only registered users may post in this forum.
Click here to login
is powered by