Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
w teorii toposów czy w teoretycznej computer science.
2. PRĄDY KONSTRUKTYWISTYCZNE
Mianem konstruktywizmu określa się różne kierunki w filozofii i podstawach matematyki, których cechą wspólną jest żądanie ograniczenia się do rozpatrywania wyłącznie obiektów konstruowalnych i operacji konstruktywnych. Kierunki te różnią się sposobem rozumienia pojęcia konstruowalności. Konstruktywizm zatem to pewna postawa normatywna postulująca nie tyle szukanie odpowiednich podstaw i uzasadnienia dla istniejącej matematyki, ile raczej interpretująca ją zgodnie z przyjętymi zasadami i odrzucająca (w większym czy mniejszym stopniu) metody i wyniki, które nie odpowiadają tym zasadom.
Prądy konstruktywistyczne pojawiły się w ostatniej ćwierci XIX wieku jako reakcja na gwałtowny rozwój wysoce abstrakcyjnych
2. PRĄDY KONSTRUKTYWISTYCZNE
Mianem konstruktywizmu określa się różne kierunki w filozofii i podstawach matematyki, których cechą wspólną jest żądanie ograniczenia się do rozpatrywania wyłącznie obiektów konstruowalnych i operacji konstruktywnych. Kierunki te różnią się sposobem rozumienia pojęcia konstruowalności. Konstruktywizm zatem to pewna postawa normatywna postulująca nie tyle szukanie odpowiednich podstaw i uzasadnienia dla istniejącej matematyki, ile raczej interpretująca ją zgodnie z przyjętymi zasadami i odrzucająca (w większym czy mniejszym stopniu) metody i wyniki, które nie odpowiadają tym zasadom.
Prądy konstruktywistyczne pojawiły się w ostatniej ćwierci XIX wieku jako reakcja na gwałtowny rozwój wysoce abstrakcyjnych
w teorii toposów czy w teoretycznej <foreign lang="eng">computer science</>.<br><br><div1>2. <tit1>PRĄDY KONSTRUKTYWISTYCZNE</><br>Mianem konstruktywizmu określa się różne kierunki w filozofii i podstawach matematyki, których cechą wspólną jest żądanie ograniczenia się do rozpatrywania wyłącznie obiektów <orig>konstruowalnych</> i operacji konstruktywnych. Kierunki te różnią się sposobem rozumienia pojęcia <orig>konstruowalności</>. Konstruktywizm zatem to pewna postawa normatywna postulująca nie tyle szukanie odpowiednich podstaw i uzasadnienia dla istniejącej matematyki, ile raczej interpretująca ją zgodnie z przyjętymi zasadami i odrzucająca (w większym czy mniejszym stopniu) metody i wyniki, które nie odpowiadają tym zasadom.<br>Prądy konstruktywistyczne pojawiły się w ostatniej ćwierci XIX wieku jako reakcja na gwałtowny rozwój wysoce abstrakcyjnych
