![]()
Обсуждение![]()
:![]()
Гёдель, Курт
Проект «Астрономия» (уровень ДС, важность для проекта низкая) 
Эта статья тематически связана с вики-проектом «Астрономия», цель которого — создание и улучшение статей по темам, связанным с астрономией. Вы можете Уровень статьи по шкале оценок проекта: добротная
Важность статьи для проекта «Астрономия»: низкая |
 | Статья «Гёдель, Курт» входит в общий для всех языковых разделов Википедии расширенный список необходимых статей. Её развитие вплоть до статуса избранной является важным направлением работы русского раздела Википедии. Вы можете посетить страницу проекта «Мириада», который занимается улучшением наиболее важных статей Википедии, и, при желании, присоединиться к нему. |
Проект «Математика» (уровень ДС, важность для проекта высокая) 
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете Уровень статьи по шкале оценок проекта: добротная
Важность статьи для проекта «Математика»: высокая |
Проект «Философия» (уровень ДС) 
Эта статья тематически связана с вики-проектом «Философия», цель которого — создание и улучшение статей по темам, связанным с философией. Вы можете Уровень статьи по шкале оценок проекта: добротная |
 | Эта статья входит в число добротных статей русской Википедии. См. страницу номинации (статус присвоен 6 декабря 2017 года). |
В тексте статьи содержался такой кусок: "Одна из них гласит, что любой язык, достаточно сильный для определения натуральных чисел (например, логика второго порядка или русский язык), является неполным. То есть содержит высказывания, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом языка."
В русском языке нет аксиом! Здесь речь идет о формальном языке. 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)
Ответить
[ответить
]