mixing computations and proofs
Clicks: 160
ID: 217101
2016
Article Quality & Performance Metrics
Overall Quality
Improving Quality
0.0
/100
Combines engagement data with AI-assessed academic quality
Reader Engagement
Emerging Content
1.2
/100
4 views
4 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.