po prostu wyrażenia (słowa) budowane ze znaków jakiegoś wyjściowego alfabetu. Ich konstruktywizm jest, z jednej strony, bardziej radykalny niż w intuicjonizmie (odrzucają na przykład obiekty powstające poprzez kolejne wybory, w szczególności ciągi wyborów), a z drugiej - bardziej liberalny. To ostatnie widać najbardziej w przyjmowanej przez Markowa zasadzie (zwanej dziś zasadą Markowa), że jeśli obliczenia prowadzone przez algorytm nie mogą się nie zakończyć, znaczy to, że się kończą (jest to równoważne tezie, że dla dowolnej funkcji rekurencyjnej f: jeśli nie jest prawdą, że nie istnieje x takie, że f (x) = 0, to istnieje x takie, że f (x) = 0).<br><br>&lt;tit1&gt;E. Konstruktywizm Bishopa