Научная литература
booksshare.net -> Добавить материал -> Математика -> Манин Ю.И. -> "Доказуемое и недоказуемое " -> 18

Доказуемое и недоказуемое - Манин Ю.И.

Манин Ю.И. Доказуемое и недоказуемое — Советское радио , 1979. — 89 c.
Скачать (прямая ссылка): dokazuemoinedokazu1979.djvu
Предыдущая << 1 .. 12 13 14 15 16 17 < 18 > 19 20 21 22 23 24 .. 70 >> Следующая

«Мл. лейтенант Засецкий, 23 лет, получил 2 марта 1943 года пулевое проникающее ранение черепа левой теменно-затылочной области. Ранение... осложнилось воспалительным процессом, вызвавшим слипчивый процесс в оболочках мозга и выраженные изменения в окружающих тканях мозгового вещества».
4?
Профессор А. Р. Лурия встретился 'С Засецким в конце мая 1943 года и следил за его состоянием в течение 26 лет. За это время Засецкий написал около 3000 страниц, с мучительным трудом описывая свою жизнь и болезнь, борясь за восстановление разума. Его тетради, по материалам которых А. Р. Лурия создал книгу «Потерянный и возвращенный мир» [26], являются не только свидетельством высокого мужества, но и документом большой выразительности.
Нарушения психики Засецкого поначалу ужасны. Над всем доминирует асемасия — разрывы связей между знаком и его значением.
Первая встреча Засецкого с врачом: «Попробуйте прочитать эту страничку! «—»... Нет, что это? ... не знаю ... я не понимаю, что это ... Нет ... какое это? ... — «Ну, попробуйте посчитать что-нибудь простое, например сложите семь и шесть! ...»— «Семь ... шесть .. .как же это ... семь... нет, я не могу ... нет,-я совсем не знаю ...».
Утрачено понимание простейших предикатов:
«Что бывает перед зимой?» — «Перед зимой... или после зимы .. . лето ... или что-нибудь ... нет. Это у меня не выходит ...» — «А перед весной?» — «Перед весной ... сейчас весна ... а вот до ... или после ... я уже теряюсь ... нет ... у меня не выходит . . .»
Нарушается интерпретация смыслоорганизующих кодов синтаксиса:
«В школу, где училась Дуня, с фабрики пришла работница, чтобы сделать доклад». Что это? Кто же сделал доклад? Дуня? Работница? А где училась Дуня? И кто пришел с фабрики? И куда?»
Это трудный пример (текст А. Р. Лурия), но вот что пишет сам Засецкий: «А еще: «слон больше мухи» и «муха больше слона» ... Я понимал только, что «муха» маленькая, а «слон» большой, но разобраться в этих словах и ответить на вопрос, муха меньше слона или больше, я почему-то не мог. Главная же беда была в том, что я не мог понять, к чему относится слово «меньше» (или «больше») — к мухе или слону . . .».
Обращает на себя внимание сложность метаязыкового текста, описывающего языковые нарушения. Точность анализа нарушений кажется несовместимой с грубостью нарушений, которые анализируются. Это можно было бы объяснить тем, что анализ ретроспективен, но вот описание в настоящем времени, еще более глубокое: «... Я снова припоминаю про понятия «муха меньше слона» или «муха больше слона». Берусь думать над ними, как они должны правильно пониматься и как неправильно. От перестановки слов в этих понятиях изменяется смысл понятия. Мне же они кажутся на первый взгляд одинаковыми, словно ничего не изменяется от перестановки этих слов. А подольше подумаешь, заме-
чаешь, что or перестановки слов изменяется смысл указанных четырех слов (слон, муха, меньше, больше). Но мой мозг, моя память после ранения и до сих пор не в силах сразу охватить, к кому отнести слово меньше (или больше) — к слону или к мухе? Перестановок даже в этих четырех словах очень много».
Это сохранение сложных психических способностей при утрате «простых» видно и на образцах творческого воображения Засец-кого, близких к литературно-психологическим этюдам: «Вот-я врач. Я осматриваю больного, сердечно обеспокоен его состоянием, болею за него всей душой, ну как же, ведь это же человек, такой же, как и все, но только он сильно болен, ему надо помочь. Ведь я тоже могу болеть, и мне тоже кто-то должен помочь, а теперь вот надо помочь этому больному. Иначе нельзя. А вот я другой врач. Ох, и надоели мне эти больные со своими жалобами. Я не знаю, зачем я связался с этой медициной. Мне не хочется ничего делать, не хочется никому помогать. Правда, я. помогаю больше тем, кто и мне оказывает какую-нибудь помощь. И не беда, если умрет какой-нибудь больной, не в первый раз они умирали и умирают».
Все это показывает полную неосновательность мнения Дж. Россера [6]: «Когда доказательство открыто и записано на языке символической логики, его может проверить любой слабоумный (moron)».
Человеческая психика эффективно работает отнюдь не при проверке формальных текстов.
4. ВЫВОДИМОСТЬ
4.1. Определение.
Выводом формулы Р из множества формул е (в языке L класса &х) называется конечная последовательность формул Р\, ..., Рп= ~Р со следующими свойствами: для каждого i= 1, ..., п выполнена по крайней мере одна из альтернатив:
а) Р4ееj;
б) з/ < i такое, что Pt непосредственно следует из Р; по Gen,
в) з/, k < i такие, что Рг непосредственно следует из Р;-; Pk по МР.
Мы будем кратко писать s|—Р вместо „существует вывод Р из е». Вывод Р, сопровождаемый для каждого i^n точным указанием на то, под какую из альтернатив а), б), в) попадает формула Pj и каковы номера /, /, k в случаях б), в), называется описанием вывода. Один вывод может допускать разные описания.
Чаще всего рассматриваются выводы из множеств е, содержащих AxL — логические аксиомы языка L. Дополнительные элемен-
Предыдущая << 1 .. 12 13 14 15 16 17 < 18 > 19 20 21 22 23 24 .. 70 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed