Кьювентри
А можно пояснить, в чём заключается "доказательство для себя"? "Аргумент в научной дискуссии" мне понятен, "доказательство для других" - в общем случае выводится оттуда, а вот первое мне непонятно в чём заключается, особенно с учётом умений мозга обманывать самого себя.
Когда корректность работы системы проводится самой системой на результаты не стоит серьёзно полагаться. Поэтому согласно чему будет оцениваться корректность "доказательства для себя"?