Algorithm And Antinomy