• Авторизация


Если вас куда-то посылают, значит вы давно там не 18-11-2004 17:56 к комментариям - к полной версии - понравилось!


Если вас куда-то посылают, значит вы давно там не бывали.
вверх^ к полной версии понравилось! в evernote
Комментарии (30): вперёд»
Alkor 18-11-2004-17:58 удалить
Жаль, что формальная логика тут не действует. Потому что даже если вы там только что были - это не значит, что вас не пошлют.
Davka 18-11-2004-18:03 удалить
Исходное сообщение Alkor
Жаль, что формальная логика тут не действует. Потому что даже если вы там только что были - это не значит, что вас не пошлют.



а как с точки зрения математической логики?
Alkor 18-11-2004-18:06 удалить
Ну я про нее и говорю... По мат. логике если из А следует Б, то из не Б следует не А...
Davka 18-11-2004-18:08 удалить
Исходное сообщение Alkor
Ну я про нее и говорю... По мат. логике если из А следует Б, то из не Б следует не А...



для меня, для тупицы это сложновато.
Alkor 18-11-2004-18:44 удалить
Так... доказательство простое. Из "не Б" следует "не А", потому что если бы из "не Б" могло следовать "А", то, как мы знаем, из "А" следует "Б". Т.е., получается, что из "не Б", следует "Б".
Пример:
если закрыть глаза - будет ничего не видно. (A->B)
если что-то видно - глаза открыты (не B-> не A).
Ну на самом деле в реальном мире часто не работает...
Davka 18-11-2004-18:53 удалить
Исходное сообщение Alkor
Так... доказательство простое. Из "не Б" следует "не А", потому что если бы из "не Б" могло следовать "А", то, как мы знаем, из "А" следует "Б". Т.е., получается, что из "не Б", следует "Б".
Пример:
если закрыть глаза - будет ничего не видно. (A->B)
если что-то видно - глаза открыты (не B-> не A).
Ну на самом деле в реальном мире часто не работает...




брррр. вообще-то помнится учил мат логику в МГУ, первые лекции по мат анализу на физ-факе.
Alkor 18-11-2004-18:57 удалить
Коллега!
А зачем же тогда я вам тут все это рассказываю! :)
Davka 18-11-2004-19:01 удалить
Исходное сообщение Alkor
Коллега!
А зачем же тогда я вам тут все это рассказываю! :)



кандидатскую защитил в 1989г., а докторскую в 1993 по специальности УДК.01.01.02 (теоретическая физика, в том числе математическая физика)
Davka 18-11-2004-19:03 удалить
Alkor, а ты тоже физ фак?
Alkor 18-11-2004-19:04 удалить
А я в прошлом году аспирантуру бросила... Так что защиты не будет. Ну да ладно.
Davka 18-11-2004-19:15 удалить
Alkor, а где? я жил в Черноголовке. ИТФ им. Ландау.
Леони 18-11-2004-20:33 удалить
Davka, знаешь это: "Я иду, куда меня еще не было. Здесь уже побывал"?
Это из романа. А из анекдотов есть еще лучше. Но ты не спрашивай, не скажу
Davka 18-11-2004-22:05 удалить
Леони, почему не скажешь?
Леони 18-11-2004-22:18 удалить
Davka, не могу придумать как это поэлегантнее сказать. Ну, как ты, например, это сделал в постинге :)
Только смысл наоборот - кто остается, уже там... посылать не надо ;)
Davka 18-11-2004-22:27 удалить
Леони, смысл понял. :) Кстати спасибо за поддержку. (тогда в посте с д-р. Аргоном. :)
[показать]
Леони 18-11-2004-22:41 удалить
Davka, не за что.
Спасибо за розу!
Davka 18-11-2004-23:48 удалить
Исходное сообщение Наль
Alkor, супер))))))))))))
[показать]



это ты по-поводу чего?
Наль 19-11-2004-01:24 удалить
Davka, рассуждения мне понравились))))))))
Davka 19-11-2004-02:28 удалить
Наль, ааа, формальная и математическая логики?
Alkor 19-11-2004-11:01 удалить
Я закончила физфак МГУ, а в аспирантуре была в МИАНе.
Davka 19-11-2004-12:57 удалить
Исходное сообщение Alkor
Я закончила физфак МГУ, а в аспирантуре была в МИАНе.



а чего бросила? Может быть хоть защититься стоило?
Alkor 19-11-2004-13:03 удалить
Конечно, стоило. Но не было сил и работать и учится, а нужны были деньги. К тому же мне хотелось не хотя бы защитится, а реально "заниматься наукой", что с работой точно не совместимо.
С одной стороны, жалею, с другой - понимаю, что вряд ли можно было решить по другому.
Davka 19-11-2004-13:09 удалить
Alkor, понимаю.... . Сам из науки 10 лет назад ушёл.
Davka 19-11-2004-13:12 удалить
Alkor, а сейчас чем занимаешься?
Alkor 19-11-2004-13:13 удалить
А сейчас руковожу группой тестирования ПО и заодно пытаюсь освоить работу аналитика-проектировщика.
Davka 19-11-2004-13:25 удалить
Alkor, понятно.:):):):):):)


Комментарии (30): вперёд» вверх^

Вы сейчас не можете прокомментировать это сообщение.

Дневник Если вас куда-то посылают, значит вы давно там не | Davka - Дневник Davka | Лента друзей Davka / Полная версия Добавить в друзья Страницы: раньше»