i matematycznych.<br>Intuicjonizm nie ma wielu konsekwentnych wyznawców - niemniej jednak wywarł on i nadal wywiera duży wpływ na badania nad podstawami matematyki. Okazuje się też, że logika intuicjonistyczna może być użytecznym narzędziem w różnych działach matematyki, na przykład w teorii toposów czy w teoretycznej &lt;foreign lang="eng"&gt;computer science&lt;/&gt;.<br><br>&lt;div1&gt;2. &lt;tit1&gt;PRĄDY KONSTRUKTYWISTYCZNE&lt;/&gt;<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 &lt;orig&gt;konstruowalnych&lt;/&gt; i operacji konstruktywnych. Kierunki te różnią się sposobem rozumienia pojęcia &lt;orig&gt;konstruowalności&lt;/&gt;. Konstruktywizm zatem to pewna postawa normatywna postulująca nie tyle szukanie odpowiednich podstaw i uzasadnienia dla istniejącej matematyki, ile