2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2

Континуум-гипотеза верна или не верна?
Да 48%  48%  [ 13 ]
Не знаю (я интуиционист) 52%  52%  [ 14 ]
Всего голосов : 27
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 19:19 
Экс-модератор
Аватара пользователя


23/12/05
12046
Вообще, утверждение $A \vee \bar{A} \equiv true $, так что для любой гипотезы утверждение "верна или не верна" истинно

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 19:21 
Заслуженный участник
Аватара пользователя


20/08/14
8062
В классической логике - да. Но интуиционисты же отрицают закон исключенного третьего:)

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 20:37 
Заслуженный участник


27/04/09
28128
Точнее, не принимают (при этом его двойное отрицание окажется верным). Хотя если LEM принять, например, в HoTT (несмотря на то, что аксиома унивалентности тоже выглядит не очень конструктивно, по-моему, а без неё-то как раз ничего страшного не случится), получится противоречие, что означает, что его отрицание там верно (правда, в ослабленном виде с ним ещё можно поговорить, но я тут никаких умных подробностей не добавлю).

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 22:29 
Заслуженный участник
Аватара пользователя


11/12/05
9953
g______d в сообщении #1213014 писал(а):
Нет, это только те, кто читать не умеют :) Впрочем, до меня точная формулировка вопроса не сразу дошла.
А до меня до сих пор не доходит... Даже с подсказкой. :roll:

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 22:36 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Dan B-Yallay в сообщении #1213053 писал(а):
А до меня до сих пор не доходит... Даже с подсказкой. :roll:


photon в сообщении #1213019 писал(а):
Вообще, утверждение $A \vee \bar{A} \equiv true $, так что для любой гипотезы утверждение "верна или не верна" истинно

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 22:46 
Заслуженный участник


27/04/09
28128

(Captain Obvious to the rescue)

Или в вопросах может обозначать не только предлагаемые альтернативные ответы, но и дизъюнкцию (строгую или нестрогую — уже другой вопрос) каких-то высказываний, как это бывает в общем случае. В речи эти два значения обычно можно разделить по интонации*, в тексте иногда это намерение можно передать выделением. Если хотеть. :-)

* Попытаюсь записать, как я это бы сказал. Стрелочки после слога показывают повышение/понижение тона приблизительно на этом слоге, скобки — мою неуверенность в фонетических талантах.
Пример 1.
— Вам чай с мё↗дом или↘ са↗харом↘?
[— С лимоном.]

Пример 2.
— Вам чай с мё↗дом или(↗) са↗харом(↘)?
[— Да.]

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 23:18 
Заслуженный участник
Аватара пользователя


11/12/05
9953
g______d,
arseniiv

Спасибо за пояснения. Теперь все стало на место.

(Оффтоп)

Наверное, у меня прогрессирующие проблемы с русской речью, но я смутно себе представляю, чтобы на вопрос больного:
- Доктор, я безнадёжен или нет?
доктор бы ответил:
- Абсолютно верно.

Но, учитывая в каком подфоруме эта тема, наверное надо было читать и интерпретировать глубжей и ширше... :D

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 23:26 
Заслуженный участник
Аватара пользователя


20/08/14
8062
Dan B-Yallay в сообщении #1213065 писал(а):
Но, учитывая в каком подфоруме эта тема
В каком подфоруме какого форума:)
А вообще, упоминание интуиционизма было тонкой подсказкой:)

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 23:27 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Ну да, со стороны доктора это, видимо, будет понято как цинизм. Прям классический медицинский анекдот получится.

Anton_Peplov в сообщении #1213069 писал(а):
А вообще, упоминание интуиционизма было тонкой подсказкой:)
Не могу не согласиться.

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение28.04.2017, 23:42 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Скорее, сам ТС был подсказкой -- если бы под ответом "да" подразумевалось "верна", то это корявая формулировка вопроса (в которых он обычно не замечен).

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение29.04.2017, 10:00 
Аватара пользователя


22/07/08
1373
Предместья

(Оффтоп)

До меня, по-моему, никогда не дойдет...
----------------
1. Континуум-гипотеза верна или не верна?
- Да, верна!
2. Континуум-гипотеза верна или не верна?
-Да, не верна!
-------------
В контексте второго ответа:
- Не знаю (я интуиционист),
первый ответ, видимо, нужно трактовать так:
- Континуум-гипотеза верна или не верна?
- Да, я знаю верна или не верна континуум-гипотеза! :D

 Профиль  
                  
 
 Re: Опрос: Континуум-гипотеза верна или не верна?
Сообщение29.04.2017, 10:04 
Заслуженный участник
Аватара пользователя


26/01/14
4601
Нет, не так!
1. Континуум-гипотеза верна или не верна?
- Да, верна!
2. Континуум-гипотеза верна или не верна?
-Да, не верна!
3. Континуум-гипотеза верна или не верна?
- ДА, она точно или верна, или не верна, но я не знаю, верна она или не верна.
4. Континуум-гипотеза верна или не верна?
- Не знаю, я интуиционист и не признаю закон исключённого третьего; может, эта гипотеза не является ни верной, ни неверной.
5. Континуум-гипотеза верна или не верна?
- НЕТ; она точно не является ни верной, ни неверной (такого ответа в опросе нет).

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 27 ]  На страницу Пред.  1, 2

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group