116v

[farmerjohn]

Anton, I as if understand that people want validation and reproducibility, but since the VMS is unique outstanding unit some results can also be unique and outstanding. So it's a good idea to give some room for something really unexpected. And it's also good idea to remember that thousands of "I cannot reproduce" don't convert automatically into "is not reproducible".

geoffreycaveney, these are all great examples and I would also add the proof of 4 color theorem, part of which is done by a computer, thus a bit scattering "the proof" notion.

Anton, I also want to clarify "believing in arguments". There sometimes may be several arguments which seem to contradict each other. One can wait for new arguments to resolve the problem. One can (say, using intuition) accept some arguments and build theory based only on these arguments (then turn back to discarded arguments). It's actually the belief that is moving us forward and waiting for concrete arguments that is stopping the process. 

Everybody, excuse me for launching OT.