Обсуждение:Гёдель, Курт (KQvr';yuny&I~;yl,, Trjm)

Перейти к навигации Перейти к поиску

В тексте статьи содержался такой кусок: "Одна из них гласит, что любой язык, достаточно сильный для определения натуральных чисел (например, логика второго порядка или русский язык), является неполным. То есть содержит высказывания, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом языка." В русском языке нет аксиом! Здесь речь идет о формальном языке. 79.120.9.75 07:34, 10 апреля 2008 (UTC)[ответить]

В русском языке как и в любом другом естественном языке есть аксиомы, то есть имеются конкретные правила по которым из слов строятся предложения. Есть даже теория что у всех естественных языков одни и те же правила, см: Универсальная грамматика.--Hq3473 22:08, 10 апреля 2008 (UTC)[ответить]

Мне интересно правда или нет, то, что доказательство Гёделем теории неполноты сталло причиной самоубийства его друга. правда ли это и можно подробней об этой трагической детали биографии учёного. (Сэдрик Азин 17:56, 6 августа 2009 (UTC))[ответить]

Доказательство существования Бога

[править код]

Жаль, http://en.wikipedia.org/wiki/G%f6del's_ontological_proof по-русски нет, и даже тут вкратце не упомянуто. --Nashev 14:30, 9 сентября 2013 (UTC)[ответить]

Хотя, упоминается в Вопрос существования Бога и вот в ЖЖ перевод какой-то есть --Nashev 14:53, 9 сентября 2013 (UTC)[ответить]