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...
محفوظ في:
مؤلفون آخرون: | |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/31054 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | Vietnam National University, Hanoi |
اللغة: | 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 |