Контрольная работа: Парадоксы в математике

Еще более трагичной была судьба Фреге. Он считал, что основным вопросом, на который нужно ответить при обосновании арифметики, является вопрос о том, благодаря чему мы имеем право считать числа определенными, конкретными предметами. Ведь "численность" множества - это свойство, а не предмет, и тем не менее мы оцениваем численность с помощью натурального числа, воспринимаемого нами именно как предмет. Происходит опредмечивание: свойство превращается в предмет. Значит, заключает Фреге, без оператора опредмечивания не обойтись. И Фреге формулирует "Основной закон": каждой функции f соответствует ее график Гf. Таким образом, в предметную область кроме исходных, первоначальных предметов, обозначаемых "Истина" (И) и "Ложь" (Л), попадают и новые предметы - графики функций.

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

Прошло около века с тех пор, как началось оживленное обсуждение парадоксов. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения. Дело не только в том, что парадоксы сделались чем-то привычным. И, разумеется, не в том, что с ними смирились. Они все еще остаются в центре внимания логиков и математиков, поиски их решений активно продолжаются.

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

Было осознано также, что нет одной-единственной, стоящей особняком проблемы парадоксов. Проблемы, связанные с ними, относятся к разным типам и затрагивают, в сущности, все основные разделы логики и математики. Обнаружение парадокса заставляет глубже проанализировать наши логические интуиции и заняться систематической переработкой основ логики и математики. При этом стремление избежать парадоксов не является ни единственной, ни даже, пожалуй, главной задачей. Они являются хотя и важным, но только поводом для размышления над центральными темами математики и логики. Если сравнить парадоксы с особо отчетливыми симптомами болезни, можно сказать, что стремление немедленно исключить парадоксы было бы подобно желанию снять такие симптомы, не особенно заботясь о самой болезни. Требуется не просто разрешение парадоксов, необходимо их объяснение, углубляющее наши представления о логических закономерностях мышления.

Заключение

Таким образом:

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

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

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

Парадоксы возникают в науке там, где теория не опис