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

• Författare:
• Dag Prawitz