rzucają światło na nie zawsze jasne koncepcje aktualistyczne. Należy do nich na przykład praca Parikha z roku 1971, w której wychodząc od aktualistycznej krytyki &lt;orig&gt;finityzmu&lt;/&gt; pokazuje się istotne różnice między charakterem operacji dodawania i mnożenia, z jednej strony, a potęgowaniem, z drugiej. Praca ta w połączeniu z pewnymi wynikami teorii złożoności stanowi też inspirację do rozwijanych ostatnio bardzo intensywnie badań nad arytmetyką ograniczoną wielomianowo &lt;gap&gt;.<br><br>&lt;tit1&gt;C. Predykatywizm&lt;/&gt;<br>Do prekursorów &lt;orig&gt;predykatywizmu&lt;/&gt; zaliczyć należy przede wszystkim H. Poincarégo i B. Russella. Dopatrywali się oni źródeł i przyczyn sprzeczności i paradoksów w matematyce przede wszystkim w stosowaniu definicji niepredykatywnych (por. rozdziały I.15 oraz II