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):
Displayed 9 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)
- 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)
- Elementary patterns of resemblance (Q5935985) (← links)