Цитата:
В общем, смысл Вы поняли: утверждать, что любое доказуемое утверждение элементарно доказуемо - неочевидно
Да ну?
Цитата:
Вот есть ВТФ, она доказана неэлементарно, а элементарного доказательства нет.
Цитата:
С каких деревьев Вы взяли, что это факт? Откуда факт?
Цитата:
Вводить описание мозга в математику как-то совсем нематематично
А каковы критерии математичности? Читал, что один математик смоделировал сознание.