Welcome! Log In Create A New Profile



Posted by ilanpillemer 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
avatar diagonilzation
April 21, 2009 10:04AM
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