Pages that link to "Item:Q1591373"
From MaRDI portal
The following pages link to Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373):
Displaying 16 items.
- A machine that knows its own code (Q456969) (← links)
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804) (← links)
- Patterns of resemblance of order 2 (Q1011757) (← links)
- Pure patterns of order 2 (Q1676328) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Short-circuiting the definition of mathematical knowledge for an artificial general intelligence (Q2234052) (← links)
- Arithmetical algorithms for elementary patterns (Q2257107) (← links)
- Fast-collapsing theories (Q2350213) (← links)
- An axiomatic version of Fitch's paradox (Q2441759) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- (Q5224793) (← links)
- SELF-REFERENTIAL THEORIES (Q5858928) (← links)
- Elementary patterns of resemblance (Q5935985) (← links)
- Strengthening Consistency Results in Modal Logic (Q6199593) (← links)