Теорема Ґеделя
Теза «Творець світу існує» передбачає питання: «Якщо Бог є, то звідки Він?» Доводиться визнати те, що воно виходить за межі нашого розуміння, але і те, що в цьому немає нічого дивного.
Наука вже з 1931 р. знає «теорему про неповноту знань», сформульовану австрійським ученим Куртом Ґеделем.Логік і математик Курт Ґедель (1906-1978) у 1931 р. в статті «Про формально нерозв’язні розмірковування щодо основ математики і споріднених систем» і довів цю теорему про неповноту, строге формулювання якої звучить так: «Якщо система Z (що вміщує арифметику натуральних чисел) несуперечлива, то в ній існує таке твердження А, що ні само А, ні його заперечення не можуть бути доведеними засобами Z». Як кажуть, Ґедель довів, що «в достатньо багатих змістовних нормальних системах є не- розв ’язні розмірковування, тобто припущення, які неможливо ні довести, ні відкинути. З філософсько-методологічної точки зору значення теореми Ґеделя полягає в тому, що вона показує неможливість повної формалізації людського знання».
Популярно ж цю теорему формулюють так: «Жодна система не може бути до кінця пізнана зсередини - поза зв’язком з іншими системами вищого порядку». Тобто неможливо вичерпно описати світ, в якому живе людина, зокрема - описати причину та існування Всесвіту, не вийшовши за його межі. Вийти за ці межі нам «не дано» (принаймні - до своєї смерті). Тому й на питання «Звідки взявся Бог?» відповіді немає і не може бути.
І все ж людина в своєму намаганні з’ясувати таємниці Всесвіту і збагнути «навіщо вона в ньому» вперто просувається вперед. Зокрема, розвиваючи й уточнюючи «мову» (а це передусім певні математичні прийоми), якою «Природа розмовляє з ученим». Формулюючи певні здогади, гіпотези, користуючись правилом, що має назву бритва Оккама: Entia non sunt multiplicanda - «сутності не повинні помножуватися». Тобто з декількох гіпотез перевагу віддають тій, у якій кількість припущень мінімальна.
Сформулював це правило англійський філософ Уїльям Оккам (1300-1349).Реальність буття Бога проявляється в Його творінні - в ідеальній упорядкованості Всесвіту, у феномені живого, в доцільності явищ природи та в її красі. Тільки Найвищий Розум міг спроектувати, випробувати і ввести в дію такі надскладні космічні конструкції та об'рунтувати їх з прецизійною (фр. визначеною) математичною точністю. Про це здогадувався ще Піфагор (6 ст. до н. е.), а сміливо висловився вже в 17 ст. Галілео Галілей: «...книга природи написана математичною мовою». Сьогодні Всесвіт для нас є великою Інформацією, зашифрованою в законах природи. їх пізнання споконвіку хвилює невгамовну людську допитливість, яка змагає до розкриття таємниць світобудови. Однак небагатьом вдалося вийти за межі Всесвіту ще за життя й тим самим «порушити закон Ґеделя». До таких сміливців, наділених Божою ласкою провидіння і мудрості, слід зарахувати Мойсея, Аристотеля, св. Тому з Аквіну, Коперника, Галілея, Максвелла, Айнштайна...
Вони немовби припідняли завісу над таємницею Всесвіту, прочитали фрагменти Книги Природи, а деякі виразили їх математичними символами. Мабуть, найбільше цього прагнув Айнштайн, який щиро захопився ідеєю вивести універсальне рівняння єдиного всесвітнього поля, що охоплювало б усі сили природи. Він був переконаний, що Творець, облаштовуючи світ, не користувався сотнями довідників, підручників та енциклопедій, а мав цілісну, просту, наскрізь математично об'рунтовану Програму творіння! І якщо колись дійде до того, що всі рівняння Ньютона, Максвелла, Айнштайна, Дірака та грядущих фізиків зведуться до єдиної формули, то, безсумнівно, вона буде надзвичайно красивою математичною структурою і тріумфом людського розуму.
Тут послідовно розглянемо найновіші дані про те, якими визначальними характеристиками описується навколишній Всесвіт, як, за сучасними уявленнями, він виник та які найза- гальніші висновки випливають з дослідження Світу живих організмів.
Еще по теме Теорема Ґеделя:
- Главная теорема теории аргументации
- Зміст
- Логический базис теории аргументации
- Как строить философию?
- 3.1.Изменение формулировки системы BMV
- Логика высказываний как исчисление
- Логический базис индукции
- Отношение логического следования в логике высказываний
- §3. История логики
- Теоретические методы
- Теоретические методы
- Школа Пифагора
- Шкода Пифагора
- 4.1.Семантическая непротиворечивость алгоритма
- Основные категории метафилософии