Książka jest poświęcona analizie statusu dowodów matematycznych. Na proces dowodzenia w matematyce można patrzeć jako na pewnego typu argumentację, która jest ujęta w precyzyjnie skodyfikowane reguły. Jednak standardy dowodowe ewoluują, nieuchronnie pojawiają się też w nich elementy uznaniowe - przyjęcie pewnych reguł jako powszechnie akceptowanych odbywa się bowiem na etapie preteoretycznym. Co więcej, dowody matematyczne znane z praktyki odległe są od wersji sformalizowanej. Ta rozbieżność prowadzi do ciekawych problemów filozoficznych.
W książce analizowane są:
(1) problem relacji między realnymi, znanymi z praktyki dowodami matematycznymi a dowodami traktowanymi jako formalne ciągi symboli (będącymi przedmiotem zainteresowania teorii dowodu),
(2) problem rozumienia w matematyce i zagadnienie eksplanacyjnej roli dowodów matematycznych,
(3) kwestia empirycznych elementów w dowodach matematycznych i empirycznego zapośredniczenia wiedzy matematycznej.
Najniższa cena z 30 dni przed obniżką 28,90zł
|