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.
Szczegóły książki:
- Data wydania
- 2012 (data przybliżona)
- ISBN
- 9788323128274
- Liczba stron
- 250
- Słowa kluczowe
- Filozofia matematyki, matematyka, filozofia, dowód matematyczny, o pojęciu dowodu w matematyce
- Język
- Polski
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.