Форум атеистов Рунета

Я упоминаю об этой проблеме потому, что и сам грешен. Под впечатлением высказываний этих авторитетов мне случалось называть эту теорию «почти тавтологической» [7] и я пытался объяснить, как теория естественного отбора может быть непроверяемой (как тавтология) и в то же время представлять огромный интерес для науки. Мое решение этой проблемы состояло в том, что доктрина о естественном отборе представляет собой весьма успешную метафизическую исследовательскую программу. Она ставит детализированные проблемы во многих областях и подсказывает нам, чего следует ожидать от адекватного решения этих проблем.

Я и сейчас считаю, что естественный отбор работает в этом смысле как исследовательская программа. Вместе с тем я теперь придерживаюсь иного мнения о проверяемости и логическом статусе теории естественного отбора, и я рад возможности заявить о своем отречении от прежних взглядов. Надеюсь, мое отречение внесет какой-то вклад в понимание статуса естественного отбора.

Вы так повыеживались, но на вопрос не ответили. Конкретней, много ли вы знаете про аксиоматические теории и рекурсивные функции (не из программирования, из теории вычислимости)?

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

любому..

Квалификация это такая штука.
Значит вы должны понимать, что составить системку и поиграться с символами это одно, а надо еще и интерпретацию разумную иметь. А вот с интерпретацией в доказательстве Геделя большие проблемы. Если вы этого не понимаете, то квалификация ваша вам видимо не помогла.