polcott

general recent conversations

polcott

chat user since	2019-07-26
last message	457d ago
last seen	35d ago
about
parent user	polcott 1.1k 1 6 42

6025

58

Owner of these rooms

∃φ of theory T (φ ↔ T ⊬ φ)

$Mathematics$

Philosophical foundations of incompleteness

1822d ago – polcott

30

info

Defining Gödel Incompleteness away

Redefining what (T ⊬ φ) ∧ (T ⊬ ¬φ) means

1867d ago – polcott

14

info

Foundationalism (does logical certain…

The Epistemic Foundation of Analytical Knowledge

1878d ago – polcott

127

info

currently in rooms frequently in rooms