samej istoty sporu. Jak można udowodnić, że coś nie da się zrobić? Takie dowody są w nauce trudne. Wystarczy przypomnieć wielowiekowe spory o możliwość skonstruowania &lt;foreign lang="lat"&gt;perpetum mobile&lt;/&gt;. Dopiero ogólna zasada zachowania energii położyła im kres. Tylko w nielicznych, wyjątkowo prostych przypadkach można udowodnić przekonująco, że czegoś nie można dokonać. W logice taki charakter mają twierdzenia &lt;name type="person"&gt;Gödla&lt;/&gt;. Jednak jak w dziedzinie tak skomplikowanej i mało formalnej jak redukcja własności jednych obiektów do własności innych, można wykazać, że istnieją własności nieredukowalne? Na czym miałyby polegać istota i przyczyna tej nieredukowalności? Na te pytania przez długi czas nie znajdowano odpowiedzi.<br>Filozoficzna dyskusja na ten