Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Installera
Snabbare tillgång än webbläsare!
 

Konstruktivism (matematik)

Index Konstruktivism (matematik)

Konstruktivism avser inom matematiken en matematikfilosofisk inriktning som inte accepterar existensbevis grundade på lagen om det uteslutna tredje, utan kräver att matematiska objekt skall explicit konstrueras.

8 relationer: Cambridge University Press, Heidelberg, Intuitionistisk logik, Lagen om det uteslutna tredje, London, Matematik, Matematikfilosofi, Per Martin-Löf.

Cambridge University Press

Cambridge University Press är ett universitetsanknutet engelskt bokförlag.

Ny!!: Konstruktivism (matematik) och Cambridge University Press · Se mer »

Heidelberg

Heidelberg är en kretsfri stad i den nordvästra delen av det tyska förbundslandet Baden-Württemberg belägen vid floden Neckars nedre lopp, cirka 22 kilometer från utflödet i Rhen och cirka 20 kilometer sydost om Mannheim.

Ny!!: Konstruktivism (matematik) och Heidelberg · Se mer »

Intuitionistisk logik

Den intuitionistiska logiken har sitt ursprung i intuitionismen som grundar sig på uppfattningen att existensen av ett (matematiskt) objekt endast kan fastställas genom att i någon mening konstruera objektet.

Ny!!: Konstruktivism (matematik) och Intuitionistisk logik · Se mer »

Lagen om det uteslutna tredje

Lagen om det uteslutna tredje, latin: tertium non datur, är en tankelag inom logik som lyder: allt måste antingen vara eller icke vara (A är antingen B eller icke-B), eller: av två kontradiktoriskt motsatta omdömen är det ena sant..

Ny!!: Konstruktivism (matematik) och Lagen om det uteslutna tredje · Se mer »

London

London är huvudstad i Storbritannien och (de facto) i riksdelen England.

Ny!!: Konstruktivism (matematik) och London · Se mer »

Matematik

arkivdatum.

Ny!!: Konstruktivism (matematik) och Matematik · Se mer »

Matematikfilosofi

Matematikfilosofin ställer de för matematiken mest grundläggande frågorna: den handlar om vad matematik är och hur matematiken skall användas.

Ny!!: Konstruktivism (matematik) och Matematikfilosofi · Se mer »

Per Martin-Löf

Per Erik Rutger Martin-Löf, född 8 maj 1942 i Stockholm, är professor emeritus i matematisk logik vid Stockholms universitet.

Ny!!: Konstruktivism (matematik) och Per Martin-Löf · Se mer »

Omdirigerar här:

Matematisk konstruktivism.

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »