Filozofija matematike: razlika između inačica

bez sažetka
No edit summary
No edit summary
'''Filozofija matematike''' postavlja temeljna pitanja: ''što'' je to matematika i ''kako'' se [[matematika]] treba koristiti. Postoji veliki broj filozofskih škola koje su pokušale dati odgovor na ova pitanja, a glavne su predstavljene ispod.
{{radovi24}}
'''Filozofija matematike''' postavlja za [[matematika|matematiku]] temeljna pitanja: ''što'' je to matematika i ''kako''
se matematika treba koristiti. Postoji veliki broj filozofskih škola koje su pokušale dati odgovor na ova pitanja, a glavne su predstavljene ispod.
 
== Platonizam ili matematički realizam ==
[[Formalizam]] uči da matematika u osnovi govori o manipulacijama nizovima informacija, tj. koristi se različitim pravilima kod kojih se mijenjaju simboli prema temeljnim pretpostavkama. Ove temeljne pretpostavke su aksiomi koji se manipulacijom u skladu s određenim pravilima pretvaraju u [[teorem]]. Na taj način se matematika može uporediti sa igrom, npr. [[šah]]om, gdje se figure pomiču u skladu sa strogo određenim pravilima. Formalizam ne postavlja iste zahtjeve kao platonizam: mogu se odbaciti aksiomi i pravila, jer nisu "prirodni zakoni", i ne postoji "perfektna" aksiomska struktura. Unutar formalizma ne postoji dakle čvrsta veza između znanosti i matematike, to je samo slučajnost da ove strukture liče jedna na drugu, i ne postoji nikakav platonski svijet ideja "iza" fizičkog svijeta.
 
Problemi koje formalizam teško objašnjivasuobjašnjiva su su [[Gödelovi teoremi nepotpunosti]].
 
Poznati formalisti bili su [[David Hilbert]] i [[Haskell Curry]].
== Spoznajne teorije==
 
[[Spoznaja|Spoznajne]] teorije vide matematiku kao unutarnju funkciju ljudske [[svijes]]ti, što je prirodan slijed naše [[Percepcija|perceptivne]] sposobnosti. Može se npr. vidjeti da [[mozak]] jako reagira na [[geometrija|geometrijske]] predmete stvorenih ravnim linijama, dok bezoblični predmeti ne daju iste jake reakcije kao što je to bilo u prvom slučaju. Dakle u ovom slučaju spoznajne teorije vide matematiku kao bitno podređenu [[biologija|biologiji]]n. Matematika bi znači tako bila elektrokemijski fenomen u ljudskom mozgu.
 
== Socijalni konstruktivizam ==