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 »