Comment by CobrastanJorji

You know, it's always kind of bothered me that we constantly run into these "it's far too soon to say whether the proof is correct" issues. They're proofs. It should be apparent whether they are correct. Otherwise, are they really proof? As a layman who's only familiar with Hilbert's work as it pertains to Godel and CS, I'm curious what makes expressing these proofs using some sort of formal logic so difficult.