Пес Ебленский - Апостериорная Аналитика Аристотеля альфа 6: как начать доказательство? [entries|archive|friends|userinfo]
rex_weblen

[ website | Наши рисуночки ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Links
[Links:| update journal edit friends fif tiphareth recent comments ]

Апостериорная Аналитика Аристотеля альфа 6: как начать доказательство? [Jul. 30th, 2020|10:38 am]
Previous Entry Add to Memories Tell A Friend Next Entry
[Tags|, , , , , , , ]
[Current Mood | calm]
[Current Music |Rainfall Years - 33rd of March]

Тут всем начинающим математикам дают бесценные советы о том, как начинать доказывать теоремы вида "для всех $A$, таких что $B$, верно $C$" или формально $\forall A \; . \; B \Rightarrow C$. Сами эти советы основаны на разработанной Аристотелем теории силлогизмов. О ней я предпочел не рассказывать, так как счел ее бесполезной. Поэтому не буду концентрироваться на деталях, а постараюсь своими словами изложить суть дела.

Для начала необходимо определиться с тем, каким априорным знанием будем пользоваться при доказательстве теоремы. А именно с предпосылками, аксиомами и набором уже известных фактов, которые можно было бы уже использовать в доказательстве. Причем, 'уже известный' значит не широко-известный или известный кому-то, а значит те, для которых сами знаем доказательства (причем построенные на одних и тех же аксиомах). Только факты, снабженные формальным доказательством, можно считать научным знанием. А кто этому правилу не следует, тот софист, а еще Сократ завещал всех софистов кормить говном. Аристотель также верно замечает, что если из какого-то факт вытекают верные выводы, то это еще не делает его верным.

Что же касается аксиом и предпосылок, то они не должны быть доказаны или даже истины. Но в процессе доказательства их необходимо предполагать истинными. Однако в конце нашего доказательство то, что делались предположения, необходимо учесть в форме самой теоремы. То есть, для примера в первом абзаце получим логическую форму
$$\mathcal{A}, a : A, B(a) \vdash C(a) ;$$
где $\mathcal{A}$ пусть обозначает множество аксиом, а $a : A, B(a)$ — наши предпосылки. От себя добавлю, что во время доказательства можно делать сколько угодно предположений, чего древние силлогисты не понимали. Это довольно удобно и так можно строить вспомогательные импликации, универсальные утверждения и даже определять новые функции. Все зависит от того, как заканчивается логический вывод после предположения. Однако, нужно всегда помнить, что делая какое-то предположение мы строим сложную логическую формы, а не доказываем вывод напрямую. Например, если мы предположим, что человек Ваня родился 1000 лет назад, то мы можем сделать вывод, что Ваня уже умер, так как люди столько не живут. Так вот, тут мы построили соответствующую импликацию (Вани больше 1000 лет $\Rightarrow$ Ваня умер), а не доказали, что Ваня умер. Но это и так должно быть очевидно и понятно.

Также Аристотель определенно говорит, хотя и очень коряво, что доказательство универсального утверждения это функция, которая сопоставляет каждому конкретному представителю $a$ и конкретному доказательству $B(a)$ какое-то доказательство конкретного факта $C(a)$. Поэтому к написанию доказательств можно подходить также как к написанию программ или алгоритмов.
LinkLeave a comment

Comments:
From:(Anonymous)
Date:July 30th, 2020 - 10:47 am

первонах сладкохлеб

(Link)
Два математика шли домой с двумя черными мешками говна. Им надо было переходить через железную дорогу. Они думали, что машина далеко, взлезли на насыпь и пошли через рельсы. Вдруг зашумела машина. Математик Калоедин pobezhal nazad, а бородатый математик Мойша перебежал через дорогу. Математик Калоедин zakrichal бородатому: Nye hodi nazad! Но машина была так близко и так громко шумела, что бородатый математик не расслышал; он подумал, что ему велят бежать назад. Он побежал назад через рельсы, споткнулся, выронил говно и стал подбирать его. Машина уже была близко, и машинист Лейбов свистел в хуй что было силы. Математик Калоедин krichal: Bros' govno!, а математик Мойша думал, что ему велят собрать говно, и ползал по дороге. Машинист Лейбов был очень глупый и не мог удержать машины. Он свистал в хуй изо всех сил и наехал на математика. Математик Калоедин krichal и plakal. Все проезжающие смотрели из окон вагонов, а кондуктор Вениамин побежал на конец поезда, чтобы видеть, что сделалось с математиком. Когда поезд прошел, все увидали, что математик лежит между рельсами головой вниз, ест говно и смеется. Потом, когда поезд уже отъехал далеко, математик Мойша поднял голову, вскочил на колени, собрал говно и побежал к коллеге. Так я впервые увидел математика Вербицкого.
From:(Anonymous)
Date:July 30th, 2020 - 03:16 pm

Re: первонах сладкохлеб

(Link)
это было бы смешно, если бы не было так смешно
From:(Anonymous)
Date:July 30th, 2020 - 11:46 am
(Link)
Не выношу подлых и злобно-завистливых примитивов. Ты не способен даже пост создать для перекрытия.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 11:51 am

(Link)
Меня незаслуженно перекрыл злобный Вениамин!
From:(Anonymous)
Date:July 30th, 2020 - 02:19 pm
(Link)
Шутка для любителей восточной эзотерики: Саид Гафуров – нахуй!
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 02:21 pm
(Link)
Нахуй это всегда нахуй.
From:(Anonymous)
Date:July 30th, 2020 - 03:17 pm
(Link)
Мой нахуй тебе в рот не влезет. Зато в анус твоей мамаши пролетал со свистом. Такая вот когомология
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 03:19 pm
(Link)
нужно будет попробовать...
From:(Anonymous)
Date:July 30th, 2020 - 11:54 am
(Link)
А правда, что ты Роман Лейбов? Слушай, у тебя голос и интонации такие «сладенькие» — как у Садкова, даже «слаще». Только вот этот акцент ебучий впечатление портит — «выполз из колумбария подержаться за пизду, увидел кучу гавна — решил поужинать, нахуй».
From:(Anonymous)
Date:July 30th, 2020 - 11:56 am
(Link)
Да погоди ты вырубаться.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 12:24 pm
(Link)
Это у Вас уже шиза.
From:(Anonymous)
Date:July 30th, 2020 - 12:31 pm
(Link)
ЛОЛ, вот тебя и порвали.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 12:23 pm
(Link)
Я не Роман Лейбов, Роман Лейбов это [info]r_l.
Откуда у Вас инфа по моему голосу?
From:(Anonymous)
Date:July 30th, 2020 - 12:32 pm
(Link)
ЛОЛ, вот тебя и порвали.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 12:37 pm
(Link)
НЕ ты порвал, вот и бесишься!
From:(Anonymous)
Date:July 30th, 2020 - 12:41 pm
(Link)
Обтекай, сынок.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 12:45 pm
(Link)
Я каждый день теку по сильным хуястым самцам.

А вообще звучит как цитата Гоблина, а от этого лысого я не теку.
From:(Anonymous)
Date:July 30th, 2020 - 12:49 pm
(Link)
И кто ж ты теперь получаешься? А совсем тупенький и ленивый дурачок получаешься.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 12:54 pm
(Link)
От Веника тоже не теку.

Мне нужен племенной трахальщик-производитель!
From:(Anonymous)
Date:July 30th, 2020 - 01:25 pm
(Link)
Я тебя на живую трахну. Стерильность не играет роли, от гомосекса не беременеют. Расставляй булки.
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 01:44 pm
(Link)
Кайф!

)*)
From:(Anonymous)
Date:July 30th, 2020 - 01:58 pm
(Link)
пошёл нахуй фурфаг
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 02:02 pm
(Link)
Лучше б трахал меня в попочку, а не вонял.
From:(Anonymous)
Date:July 30th, 2020 - 02:26 pm
(Link)
можно подумать твою вонь можно так унять
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 02:36 pm
(Link)
Воняет здесь только недовольный Анон, я же делюсь с миром мудростью и любовью.
From:(Anonymous)
Date:July 30th, 2020 - 02:51 pm
(Link)
пшёл нахуй гондон
[User Picture]
From:[info]rex_weblen
Date:July 30th, 2020 - 02:54 pm
(Link)
штопаный гондон (это ты) порвался, расплескался и воняет.
From:(Anonymous)
Date:July 30th, 2020 - 03:17 pm
(Link)
Что тут происходит?! Опять Калоедина накормили немытыми хуями? Ну да ничего нового, всё как всегда...