| Автор | Внеигровая тема для Анимешников ^_^ |
|---|
| Я пробовала одного анимешника,- он не гей, правда, не анимешник тоже, как оказалось. |
для Фрау Злюка:
анимэ вы не смотрели, так что нещитово |
для T-i-m-o-t-e-i:
это как раз в которой (среди прочих) есть аксиома для любого A (A или не A)/Точнее это классическое исчисление высказываний. А классчиеская логика это язык предикатов 2 порядка, построенный на таких акиомах. А бывает еще интуиционисткое и счисление высказываний. Там такой аксиомы нет, и для некоторых высказываний это не выполнено. И на нем тоже много чего строят. |
самый простой пример модели интуиционистского исчисления высказываний:
(на естественном языке понятном).
Будем говорить что A истинно тогда и только тогда, когда A- на данный момент доказано человечеством (оффициально опубликованно доказательство). Тогда для такого определения истинности будут справедливы все аксиомы ИИв. То есть это модель интуиционисткой логики (называется модель Крипке). В частности если A= проблема гольдбаха, то оно не истинно и не ложно. |
для Ути-Пути2:
Я просто знаю про формальную и неформальную логику. А чё такое классическая - хз.
для Фрау Злюка:
Вот именно. |
| ну точнее это не модель Крипке а частный случай модели крипке)) |
Что такое классическая логика?
Вероятно, он имеет ввиду Аристотеля. |
для Sun_In_Gun:
С ним ни в чём нельзя быть уверенным. :( |
для T-i-m-o-t-e-i:
Так учиться надо, ботать. работайте, друзья мои, работайте. © Райгородский.
Простым языком я написал в посте 151804, а нормально чтобы понять надо читать учебники или слушать лекции, а не только читать посты в ЖЖ |
| Но еще, кого не забанили может почитать в Википедии что такое классическая логика. Но так вы никогда не дойдете до учебников. |
| Простым языком я написал в посте 151804 сори, имелось в виду 151803 |
| Я прощаю тебя. |
Титаны вышли, очередная серия. Например тут https://animerost.org/
Осторожно, фандаб!! |
Только формальная логика, только хардкор!
Пользуясь случаем, хотел бы заявить, что любовь к отклонениям от каноничной логики является необходимым и достаточным условием для того, чтобы быть бабой. Или геем. |
для Necrovoin:
нет. Например Колмогоров- не гей, но он любил логику задач (она же конструктивная логика), частный случай интуиционистской, то есть не классической. А, а? Съел ?? |
нет. Например Колмогоров- не гей, но он любил логику задач (она же конструктивная логика), частный случай интуиционистской, то есть не классической. А, а? Съел ??
Может, он би. Мы условились ранее подобных людей тоже называть геями. |
| Свечку одну на двоих тоже держали?) |
| Блин черт, я вспомнил, что Колмогоров женился уже на пенсии, детей у него небыло, и тусовался он только с П.С. Александровым всю жизнь. И их подозревали, что ни любовники. Жесть , это был эпик фэйл=( Но наверняка найдутся другие примеры, просто я не знаю. Читаю биографию Брауэра - у него тоже не было детей (хоть и была жена) чет ппц мне это не нравится... |
| Может и не только свечку одну на двоих делили. %) |
Может и не только свечку одну на двоих делили. %)
Ну утя же анимешник. |
