Deduction, Computation, Experiment
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/31054 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-31054 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-310542020-07-01T07:35:04Z Deduction, Computation, Experiment Lupacchini, Rossella Corsi, Giovanna Humanities, Social Science and Law, Evidence 121.65 What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on. 2017-04-19T03:22:18Z 2017-04-19T03:22:18Z 2008 Book 9788847007840 http://repository.vnu.edu.vn/handle/VNU_123/31054 en 280 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Humanities, Social Science and Law, Evidence 121.65 |
| spellingShingle |
Humanities, Social Science and Law, Evidence 121.65 Deduction, Computation, Experiment |
| description |
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures
and natural processes?
The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some
essays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the
natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on. |
| author2 |
Lupacchini, Rossella |
| author_facet |
Lupacchini, Rossella |
| format |
Book |
| title |
Deduction, Computation, Experiment |
| title_short |
Deduction, Computation, Experiment |
| title_full |
Deduction, Computation, Experiment |
| title_fullStr |
Deduction, Computation, Experiment |
| title_full_unstemmed |
Deduction, Computation, Experiment |
| title_sort |
deduction, computation, experiment |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/31054 |
| _version_ |
1680963831470227456 |