Loading...
Please wait, while we are loading the content...
Similar Documents
Proofs, proofs, proofs, and proofs
| Content Provider | arXiv |
|---|---|
| Author | Kerber, Manfred |
| Date of Submission | 2010-05-27 |
| Abstract | In logic there is a clear concept of what constitutes a proof and what not. A proof is essentially defined as a finite sequence of formulae which are either axioms or derived by proof rules from formulae earlier in the sequence. Sociologically, however, it is more difficult to say what should constitute a proof and what not. In this paper we will look at different forms of proofs and try to clarify the concept of proof in the wider meaning of the term. This has implications on how proofs should be represented formally. |
| Related Links | https://arxiv.org/pdf/1005.5124.pdf |
| Page Count | 10 |
| arXiv | 1005.5124 |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science Mathematics - History and Overview Computer Science Mathematics |
| Content Type | Text |
| Resource Type | Article |
| Subject | Mathematics |
