Верно ли ты понимаешь, что такое "агностицизм"?

Вообще-то любой математик, и даже просто студент, сдавший нормальный курс логики, не может не быть агностиком.

И при чём тут вера в человечество?

:)))))

Расскажите мне, что такое агностицизм.

В двух словах...

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

Есть такая теорема Гёделя о неполноте. Она утверждает, что любая логическая система с конечной аксиоматикой или противоречива (т.е. в ней есть высказывание, про которое можно доказать, что оно истинно и одновременно - ложно), или неполна (т.е. в ней есть высказывание, про которе мы вообще ничего не можем сказать).

Если мы включим это высказывание в список аксиом нашей логической системы, то появится новое,...

Остаётся только заметить, что человек может работать только в рамках конечной аксиоматики. Ему за всю его жизнь не воспринять и не воспроизвести больше конечного числа любых высказываний.

Конспект лекций по мат.логике в pdf могу поискать.

:)))))

ммм... интересная методика доказательства того, что я вроде бы и так знала на интуитивном уровне; забавно, всегда любила логику, но не за четкость, а за красоту построений, приводящих к совершенно немыслимым выводам, ежели обманывать себя

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