The following pages link to What is a proof? (Q5301851):
Displaying 8 items.
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- (Q4824966) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
- What Is a Proof? (Q5246107) (← links)
- Computing and the cultures of proving (Q5301848) (← links)
- (Q5311060) (← links)
- Mechanizing Mathematical Reasoning (Q5717447) (← links)
- When Is a Test Not a Proof? (Q6485966) (← links)