mixing computations and proofs
Clicks: 187
ID: 217101
2016
Article Quality & Performance Metrics
Overall Quality
Improving Quality
0.0
/100
Combines engagement data with AI-assessed academic quality
Reader Engagement
Steady Performance
30.0
/100
185 views
11 readers
Trending
AI Quality Assessment
Not analyzed
Abstract
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.