The following pages link to (Q3753978):
Displayed 9 items.
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- An intuitionistic characterization of classical logic (Q939055) (← links)
- Intuition and visualization in mathematical problem solving (Q989743) (← links)
- Self-reference and incompleteness in a non-monotonic setting (Q1332147) (← links)
- Carnap's early metatheory: scope and limits (Q1708750) (← links)
- Is mathematics problem solving or theorem proving? (Q2013412) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Alan Turing and the Foundation of Computer Science (Q4637224) (← links)