What is the version of the following sentence with correct punctuation?

There is a different general program which does not seem to suffer the defects of Hilbert s consistency program To determine the constructive recursive content or the constructive equivalent of the nonconstructive concepts and theorems used in mathematics particularly in arithmetic and analysis
There is a different general program which does not seem to suffer the defects of [ Hilbert 's] consistency program: To determine the constructive (recursive) content or the constructive equivalent of the non-constructive concepts and theorems used in mathematics, particularly in arithmetic and analysis.