Christoph-Simon Senjak
|
Registered User
|
|
|
Mar 15 |
asked | What follows from assuming not Con(ZF)? |
|
Mar 7 |
comment |
What are the most attractive Turing undecidable problems in mathematics? Aren't these just special cases of Rice's Theorem? |
