Martin Lackner

43

Reputation

59 views

Registered User

Name	Martin Lackner
Member for	3 years
Seen	Oct 6 2010 at 22:12
Website
Location
Age

stats recent reputation favorites

1

Questions

1

3

votes

3

answers

316

views

Is there a formula phi s.t. phi and not-phi have a stronger consistency?

lo.logic independence-results

nov 5 09 at 15:39 Martin Lackner 43●5

2

Answers

Is there a non self-referencing non-computable function?

Is there a formula phi s.t. phi and not-phi have a stronger consistency?

9

Votes

9

4

Tags

lo.logic× 2
tag-removed
independence-results
computer-algebra

5

Badges

● Teacher
● Editor

● Scholar
● Supporter