Навеяло вот этой темой , особенно феерической растановкой точек анонимуса в конце треда. Но сейчас не об этом.
Не для кого не секрет, что сейчас вся разработка заточена на компиляцию, а как следствие, предпринимаются титанические потуги разработать некую систему синтаксической проверки корректности программ. Отсюда такие монстры как хаскель. Я оставлю в стороне тот вопрос, что современные вычислительные мощности позволяют быстро выполнять интерпретируемые проги, и во многих случаях даже эффективней, но всемпофик - это тема другого разговора. А в данном треде, я хотел бы узнать ваше мнение по поводу вот какого соображения: не для кого не секрет, что Геделем была доказана принципиальная невозможность доказательства чего либо, если уж на чистоту, он вообще опустил математику, до уровня бесполезной игрушки. Но даже без этого, на бытовом уровне мы можем понять, что никаких «математических доказательств» быть не может.
Что имеют математики в своем арсенале когда они пытаются втюхать нам свое доказательство? Индукцию и дедукцию, вестимо. Остановимся подробней на индукции: «Если все предыдущие слоны которых я видел были серого цвета, значит все следующие которых я увижу будут тоже серыми», иными словами, если баба Авдотья в своей деревне видала только бородатых мужиков, стало быть бритых нету. Доказано. Теперь пример дедуктивного рассуждения, которое считается 100% надежным: «Поскольку все слоны серые, этот слон тоже серый». Иными словами: «Авдотья, у Ваньки есть борода? - есть конечно - а откуда ты знаешь, ведь ты его никогда не видела? - дык все мужики бородаты» Доказано 100%.
Мне просто интересно становиться иногда, почему люди, с виду нормальные, в частности прогеры, позволяют так легко себя надувать? Или действительно произошел какой-то качественный сдвиг в развитии Homo sapiens? Как это объяснить кроме как вырождением чел расы?
Перемещено mono из development
