Defining Gödel Incompleteness away
Redefining what (T ⊬ φ) ∧ (T ⊬ ¬φ) means
| first message | 2020-06-13 |
| last message | 1854 days ago |
view transcript
2
view transcript
Redefining what (T ⊬ φ) ∧ (T ⊬ ¬φ) means
| first message | 2020-06-13 |
| last message | 1854 days ago |
