Filozofio de matematiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e robot Adding: hu, it Modifying: de |
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 6:
Famaj advokatoj de realismo: [[Paul ERDÖS]] kaj [[Kurt GÖDEL]]
==
[[David HILBERT]] - [[Rudolf CARNAP]]
Linio 21:
== Socia konstruismo ==
Tiu teorio rigardas matematikon kiel [[socio|socia]] elfaraĵo, produktita de [[kulturo]] en certa [[historio|historia]] kaj [[socio|socia]] kuteksto, kaj tiel determinita de la socio, en kiuj ĝi aperas kaj disvolviĝas. Ĝi do entenas grandan parton de arbitreco kaŭzita de ties homaj kaj hazardaj kondiĉoj.
La ĉefa advokato de tiu ĉi vidpunkto estis [[Imre LAKATOS]] (proksima de li, en la [[filozofio de scienco]] estas [[Thomas KUHN]]).
==Strukturismo==
[[Strukturismo]] estas la teorio ke matematiko esence estas la studo de [[strukturo]]j kaj la pozicioj en strukturoj. Ekzemple laŭ strukturismo [[nombro]]j ne ekzistas aparte unu de la aliaj, sed nur estas la pozicioj en certaj strukturoj, ekzemple la strukturo de [[naturaj nombroj]]. Strukturoj estas [[eco]]j de [[sistemo]]j, kiuj precizigas la rilaton inter laa diversaj objektoj en la sistemo.
Estas diversaj versioj de strukturismo kiuj dependas de tio, kiel oni komprenas la terminon ''strukturo''. Oni ĉefe povas distingi inter antaŭ-objekta kaj en-objekta strukturismo: Laŭ la antaŭ-objekta strukturismo, strukturoj ekzistas sendepende de tio, ĉu iu sistemo havas tiun strukturon, dum laŭ la en-objekta strukturismo, strukturo nur povas ekzisti se ekzistas iu sistemo, kiu havas tiun strukturon. En-objekta strukturisto do devas havi iun teorion pri apartaj sistemoj, kiuj povas esti la bazoj por la matematikaj strukturoj.
| |||