Обсуждение:Гёдель, Курт

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

В тексте статьи содержался такой кусок: "Одна из них гласит, что любой язык, достаточно сильный для определения натуральных чисел (например, логика второго порядка или русский язык), является неполным. То есть содержит высказывания, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом языка." В русском языке нет аксиом! Здесь речь идет о формальном языке. 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)