Кек. Когда я был школьником я увлекался программированием. Но ближе к её окончанию понял, что это мартышкино дело. И поступив на мехмат без экзаменов с помощью диплома с олимпиады по программированию, никогда больше всерьез с этим не связывался.

>>48819 (OP)
s/программирование/матан/
s/матан/программирование/

>>48824
Хотел написать свой движок. Все отсылали линейку учить. Начал учить и забыл про программирование. Грузчиком работать и то веселее, чем прогером.

>>48819 (OP)
Утверждающий просит опровергнуть его утверждение. Сразу видно, что неосилятор в математике, ибо даже не тянет из логики закон достаточных оснований.
Аналогия от меня - ты хуесос. Докажи, что я не прав.

>>50732
Лол, блядь, по такой "логике" нельзя требовать доказать отсутствие самого большого простого числа. Поссал на ебаната, математиков наоборот коробит от "рря бремя доказательства", придумали хуйню какую-то гумусную, что отрицание утверждения не является утверждением, охуеть.

>>50732

>логики закон достаточных оснований.

Это аксиома какая-то?

>>50740
Это закон, блеать! Ты не знаешь что такое закон? Без соблюдения этого закона никто не гарантирует, что вывод будет достоверным. Поэтому, без него можешь пойти нахуй.

>>50739
Ебать, ты ещё и на чайнике Рассела обосрался. Ебать ты идиот. Тебе в математику нельзя. Сиди кодообезьяной.

>нельзя требовать доказать отсутствие

Нельзя. Учи матчасть, неуч.

Че, математики, как там с зарплатой в НИИ?

>>50751
ну на постдоке 200к рубасов в месяц имею, не сказать что много, но хватает.

>>50744
В математической логике нет ничего про закон достаточного основания, это только в логике как разделе философии есть, сравни
https://ru.wikipedia.org/wiki/Логика
ttps://ru.wikipedia.org/wiki/Математическая_логика, но логика как раздел философии к математике не имеет отношения.
>>50745

>нельзя требовать доказать отсутствие

>докажите, что не существует максимального простого числа

>НИЗЯ!

Ок, я тебя понял, либо жир, либо дурак, общаться с тобой дальше не буду.

>>50758

>максимального

Наибольшего, но в данном случае не суть.

>>50758
Причем тут математическая логика?
В таком случае ты хуесос, ога.
Цитата ссылки, что ты принес:

>В любой науке логика служит одним из основных инструментов. Кроме философии, логика также является подразделом математики, а булева алгебра одной из основ информатики.

https://ru.wikipedia.org/wiki/Логика
Странно, что ты разделяешь логику и мат.логику. Ведь

>В более широком смысле рассматривается как математизированная ветвь формальной логики[4] — «логика по предмету, математика по методу»[5], «логика, развиваемая с помощью математических методов»[6].

>Ок, я тебя понял, либо жир, либо дурак, общаться с тобой дальше не буду.

В любой ситуации называешь оппонента дураком и перестаешь общаться?
Рассел - один из создателей современной мат.логики привёл чайник Рассела, а дурачки типо тебя знают лучше Рассела.

Правильно, сиди в кодомакаках.

>>50759
Бля, порядок на натуральных числах - линейный.

>>48819 (OP)
ну как бы наоборот лол

ты видимо не совсем программист, а макака какая-то

мимопограмист

>>61908

>ты видимо не совсем программист, а макака какая-то

А какая разница?

>>61911
макаки с матаном дел мало имеют

>>48819 (OP)
Да. Так и есть. Что сказать-то хотел, няша?

>>61918
это у макак и программистов как раз общее

>>61920
что ты с ответом опоздал примерно на 10 месяцев

>>48819 (OP)
Ваше говно - программирование для неосиливших матан.

>>50758

>В математической логике нет ничего про закон достаточного основания

Есть, конечно. В любом выводе из гипотез формула должна быть либо аксиомой, либо гипотезой, либо получаться из предыдущих формул применением правила вывода. Это и есть закон достаточного основания.

>>76037
Это определение вывода просто, у нас теперь любое индуктивное определение — это закон, или только некоторые?

>>76041
Логика - просто правила построения строк символов.
Любой закон логики - просто синтаксическое правило.

>>76048

>Логика - просто правила построения строк символов.

А это тоже закон логики или уже закон металогики?

>>76063
А почему ты думаешь, что это закон?

>>83530
>>50754
Кто теперь поспорит с тем, что математика развивает воображение?

>>83552
Перерисовывать!

>>83626
С пыней?

>>83627
С Дональдом.
Не горишь с прошлой перепалки?

>>83655

>С Дональдом.

Трампом?
>Не горишь с прошлой перепалки?
О чем ты?