Filosofie van de wiskunde: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
RobotQuistnix (overleg | bijdragen)
DéRahier (overleg | bijdragen)
k diakritische en andere typo's, Replaced: intuitie → intuïtie met AWB
Regel 7:
* Het [[logicisme]] met [[Gottlob Frege]] en [[Bertrand Russell]] willen de wiskunde steunen op de logica.
* De [[Constructivisme (wiskunde)|constructivistische]] stroming, daarentegen, stelt dat wiskundige objecten door de [[menselijke geest]] geconstrueerd worden.
* Het [[intuïtionisme]] stellen nog radicaler, dat wiskundige objecten worden geconstrueerd in de menselijke geest en alleen hier intuitiefintuïtief bestaan. [[L.E.J. Brouwer]] en [[Arend Heyting]] waren hier de belangrijke vertegenwoordigers.
* Een [[Formalisme (wiskunde)|formalistische]] stroming, waarin wiskundige objecten ieder zelfstandig bestaan ontzegd werd; slechts de neerslag van wiskunde in formele systemen telde.