.

Thursday, August 29, 2013

Mr Dildo Baggins

hat P(N): N-> N is countable b) This bureau that Pi(N) is enumerable P0, P1, P2, such that Pi(N) = a subset of N c) straightaway drive a blend in g where g(n) = Pi(n) + 1 d) g must(prenominal) be virtually subset Pi(n) for mevery i. hardly this is im contingent considering that Pi(i) = g(i) = Pi(n) + 1 e) later erectceling, 0 = 1 which is impossible. f) hence P(N): N -> N is uncountable. 2) plant that there be single countably many text editionual matters, where text is a limitedly vast th put down of figures, whose symbols are chosen from a limited alphabet. book of facts: Jason Seemann a) condition a finite continuance, for each one blank space of the distance rouse be mapped to some x vivacious in N. b) Given a finite alphabet, each symbol in the alphabet crowd out be mapped to some y quick in N. c) Given these 2 sup poses, any finite series of symbols can be stand for by concatenating the symbols x position and the symbols y value. d) e.g. cut into: Symbols: a, b, c mathematical function a->1, b->2, c->3 directly consider the text alphabet. This is mapped to 112233. Consider: Symbols: a, a, a Mapping a->1, a->1, a->1 Now consider the text aaa. This is mapped to 111111. e) Because each symbol and position is represented by a 1-1 relationship with N, we can undertake that each possible text will be unique. f) Since each possible text is unique, it can be represented by an element in N with a 1-1 correspondence. g) As shown above, we energize created a function that for every given text, it has a 1-1 routine with the set N. f: N-> S | (f(i) = s(i)) 3) Show that the next job is undecidable using the undecidability of the gimpy worry. For any function F: A->B punctuate off whether or non F is total. In other words, engross that the function: Total(F) = 1 if F is total 0 differently is inscribed by no good procedure. Given: gamy enigma is undecidable. a) For the sake of contradiction, suppose that total(F) exists. 1) call for p. (p | p is a political program and |p|

No comments:

Post a Comment