konstruktiv matematik
konstruktiv matematik (medeltidslat. constructiʹvus, av latin coʹnstruo ’bygga upp’, ’bygga’, ’konstmässigt åstadkomma’), benämning på flera olika matematiska riktningar som har det gemensamt att de ser matematiska objekt som i någon mening konstruerade av oss, inte som existerande oberoende av oss.
Av ett bevis för att det finns ett objekt med en viss egenskap måste därför krävas att det ger en anvisning på hur man kan konstruera ett objekt med denna egenskap; det är inte tillräckligt att såsom i klassisk matematik ge ett indirekt bevis, t.ex. genom att härleda en motsägelse
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse