Pages that link to "Item:Q3081768"
From MaRDI portal
The following pages link to Formalizability and Knowledge Ascriptions in Mathematical Practice (Q3081768):
Displaying 7 items.
- Acceptable gaps in mathematical proofs (Q2053999) (← links)
- (Q3007441) (← links)
- (Q4413892) (← links)
- (Q4571827) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- (Q5203706) (← links)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management* (Q5261298) (← links)