Welcome! Log In Create A New Profile

Advanced

diagonilzation

Posted by ilanpillemer 
Announcements Last Post
Announcement : Programming Students at UNISA School of Computing 06/19/2019 02:01PM
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(\_))
  `-'(. .)`-'
      \_/
http://ilanpillemer.com
Entia non sunt multiplicanda praeter necessitatem
Sorry, only registered users may post in this forum.

Click here to login