Re: Pseudo Negation - A Formal Definition of "As Strong as Arithmetic"
- From: "Nam D. Nguyen" <namducnguyen@xxxxxxx>
- Date: Sat, 03 May 2008 15:55:32 GMT
Nam D. Nguyen wrote:
gc(n) df= even(n) /\ (n >= 4) /\ Ep1,p2[n = p1+p2]
A typo: Of course p1, p2 are assumed to be primes.
.
- References:
- Pseudo Negation - A Formal Definition of "As Strong as Arithmetic"
- From: Nam D. Nguyen
- Pseudo Negation - A Formal Definition of "As Strong as Arithmetic"
- Prev by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Next by Date: Re: Existence of proof verifiers: A comedy
- Previous by thread: Re: Pseudo Negation - A Formal Definition of "As Strong as Arithmetic"
- Next by thread: Jewellery
- Index(es):
