The following pages link to On the formalization of theories (Q1945904):
Displaying 10 items.
- A minimal computational theory of a minimal computational universe (Q1709687) (← links)
- Formalizing mirror theory (Q1868517) (← links)
- Thought experiments, formalization, and disagreement (Q2288285) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- (Q3358715) (← links)
- (Q4894444) (← links)
- (Q5203706) (← links)
- Theory Instantiation (Q5387915) (← links)
- (Q5567837) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)