WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 |   ...   | 27 | 28 || 30 | 31 |   ...   | 93 |

«ТРУДЫ XI МЕЖДУНАРОДНЫХ КОЛМОГОРОВСКИХ ЧТЕНИЙ Ярославль 2013 УДК 51; 51:372.8; 51(091) Печатается по решению редакционноББК 22.1 я434 издательского совета ЯГПУ им. К. Д. ...»

-- [ Страница 29 ] --

Доказательство (профиль): Условие Т с возможным наличием |=-неразрешимой формулы ф, представляющей вызов для доказуемости: существует ли среди возможных теорем нечто подобное такому тупику, относительно которого не найдётся R, способного его разрешить?

Опасения оправдываются: в Т найдена формула р, которая ¬ р и ¬ ¬р, т.е. не существует R, способного её разрешить. Знаменательно оказалось, что ¬р = ф.ф, т.е. является формулой, выражающей собственную недоказуемость, теоремным аналогом истинностных антиномий. И, если бы все истины были доказуемы, антиномия лжеца воспроизводилась бы ввиду ф (|=ф ф) в Т и я-познаватель ничего не выигрывал бы в снижении неопределенности Т построением Т. Однако аутореференции в пределах Т -части Т всё же не оказалось, ибо один из конъюнктов в ¬ р и ¬ ¬р, именно ¬р, оказался истинным, вследствие чего не все истины оказались доказуемыми и значит Т оказалась семантически не полной, что было нефинитно доказано К. Гёделем Теорема 5. Если Т, то Т не полна.

С точки зрения познания как деятельности по ликвидации неопределенности я-познаватель к истине не приблизился, ибо, найдя в доказуемости, потерял в истине. Но дело в том, что проблема разрешимости разрешается доказательством не только разрешимости, но и неразрешимости её альтернатив. Можно тривиально опровергнуть Гёделя, выбрав аксиомами Т все её истины, но в этом случае не был бы пролит свет на возможности и методы, посредством которых встроенный природой в человека живой гностический механизм познаёт мир. Т как Т. Последняя рекурсивно перечислима (Def 3), ибо доказательства теорем R-распознаваемы, но сами теоремы не R-распознаваемы, ибо их доказательство не может быть R-построено, но должно быть изобретено биогностическим механизмом amor intellectualis с мерцающей в самых игнорируемых местах аутореферентностью самопознания (“я непознаваемо”), скрывающей этот загадочный механизм.

В том числе за несовпадением перечислимости теорем Т и неперечислимости истин Т|=. В самом деле, посмотрим.

Трубников Н.А., Степанова Д.И. Генетика экономической нелинейности Лемма 1. Множество O рекурсивно т.и т.т. к.рекурсивно перечислимы O и его дополнение Доказательство достигается поочередным тривиальным переходом от одного эквивалента в утверждении леммы к другому. (см. аналог [4, с. 94]).

Лемма 2. Множество положительных целых чисел u+ рекурсивно т.и т.т. к. u+ и u+ рекурсивно перечислимы.

Доказательство достигается поочередным использование перечислительных процедур при переходе от одного постулируемого эквивалента в утверждении леммы к другому [7, с. 40].

Теорема 6. Если Тф – Ф-интерпретированное множество формул сигнатуры, Т|= – множество выводимых истин и T |= – его дополнение, то Т|= рекурсивно, если Т|= и T |= рекурсивно перечислимы.

Доказательство исходит из числового кодирования формул Тф, что открывает возможность апелляции к лемме 2.

Теорема 7. Если Т, то множество истинных формул Т|= неперечислимо.

Доказательство (идея): Присвоим каждой ф над алфавитом А натуральные числа так, чтобы можно было по этому коду восстановить ф. Определим арифметический предикат W(х), такой, что W(n) истинен т.и т.т. к. n – код невыводимой (¬ |=) ф из Т|=. Так для всех n N получаются эффективные арифметические формулы z, истинные т.и т.т. к n является кодом ¬ |= ф.

Предположим перечислимость всех истинных арифметических формул. Тогда и все z также оказываются перечислимыми, но в этом случае в силу теоремы 4 множество выводимых ф в Т|= оказывается перечислимым, что противоречит теореме 6.

1. Чёрч, А. Введение в математическую логику. Т. 1. [Текст]/ А. Чёрч; пер. с англ. – М: ИЛ, 1960. – 484 с.

2. Клини, С.К. Математическая логика [Текст]/ С.К. Клини; пер. с англ. – М: Мир, 1973. – 488 с.

3. Мартин-Лёф, П. Очерки по конструктивной математике [Текст]/ П. Мартин-Лёф; пер. с англ.

– М: Мир, 1975. – 136 c.

4. Машины Тьюринга и рекурсивные функции [Текст]; пер. с нем. – М: Мир, 1972. – 364 с.

5. Шенфилд, Дж. Математическая логика [Текст]/ Дж. Шенфилд; пер. с англ. – М: Наука, 1975.

6. Гросс, М. Теория формальных грамматик [Текст]/ М. Гросс, Р. Лантен; пер. с фр. – М: Мир, 1965. – 295 с.

7. Арбиб, М. Мозг, машина, математика [Текст]/ М. Арбиб; пер. с англ. – М: Наука, 1967. – 224 с.

Генетика экономической нелинейности Н.А. Трубников, Д.И. Степанова Нелинейность экономических процессов и иррациональность в экономическом поведении вытекают из самой технологии сознательности в континууме решений, соединяющем теоретический разум экономиста и практический ум коммерсанта.

Номологический статус экономикс трудно определить, игнорируя характер используемой логики, способы образования понятий и убедительность процедур верификации. Точное знание состоит из теорий с индуктивной логикой и интерпретантов неодушевлённого мира. Какими теориями представлено “неточное”, объясняющее одушевлённый мир, и чем разнится природа объектов его семантики? Картезианская дихотомия гуманистика – естествознание оставляет экономическую сферу события (сознание плюс содеяние) где-то посредине, тем самым, обременяя её всею глубиной проблемы исчерпывющей идентификации Homo sapiens. Призывы к гуманизации науки и образования, подогреваемые техноприродопрессией и падением нравов обращены к желаемой конвергенции указанных разделённых, которая в экономической науке вынуждена воплощаться непосредственно в ходе её актуальных востребования и построения, не дожидаясь, когда биологи и социологи разберутся с человеческой природой. “Витальная сумятица жизни опережает её догматическую мумификацию” (Федерико Феллини) и давно пора узаконить это загруженное узловое понятие науки и человеческого сознания, дефинировав его implicite и explicite пересечением всех интенсиональных и экстенсиональных смыслов. В этом случае разум не приносит жизнь (В) в жертву аналитической абстракции “био” или “социо”, рассматривая их в лучшем случае наподобие коммутирующих переменных квантовой механики или эмерджентных интеракционалов, да простят нас философы.



Аура фундаментальности начинает действовать на биолога, когда он углубляется в поиске до молекулярного и особенно до биофизического уровня. Непонятно, где ищет социолог, но где бы он не искал, оба этих аспекта жизни дополнительны по отношению к методологии как раз в том содержательном смысле, в каком его представляли адепты квантовой теории [2-4]. Жизнь поворачивается в экономике как элементарная частица, всеми гранями вместе, но “... вначале, так звучит это здесь, стоит факт” [9, c. 23].

Хоть и давно обнаружено, что “знание жизни оно-то и есть истинное знание” [5, с. 17], практический разум, приоритет которому отдавали великие мыслители, не до конца разобрался с жизневключающими [12] и, тем более, с антроповключающими отраслями события человека.

Экономика является здесь обобщающим примером. Надёжность проектов и решений в этой области жизнедеятельности, как и в любой другой, висит на истинности базовых теорий, объясняющих и прогнозирующих события, регистрируемые их референтным фактификатом. Логика, образующая каркас инфраструктуры теории, как раз и обеспечивает эти экспертизы. Поскольку экономика не только процессуальная, но и массовая наука, то, естественно, индуктивное обобщение не может не входить в её силлогизмы. Но здесь нас ждут сюрпризы.

В доступном сознанию человека пространстве Вселенной нет сложнее и таинственнее объекта нежели он сам. Его строение и поведение не лишены парадоксальности, связанной с фрагментированностью, внеположенностью и отстраненностью его происхождения и человеческой ситуации, в которую он заброшен. Следующие отсюда неизбежные казуистика и прецеденты поставляют контрпримеры, ломающие и классические модусы индукции и закон [6]:

Однако, поиск обобщающих умозаключений в экономике легко и в изобилии их находит равно как и понятия, образующие её концептуальный аппарат. Гностическая техника логической кумуляции знаний в понятиях, запрограммированная синтаксическим потенциалом сознания остаётся той же. И она не справляется с роскошным фактификатом экономической реальности. В результате модус экономических обобщений вместо известного [6]:

имеет вызывающе оппортунистический вид (?х – существуют как прецеденты).

Широкое распространение подобной, своего рода, квазииндукции, иначе кондукции [9], в замкнутой концептуально-логической системе понижает транспортацию истины в логической цепи, Трубников Н.А., Степанова Д.И. Генетика экономической нелинейности ослабляя истинность не только выводов, но и контента понятий. Это модерирует и рационалистические устремления экономических агентов и точность феноменологического описания экономических систем со всеми вытекающими отсюда иррациональностями и нелинейностями. Если у экономического процесса “... его неотъемлемым свойством является неопределенность... ” [14, с. 41], то экономический анализ не могут не интересовать её источники, провоцирующие агентов экономического поведения к прецедентным промахам, создающим ту, озадачивающую экономистов казуистику, которая мешает им предложить надёжную теоретическую основу для практических решений.

Экономическая жизнь человека в поисках mezzo termino между приобретениями и потерями в полном объёме воплощает уровень сложноорганизованности жизни – card В (card – организационная сложность объекта б, отражаемая в первом приближении мощностью множества компонентов и связей объекта или высказываний, если речь идёт о теории, В – биосоциос, жизнь в вышеупомянутом широком понимании). Разумеется, того же уровня и экономические системы и экономические агенты, включающие человека и лимитируемые его поведением. Существует ли при этом возможность “решить основную проблему экономической теории” [14, с. 61] (ОПЭТ), при следующей её постановке: построить непротиворечивую индуктивную теорию экономических систем с объясняющей и прогнозирующей точностью, достаточной для принятия неограниченно рационально вычислимых (boundet rationality) экономических решений в условиях дефицита времени и информации? Это означает стремление к обеспечению возможности контенсивно алгоритмизируемых проектов, углубляющему понимание механизма Парето-эффективной аллокации ресурсов при ceteris paribus теоремы Коуза, минимизирующему традиционные неопределенности.

Информационный процесс “сотворения мира” в сознании, реализуемый когнитивным механизмом Вх (биогност), предполагает существование я-субъекта (card В), для которого “... знание возникает... из двух источников, первый... предмет дается..., а второй... он мыслится... ” как “... взаимодействие между тем, кто воспринимает и воспринимаемым объектом.... Разум организует восприятия и эти организации являются представлениями о... ” (И. Кант цит по [7, с. 392]) природных объектах б. Первая “организация” – фактура Ф объекта есть значение первой Вх-функции (фактографии, “предмет даётся”) Вторая “организация” – теория Т объекта есть значение второй Вх-функции (версификации, “он мыслится”) ( – оператор функциональной абстракции [1]).

В результате сотворяется сигнатура =Ф,Т как представление, информация о б, относительно которой предполагаемы следующие идеи её основополагающих оценок:

Семантическая истинность вкупе с синтаксической, касающейся и “силы” секвенций, обеспечивает как бы понятнопрогнозность сигнатуры =ФТ.

Здесь отражается семантический аспект сигнатуры. Наконец выражает отношение к попавшему в объектив S сознания миру, интеллектуально рассматриваемому через очки Вх (card В) и потому, что бы не аккумулировал объект б, биосоциос В, через который происходит его задание и анализ в фокусе х объектива S, он всегда включает. Поэтому На самом деле получается, что r природных б в Ф сигнатурах по сути есть биопрезентативность.



Pages:     | 1 |   ...   | 27 | 28 || 30 | 31 |   ...   | 93 |
 



Похожие работы:

«1 книга Александровск 1 Старше города Луганска Александровск – славный град, Ясным солнышком обласкан, Встретить хлебом-солью рад. Встретить рад веселой песней, Как в былые времена, Свет душевный лейся, лейся, Обернись голубкой нам. П-в Слобожане-слобожанки Жили дружно в слободе, У реки Лугань-Луганки Собирались на гулянки, Переделав много дел. 2 Вс когда-то начиналось, Панский строился дворец, Но о храме всем мечталось, Где бы славился Творец. Революции и войны Не однажды пронеслись,...»

«Кто жил и мыслил, тот не может В душе не презирать людей; Кто чувствовал, того тревожит Призрак невозвратимых дней. А.С. Пушкин Евгений Онегин ВВЕДЕНИЕ 1. СТАРЬЕ БЕРЕМ Не знаю почему, но я всегда предпочитал старое новому. Я люблю свои старые вытертые штаны и свитера, старые книги, с потрепанными обложками, с замечаниями на полях и подчеркнутыми фразами на страницах. Я привыкаю к квартире или дому, в котором я живу и не хочу менять на новый, и больший, хотя так получилось, что иногда меняю. Так...»

«КОЧЕВАЯ АЛЬТЕРНАТИВА СОЦИАЛЬНОЙ ЭВОЛЮЦИИ Москва 2002 Серия “Цивилизационное измерение” Том 6 Редколлегия серии: И.В. Следзевский (главный редактор), Д.М. Бондаренко, Н.А. Ксенофонтова, А.М. Васильев Ответственные редакторы тома: д.и.н. Н. Н. Крадин д.и.н. Д. М. Бондаренко Книга написана антропологами, историками и археологами, специализирующимися в области кочевниковедения и посвящена различным аспектам одной проблемы: каким образом небольшие кочевые народы, населявшие окраины земледельческих...»

«КНИГА ДЛЯ РОДИТЕЛЕЙ Комплексный учебный курс Основы религиозных культур и светской этики Основы православной культуры Основы исламской культуры Основы буддийской культуры Основы иудейской культуры Основы светской этики Основы мировых религиозных культур ШКОЛЬНАЯ КНИГА Москва — 2013 Уважаемые родители! В 4 классе в школьную программу включн комплексный учебный курс Основы религиозных культур и светской этики, главной целью которого является духовно-нравственное воспитание школьника с учтом...»

«Аннотация Роман-эссе Владимира Чивилихина Память – итог многолетних литературно-исторических раскопок автора в тысячелетнем прошлом Руси и России, подоброму освещающий малоизвестные страницы русской истории и культуры. Особо стоит отметить две наиболее удавшиеся темы – история Слова о полку Игореве и феномен декабристов. Конечно, пофигистам на эти страницы просьба не входить – потратите время, так нужное вам для глобального осмысления жизни. Эту непростую книгу еще предстоит с благодарностью...»

«Омск — 1991 Марафон: теория и практика. Омск. 1991. В книге на основании результатов собственных исследований и обобщения современных научных данных раскрываются наиболее важные вопросы подготовки бегунов на сверхдлинные дистанции различной квалификации: планирование и периодизация спортивной тренировки в марафонском беге, индивидуализация тренировочного процесса, контроль и управление тренировочным процессом, питание бегунов в тренировочном процессе, в день старта и на дистанции, проблемы...»

«Annotation Данное издание — самое полное собрание сочинений Исаака Бабеля. В него вошли практически вся известная на сегодняшний день проза, драматургия, киносценарии, публицистика писателя и большой корпус писем. Второй том включает в себя книгу Конармия, дополнения к ней, статьи из Красного кавалериста, дневник 1920 года, планы и наброски. http://ruslit.traumlibrary.net Исаак Эммануилович Бабель Киндербальзам среди кентавров Путь Жанр Мир Автор Конармия* Переход через Збруч* Костел в...»

«Жанрово-стилевые тенденции в поэзии Великой Отечественной войны Практикум к курсу История русской литературы ХХ века: 1920 – 1950-е годы Составитель: доктор филол. наук, доцент О.А. Дашевская Томск 2010 Введение В методическом пособии собран и систематизирован обширный материал поэзии Великой Отечественной войны, который представлен в антологиях по поэзии этого исторического периода или в конкретных авторских сборниках (поэзия А. Твардовского, К. Симонова и т.д.). Практикум преследует цель дать...»

«Е.В.ВАСИЛЬЕВА О мировоззрении дальневосточных ученых первой половины ХХ века На примере научной интеллигенции Дальнего Востока первой половины ХХ в. рассматриваются малоизученные в социальной истории науки проблемы научного мировоззрения в связи со сменой классической рациональности на неклассическую. World outlook of the Far Eastern scientists in the first half of the XX century. E.V.VASILYEVA (Far Eastern State University, Vladivostok). Considering ideology of the Far Eastern scientific...»

«Марк Солонин Моему отцу, Семену Марковичу Солонину, рядовому Великой войны, посвящается К читателю Правда не побеждает. Правда остается, когда все остальное уже растрачено. Этими словами заканчивался программный документ чешской оппозиции Две тысячи слов. Тогда, в июне 1968 года, едва ли кто-то мог предположить, что эта фраза будет точно описывать ситуацию, сложившуюся сегодня на бескрайних просторах бывшей советской империи. Автору книги, которую вы держите в руках, потребовалось 15 лет и 138...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.