kosta.gif
повестки arrow дождя

жалуем

ПРИСУТСТВУЮЩИХ

OS: Linux s
PHP: 5.1.6
MySQL: 10.3.38-MariaDB-cll-lve
Время: 11:34
Caching: Disabled
GZIP: Enabled
Участников: 4
Новостей: 345
Ссылок: 4
посетителей: 14898885

Tuesday, 28 March 2023

ловкость пальцев
 понимания на которых основывается пророческое
Введите искомое слово.

Названии Комментариях Везде
Редакт. глоссарий
Отправить термин

Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Гёделя Теорема - важнейший результат, полученный авст¬рийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны сред¬ствами Z На примере анализа формальной системы, сформулиро¬ванной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела «Principia Mathematica», Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предло¬жения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким математиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложе¬ния, которые оказываются неразрешимыми. С философско-методологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человечес¬кого знания. / вот тут иисус есть в роли слова и тут же он то говорящий так как же он на самом деле а так как математика когда она то словом то математиком то видишь как ей много вариантов так что читай её как можешь видеть а не смотри одно без многого того же ещё раз можно ли бога доказать при помощи бога не прибегая к помощи со стороны естественно можно но будет ли доказательство таковым если недоказуемо со стороны вот так прибегнув к логике к примеру пусть опровергнут в боге сторону смеётся ной глубин высокого не захлебнитесь мелководьем
 


Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Glossary V2.0

БЛАГОУСТРАИВАТЬ

для записи 2.27.20.6

чинам чести 1.1.49 чинам чести 2.27.7