libcats.org
Главная

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

Обложка книги Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

,

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.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Технология солода и пива

Автор:
Категория: Tech
Размер книги: 113.31 Mb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Consciousness and the Mind of God

Автор:
Размер книги: 5.91 Mb

Fall of Thanes

Автор:
Категория: fiction
Размер книги: 521 Kb

Love and Mrs Sargent

Автор:
Категория: fiction
Размер книги: 521 Kb

Wenn Frauen nicht mehr lieben

Автор:
Категория: fiction
Размер книги: 756 Kb