mixing computations and proofs
Clicks: 147
ID: 217101
2016
We examine the relationship between proof and computation in mathematics, especially in formalized mathematics. We compare the various approaches to proofs with a significant computational component, including (i) verifying the algorithms, (ii) verifying the results of the unverified algorithms, and (iii) trusting an external computation.
| Reference Key |
beeson2016journalmixing
Use this key to autocite in the manuscript while using
SciMatic Manuscript Manager or Thesis Manager
|
|---|---|
| Authors | ;Michael Beeson |
| Journal | journal of clinical psychopharmacology |
| Year | 2016 |
| DOI | 10.6092/issn.1972-5787/4552 |
| URL | |
| Keywords |
Citations
No citations found. To add a citation, contact the admin at info@scimatic.org
Comments
No comments yet. Be the first to comment on this article.