Adamax
|
|
|
|
|
Рег.: 31.03.2006
|
Сообщений: 998
|
|
Рейтинг: 812
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Grig]
09.11.2008 01:30
|
|
|
ну если разрешается несчетный алфавит, то и утверждение о счетности числа всех теорем становится неверным
|
|
Grig
|
Carpal Tunnel
|
|
|
|
Рег.: 03.02.2004
|
Сообщений: 5344
|
Из: Глубокое замкадье
|
Рейтинг: 7053
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: porcupine]
09.11.2008 01:30
|
|
|
Извини, мне казалось, что я ответил. Да, это то самое место, в котором возникает парадокс.
На самом деле логики позволяют себе рассматривать теории, в которых для каждого числа (действительного) введена константа, его обозначающая. Таких констант, очевидно, континуум, но логики не парятся и запросто для констант тоже что-нить выписывают для этих.
Так что смогу, хоть и придется помучиться.
|
|
Grig
|
Carpal Tunnel
|
|
|
|
Рег.: 03.02.2004
|
Сообщений: 5344
|
Из: Глубокое замкадье
|
Рейтинг: 7053
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Adamax]
09.11.2008 01:31
|
|
|
выходит, что так и надо. а говнозадачка о том, что теорем не более, чем счетно - это говнозадачка.
|
|
porcupine
|
Carpal Tunnel
|
|
|
|
Рег.: 09.09.2008
|
Сообщений: 6598
|
|
Рейтинг: 7627
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Grig]
09.11.2008 01:32
|
|
|
Quote:
Таких констант, очевидно, континуум
Ну а на это уже ответили в предыдущем сообщении
|
And then my master flew to the moon in a rocket of flamin' cheese! I like cheese! |
|
Vlad
|
addict
|
|
|
|
Рег.: 18.09.2004
|
Сообщений: 446
|
|
Рейтинг: 236
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Grig]
09.11.2008 09:41
|
|
|
Никогда не слышал, чтобы добавлялось несчетное множество констант. Потому что при этом практически все стандартные результаты идут прахом. Либо ты это прочитал в какой-то реально продвинутой книже, и при этом не прочитал всех оговорок, которые при этом делают, либо просто все перепутал. Скорее второе.
|
|
DizzyDen
|
достаточно добр
|
|
|
|
Рег.: 04.03.2003
|
Сообщений: 51427
|
Из: http://лакалхвост
|
Рейтинг: 13546
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Grig]
10.11.2008 17:49
|
|
|
Quote:
Далее, заменяем N на R и получаем континуальное множество доказанных теорем.
С другой стороны есть школьное упражнение: докажите, что число теорем, которые когда либо будут доказаны, не более чем счетное. Доказательство: доказанная теорема - это конечный текст. Таковый не более чем счетно.
Предлагаю из осторожности считать, что умножение на ноль дает ноль только для натуральных чисел.
|
If stateless paradigm is good for your code, why shouldn't it be for your country? |
|
Gonobobel
|
|
|
|
|
Рег.: 20.05.2006
|
Сообщений: 10715
|
|
Рейтинг: 4318
|
|
Re: [Флуд] Можно ли доказать бесконечное число утверждений?
[re: Grig]
11.11.2008 19:41
|
|
|
Quote:
PS Привет Гонобобелю
И тебе привет! Сорри, в обсуждении не приму участия - нет времени ((((((((
|
I have retired this character... 06.05.2010. |
|