Кек. Когда я был школьником я увлекался программированием. Но ближе к её окончанию понял, что это мартышкино дело. И поступив на мехмат без экзаменов с помощью диплома с олимпиады по программированию, никогда больше всерьез с этим не связывался.
>>48824 Хотел написать свой движок. Все отсылали линейку учить. Начал учить и забыл про программирование. Грузчиком работать и то веселее, чем прогером.
>>48819 (OP) Утверждающий просит опровергнуть его утверждение. Сразу видно, что неосилятор в математике, ибо даже не тянет из логики закон достаточных оснований. Аналогия от меня - ты хуесос. Докажи, что я не прав.
>>50732 Лол, блядь, по такой "логике" нельзя требовать доказать отсутствие самого большого простого числа. Поссал на ебаната, математиков наоборот коробит от "рря бремя доказательства", придумали хуйню какую-то гумусную, что отрицание утверждения не является утверждением, охуеть.
>>50740 Это закон, блеать! Ты не знаешь что такое закон? Без соблюдения этого закона никто не гарантирует, что вывод будет достоверным. Поэтому, без него можешь пойти нахуй.
>>50739 Ебать, ты ещё и на чайнике Рассела обосрался. Ебать ты идиот. Тебе в математику нельзя. Сиди кодообезьяной. >нельзя требовать доказать отсутствие Нельзя. Учи матчасть, неуч.
>>50744 В математической логике нет ничего про закон достаточного основания, это только в логике как разделе философии есть, сравни https://ru.wikipedia.org/wiki/Логика ttps://ru.wikipedia.org/wiki/Математическая_логика, но логика как раздел философии к математике не имеет отношения. >>50745 >нельзя требовать доказать отсутствие >докажите, что не существует максимального простого числа >НИЗЯ! Ок, я тебя понял, либо жир, либо дурак, общаться с тобой дальше не буду.
>>50758 Причем тут математическая логика? В таком случае ты хуесос, ога. Цитата ссылки, что ты принес: >В любой науке логика служит одним из основных инструментов. Кроме философии, логика также является подразделом математики, а булева алгебра одной из основ информатики. https://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0 Странно, что ты разделяешь логику и мат.логику. Ведь >В более широком смысле рассматривается как математизированная ветвь формальной логики[4] — «логика по предмету, математика по методу»[5], «логика, развиваемая с помощью математических методов»[6].
>Ок, я тебя понял, либо жир, либо дурак, общаться с тобой дальше не буду. В любой ситуации называешь оппонента дураком и перестаешь общаться? Рассел - один из создателей современной мат.логики привёл чайник Рассела, а дурачки типо тебя знают лучше Рассела.
>>50838 >но в данном случае не суть Не знаю, мне почему-то максимальный слух порезало. Наибольший как-то лучше звучит, не? Понятно, что это одно и то же в лумах.
>>50758 >В математической логике нет ничего про закон достаточного основания Есть, конечно. В любом выводе из гипотез формула должна быть либо аксиомой, либо гипотезой, либо получаться из предыдущих формул применением правила вывода. Это и есть закон достаточного основания.
>>50751 ну сейчас заказал пиццу и буду есть ее со своей малышкой (модель кстати). Буду ей рассказывать про теорию групп, попутно раздевая ее. А у тебя как дела?