Přeskočit na obsah

Filozofie matematiky

Z Wikipedie, otevřené encyklopedie
Ilustrace Monty Hallova paradoxu, jednoho z logických hádanek podobně jako jako Russelův paradox problém tří vězňů ilustrujících nakolik se intuice může lišit od logicky správného řešení problému.

Filozofie matematiky je odvětví filozofie zkoumající filozofické předpoklady, nálezy a důsledky matematiky. Cílem filozofie matematiky je definovat základní podstatu a metodologii matematiky a rozumět roli matematiky v životě lidí. Logická podstata matematiky samotné je fundamentálním mechanismem vesmíru a většinou považována za jeden z přírodních zákonů.

Mezi opakující se motivy patří:

Pátrání po podstatě a původu matematiky sahá až do antiky. Existují tradiční směry jak ve východní, tak v západní filozofii. Západní filozofie pramení již z Platónových pracích o ontologické podstatě matematických objektů či Aristotelových úvahách o logice a nekonečnu.

Řecká filozofie byla velmi ovlivněna studiem geometrie. Právě zde se nejlépe ujal platonismus i se svou komplexní filozofií čísel.

20. století

[editovat | editovat zdroj]

Ve dvacátém století se filozofie matematiky znovu dostala do popředí se zkoumáním konceptů jako je formální logika, teorie množin, axiomizace matematiky, teorie nekonečen, matematika 4D objektů či komplexních čísel.

Všechny tyto teorie daly vzrůst mnohým filozofickým školám jako je moderní platonismus (full-blooded platonism), empiricismus, matematický monismus, logicismus, formalismus, konvencionalismus, psychologismus, intuicionismus, konstruktivismus, finitismus, strukturalismus či fikcionalismus a filozofie dnes důsledně zkoumá jejich důsledky na všech polích vědy.

Mezi hlavní směry filosofie matematiky patří

  • Platonismus věřící, že matematické objekty (např. čísla, geometrické tvary) existují objektivně, nezávisle na lidské mysli ; matematika je tedy objevování těchto existujících entit.
  • Formalismus, jehož zastánci matematiku pokládají za manipulaci s formálními symboly a pravidly. Důraz je kladen na to, zda je důkaz správně odvozen ze zadaného axiomatického systému.
  • Konstruktivismus akceptující pouze to, co lze zkonstruovat, nikoli jen prokázat. Například dokázat, že existuje transcendentní číslo (tj. že ne všechna reálná čísla jsou algebraická) tím, že se demonstruje spočetnost algebraických čísel a nespočetnost reálných, je mnohem snazší, než dokázat, že např. Ludolfovo číslo nebo Eulerova konstanta je transcendentní. Takový důkaz ale konstruktivisté nepřipouštějí, stejně jako důkazy, které používají axiom výběru.

Související články

[editovat | editovat zdroj]

Externí odkazy

[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Philosophy of mathematics na anglické Wikipedii.

  1. KOLMAN, Vojtěch. Filosofie čísla. 1. vyd. Praha: Filosofia, 17. prosinec 2008. 672 s. Dostupné online. ISBN 978-80-7007-279-0. 
  2. BARROW, John D. Pí na nebesích. Překlad STEHLÍKOVÁ, Naďa; VRBA, Antonín. Praha: Mladá fronta, 2000. 308 s. (Kolumbus). Dostupné online. ISBN 80-204-0855-X.