c
sergevp
Ну ок, "предположим, что [true]", что дальше? ;)
Ну ок, "предположим, что [true]", что дальше? ;)
Size: a a a
2021 March 25
t
ты не знаешь, false или true
t
ничего дальше
c
sergevp
Знаю. Теорема Ферма доказана же :)
Знаю. Теорема Ферма доказана же :)
t
ой, перепутал с другой вселенной
t
за доказательство дали абелевскую же
t
возьми любую другую гипотезу, преврати в утверждение https://ru.wikipedia.org/wiki/%D0%9E%D1%82%D0%BA%D1%80%D1%8B%D1%82%D1%8B%D0%B5_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%BF%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D1%8B
c
sergevp
Ну, мы получим логическое уравнение с переменной неизвестного значения. Точнее, мы получим фразу "предположим, что [логическое уравнение]". Странная фраза. Я не вижу в ней смысла.
Ну, мы получим логическое уравнение с переменной неизвестного значения. Точнее, мы получим фразу "предположим, что [логическое уравнение]". Странная фраза. Я не вижу в ней смысла.
c
sergevp
"Предположим, что [true]" или "Предположим, что [false]" — что это вообще значит?
"Предположим, что [true]" или "Предположим, что [false]" — что это вообще значит?
t
почему ты видел смысл в выражении про бога?)
c
sergevp
Потому что в нём было само утверждение, которое можно было проверить.
Потому что в нём было само утверждение, которое можно было проверить.
c
sergevp
А тут утверждения нет.
А тут утверждения нет.
t
как нет?
c
sergevp
Ну нету его.
Ну нету его.
t
есть
c
sergevp
Если выкинуть "предположим, что", то есть.
Если выкинуть "предположим, что", то есть.
c
sergevp
А с "предположим, что" утверждение становится неполным.
А с "предположим, что" утверждение становится неполным.
c
sergevp
Потому что не понятно, зачем мы это предполагали.
Потому что не понятно, зачем мы это предполагали.
t
предположим, что если бог существует, то диалектика - хрень
t
тоже нет смысла?