>Mishka
> Давайте, все же приведем теорему Гёделя о неполноте - я уже приводил по памяти и пороюсь в книжках. Что-то мне кажется, что народ ее не так понимает. Хотя могу быть не прав.
Действительно, обычно ТГ понимают несколько превратно. Я сам до недавнего времени был уверен, что Гёдель доказывает, по сути, существование для каждой теории (системы, языка) её аксиом, и потому ТГ - штука вполне очевидная. Вроде как "в каждом языке существуют понятия, неопределяемые средствами данного языка". Однако Гёдель доказал нечто покруче - в любой системе, основанной на наборе аксиом, существуют утверждения, которые невозможно ни доказать, ни опровергнуть. И их, вообще говоря, бесконечно много!
Гедель фактически угробил аксиоматический подход к обоснованию математики.