Project #63952 - proves for Godel's theorems

Do any three of the following problems ( prove any three)

1. Prove that the following axiomatic system is recursive:

a. x + (y + z) = (x + y) + z

b. x + 0 = x and 0 + x = x

c. For all x, exists y such that x + y = 0 and y + x = 0

d. For all x and y, x + y = y + x

e. For all x, x neq 0 implies nx neq 0

f. For all x, exists y such that ny = x

(Recall that nx has nothing to do with multiplication, it's a short cut for writing the addition of x with itself n-times.)

(Recall that an axiomatic system is recursive if given any concatenation of symbols, it can be checked in a finite number of steps if that concatenation corresponds to an axiom or not. Think of an algorithm to do so; how can a computer do it?)

2. Prove that the statement "x is the Godel number of a true statement" is not expressible in the language of the system that is consistent.

(Guideline for the proof: if it was expressible, it's negation will be expressible "x is not the Godel number of a true statement", then... use the auto-reference method.)

3. Prove the following statement: If every integer n > 4 is the sum of two odd primes, then every odd integer m > 8 is the sum of three odd primes.

4. Prove that for any natural number n, 8 | 5^n + 2(3^(n-1)) + 1

 

Subject Mathematics
Due By (Pacific Time) 03/30/2015 09:00 am
Report DMCA
TutorRating
pallavi

Chat Now!

out of 1971 reviews
More..
amosmm

Chat Now!

out of 766 reviews
More..
PhyzKyd

Chat Now!

out of 1164 reviews
More..
rajdeep77

Chat Now!

out of 721 reviews
More..
sctys

Chat Now!

out of 1600 reviews
More..
sharadgreen

Chat Now!

out of 770 reviews
More..
topnotcher

Chat Now!

out of 766 reviews
More..
XXXIAO

Chat Now!

out of 680 reviews
More..
All Rights Reserved. Copyright by AceMyHW.com - Copyright Policy