Гёдель, Туринг, Черч

 
1 2 3 4
RU Кирилл #09.04.2004 12:27
+
-
edit
 

Кирилл

втянувшийся

Вот эта как раз имеет решение - брадобрей бреется сам (нет условия "тех и только тех").
- Сами понимаете, вселенная-то на моей стороне.
- Вот это мне таким вульгарным и кажется.
 
+
-
edit
 

AidarM

аксакал
★☆
2 Mishka

Письмо ваше прочел, ОК, большое спасибо. :)

И мне приятно было увидеть ваши ссылки на Фихтенгольца, Бронштейна и Корнов. :)
Солипсизм не пройдёт! :fal:  
+
-
edit
 

-exec-

опытный

Mishka, 09.04.2004 13:41:33 :
Не, не эта, а вот эта - в гордке есть брадобрей-мужчина, который бреет всех мужчин, которые не бреют себя.
 


это почему она невычислимая?
брадобрей_бреет_мужика() очень даже вычислима весьма и совсем корректна.

а объект брадобрей_бреющий_того_кто_не_бреется_сам не существует.

и брадобрей_бреет_мужика(брадобрей_бреющий_того_кто_не_бреется_сам) поэтому ломается.

это блин как обязать функцию цвет возвращать цвет, а потом буйствовать по поводу цвет(воздух). я устал. давайте дальше по теме. тут народ просто тупняк какой-то разыгрывает.
 
+
-
edit
 

AidarM

аксакал
★☆
Разбавлю ка я свой систематический оффтоп ссылкой. Благодаря Balancer-у теперь могу выложить книжку.
Солипсизм не пройдёт! :fal:  

Fakir

BlueSkyDreamer
★★★
>Iva
>Я не возьмусь точно пересказывать книгу Клейна "Математика - утрата определнности" М.Наука 1982-84 года. Я ее тогда же и читал.

Маленькая поправочка: автор этой книги не Феликс Клейн, а американский математик М.Клайн.
 

Fakir

BlueSkyDreamer
★★★
>Mishka
> Давайте, все же приведем теорему Гёделя о неполноте - я уже приводил по памяти и пороюсь в книжках. Что-то мне кажется, что народ ее не так понимает. Хотя могу быть не прав.

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

Fakir

BlueSkyDreamer
★★★
> AidarM
>Блин, ну и что же до Канта умудрились добыть из абсолютного?

Ну, например, были свято уверены в абсолютности и единственности геометрии. Евклидовой :D
 

Fakir

BlueSkyDreamer
★★★
>Iva
>Но тут даже в науке встречаются забавные вещи - Пуанкаре? свою небесную механнику построил на несходящихся рядах - и ничего летают.

Хевисайд тоже на строгость всегда плевал, за что его пытались бить ;) Только, как выяснялось позже - он оказывался прав! :D
 

Fakir

BlueSkyDreamer
★★★
Кстати, кроме теорёмы Гёделя есть еще одна вещица, вышибающая почву из-под ног не слабее, но гораздо менее известная - её двоюродная сестра, теорема Левенгейма-Сколема. Она утверждает, что любая система, построенная на некоем наборе аксиом, допускает множество интерпретаций. Её "слабое" подобие можно даже получить из теоремы Гёделя.
 
1 2 3 4

в начало страницы | новое
 
Поиск
Настройки
Твиттер сайта
Статистика
Рейтинг@Mail.ru