Epistemologija matematicheskogo dokazatelstva

Эпистемология математического доказательства

Tekijä(t)

Tselischev V. V.

Kieli

Venäjä

Mitat

215/145 mm

Kustantaja

Parallel

Ilmestymisvuosi

2006

Sidosasu

Pehmeä kansi

Sivumäärä

212

ISBN

978-5-98901-010-3

Tuote poistunut valikoimasta.

Ilmoita kun saatavana

Esittely
Translit

В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - "по озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем интересующимся философией математики.

V monografii otrazheny issledovanija v oblasti filosofii matematiki, vazhnye dlja ponimanija prirody matematicheskogo dokazatelstva, v chastnosti, dvukh tipov dokazatelstva - "po ozareniju" i kombinatornogo. Znachitelnaja chast knigi posvjaschena problemam kompjuternogo dokazatelstva. Kniga prednaznachena vsem interesujuschimsja filosofiej matematiki.

Tuoteryhmä

Luonnontieteet

Sarja

Novaja filosofija matematiki

EAN

9785989010103

YKL-kirjastoluokitus:

80.71

Vaihtoehtoinen ISBN

5-98901-010-9

Lisää samankaltaisia