so, i've started hate-reading "the proof in the code" (my good friend Anna lent it to me), and the technical explanations about constructivism are so inaccurate it's funny:
"For example, mathematicians often try to answer questions like “Prove that every even number greater than 2 can be written as the sum of two prime numbers.” Called the Goldbach conjecture, this question is one of the most famous open problems in mathematics. From a constructivist point of view, the only way to answer the question would be to construct specific examples that prove or disprove it. Either compute every even number as a sum of two primes—which is impossible because there are infinitely many—or compute an example of an even number that violates the rule."
oh yes we can't prove goldbach constructively because we'd need to compute infinitely many numbers!!!!
1/4
