Карта сайта

Это автоматически сохраненная страница от 16.09.2016. Оригинал был здесь: http://2ch.hk/b/res/136258538.html
Сайт a2ch.ru не связан с авторами и содержимым страницы
жалоба / abuse: admin@a2ch.ru

Птн 16 Сен 2016 10:21:37
Поясните за теорему о неполноте. Все говорят
Поясните за теорему о неполноте. Все говорят
Поясните за теорему о неполноте. Все говорят её следствие в том, что чистая математика ради математики это хуита хуиты и все её результаты хуита, тогда почему она не умерла?

Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.

Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.

Что это значит то? 1+1 не равно 2?



Птн 16 Сен 2016 10:22:18
Web►M



Птн 16 Сен 2016 10:22:54
..


Птн 16 Сен 2016 10:23:32



Птн 16 Сен 2016 10:23:48



Птн 16 Сен 2016 10:24:11
-

Птн 16 Сен 2016 10:24:28



Птн 16 Сен 2016 10:25:02
Web►M



Птн 16 Сен 2016 10:25:21



Птн 16 Сен 2016 10:26:18
вики не читал что ли?
вполне доступно написано.

Птн 16 Сен 2016 10:26:32



Птн 16 Сен 2016 10:26:54
>>136258693
Нет не доступно.

Птн 16 Сен 2016 10:28:11
хули непонятного? во второй говорится, что если всё правильно, то нельзя вывести формулу, которая докажет что всё правильно. в первой просто говорится, что если все правильно, то есть формула или формулы, которые нельзя вывести из хоть чего, что есть и доказать что они неправильные, т.е. если всё правильно, то правильно

Птн 16 Сен 2016 10:29:37
>>136258753
Это значит, что никогда не удастся опровергнуть факт существования бога?

Птн 16 Сен 2016 10:31:55
>>136258805
не удастся опровергнуть факт что я ебу твою мать.

Птн 16 Сен 2016 10:33:32
>>136258713
ну извини. это тебе, блять, не теорема пифагора, которую в 4-м классе школы проходят. тут мозги требуются
вот тут --> >>136258753 объяснили для тебя на пальцах, но не поможет, я думаю.

Птн 16 Сен 2016 10:36:34
>>136258538 (OP)
блядь, из формулировки всё ясно же.

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

Птн 16 Сен 2016 10:39:15
>>136259044
Ну а следствия какие? кто соснул то? арифметика?

Птн 16 Сен 2016 10:46:14
>>136259141
ты соснул у арифметики, очевидно.

ты вообще долбаеб? вот из вики цитата: две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.


Птн 16 Сен 2016 10:46:40
Это значит, что нужны некоторые аксиомы, которые не будут иметь доказательства.
Это будет неполнота, но и непротиворечивость.
Математика именно так и работает, отталкивается от некоторых аксиом, что в мат. логике, что в геометрии.

Птн 16 Сен 2016 10:48:15
>>136259404
да нахуя ты дебилу объясняешь? он даже статью в вики прочитать не может

Птн 16 Сен 2016 10:49:41
>>136259404
Алсо, факт непротиворечивости математики недоказуем, иначе бы это означало, что арифметика полна и противоречива.

Птн 16 Сен 2016 10:51:55
>>136259391
>>136259391
Ну а в чём эти ограничения выражаются то. на примере той арифметики которой учат в школе.

Птн 16 Сен 2016 10:52:50
>>136258538 (OP)
а какой подбородок лучше в итоге? просто у меня как на втором, а я бы хотел просто круглый
ещё помню серию при Джинджер где мелкий пиздюк хотел себе 2 подбородка, пиздец

Птн 16 Сен 2016 10:53:52
>>136259630
Разумеется тот который справа.

Птн 16 Сен 2016 10:54:22
>>136259667
Чем он лучше?

Птн 16 Сен 2016 10:56:11
>>136259667
а мне вот не нравится устный подбородок

Птн 16 Сен 2016 10:57:04
>>136259589
тебе уже выше дали описали дважды - >>136259404 >>136259511
классическая евклидова (да и другие) геометрия зиждется на аксиомах - список смотри в вики.
эти аксиомы недоказуемы (их нельзя вывести в этой арифметике).


Птн 16 Сен 2016 10:58:35
>>136259679
Удар держит лучше.
>>136259758
Твои проблемы.

Птн 16 Сен 2016 11:00:13
>>136259404
А разве это не очевидно? зачем это доказывать надо было? или это очевидно стало только после теорем о не полноте?

Птн 16 Сен 2016 11:02:59
>>136258538 (OP)
Вся математика это чистая математика ради математики. Вообще вся. Не существует какой-то особой математики ради физики или математики для истории и политологии.

>1+1 не равно 2

Зависит от выбранных аксиом. Если берёшь обычные аксиомы арифметики, то 1+1 равно 2.

Птн 16 Сен 2016 11:03:52
>>136258805
Доказать или опровергнуть, че вы блядь забываете вторую часть то?

Птн 16 Сен 2016 11:04:21
>>136259905
Ну мне в школе еще год назад прямо так и говорили, что аксиомы принимаются на веру и не доказываются, до того как теоремы о неполноте были доказаны аксимы эти доказывали как то? а после выяснилось что эти доказательства ошибочны?

Птн 16 Сен 2016 11:04:28
>>136259905
в мат.логике понятие "очевидно" не завезли.
или доказуемо или нет.

по поводу аксиом есть т.н. вторая проблема списка Гильберта - т.е. до теоремы было "совсем неочевидно", а после теоремы - "хз, может да, а может и нет"

Птн 16 Сен 2016 11:05:03
>>136260025
>Не существует какой-то особой математики ради физики
Мда.

Птн 16 Сен 2016 11:05:13
>>136260059
ты слишком строг к посетителям двача

Птн 16 Сен 2016 11:06:26
>>136259905
По-моему это совсем не очевидно. Факт наличия каких-то аксиом ещё не говорит о том, что "ебать да тут же неполная система, ебать значит нет противоречий", до всей этой хуйни додумться надо, а ещё и доказать это всё.

Птн 16 Сен 2016 11:06:29
>>136260082
это в школе очень упрощенно тебе говорили. чтобы ты вник в свою школьную арифметику, а не задумывался о сверхматериях, юниверсуме и дробных основаниях систем счисления.

Птн 16 Сен 2016 11:07:31
>>136260088
Так из определения слова аксиома следует, что она недоказума и не опровержима. нахуя для этого потребовалось еще какая то ёба работа которую сделали только в 20м веке?

Птн 16 Сен 2016 11:08:16
>>136260082
>до того как теоремы о неполноте были доказаны аксимы эти доказывали как то?
Нет, но просто, если ты вдруг сможешь доказать одну из аксиом, это будет означать противоречивость той формальной системы.

Птн 16 Сен 2016 11:09:21
>>136260247
И какие последствия для этой системы это повлечёт?

Птн 16 Сен 2016 11:11:12

Птн 16 Сен 2016 11:11:45
>>136260294
Ну например, её бесполезность на практике.

Птн 16 Сен 2016 11:15:24
>>136258538 (OP)
>чистая математика ради математики это хуита хуиты и все её результаты хуита, тогда почему она не умерла
Потому же, почему искусство или философия не умерли. Потому что это все цели в себе. Это не они для чего-то, а все остальное для этого. Это высшая ценность.

Птн 16 Сен 2016 11:16:09
>>136260391
А какие последствия влечёт неполнота системы?
Что лучше? неполнота или непротиворечивость?
>её бесполезность на практике.
Примеры таких систем для которых удалось показать их противоречивость и которые до этого использовались на практике?


Птн 16 Сен 2016 11:18:37
>>136258538 (OP)
Да вся эта наука-хуюка, физика-хуизика — это всё для пердоликов вонючих, питушков грошовых, недобитой вшивой интеллигенции. Это только они в своих засраных НИИ пердолятся, потому что нет у них ни дома, ни семьи, ни бабы, ни работы нормальной. Вот и хвастаются друг перед другом своими никому не нужными знаниями, да ещё тем, консолькой пердолятся в срачельничек. А нам, нормальным людям, и так неплохо. Работа приличная, платят много, дома красивая девушка ждёт, можно на досуге в игры поиграть — что ещё нужно? На хуй нам эти ваши нейтрино с бозонами и коллайдерами всрались?
Ну-ну, глупенькие питушки, не плачьте, лучше бегите в свои сраные НИИ пердолиться консольками и компилировать свои сраные програмки для анализа столкновений протонов. Да подгузники поменять не забудьте, а то в ваших пердоликовых лабораториях и в туалет-то не выйти, ибо он в аварийном состоянии, а уборщица спокойно прогуливает работу и при этом получает больше, чем вы. Зато вы можете друг перед другом хвастаться тем, как много вы знаете законов Ньютона, от этого и боль в пердаке от многолетнего пердолинга и питания дошираками легче становится, правда? Только вот к нормальным людям со своими физиками не лезьте. Мы, нормальные люди, таких как вы задотов ещё в школе в унитазе топили, и сейчас на вас только плевать будем. Потому что вы гниль, говно и паразиты, вы с вашими бесполезными "исследованиями" и сраными формулами и теориями только зря место занимаете, вы хуже бомжей, потому что бомжи хоть в интернете не срут своим блядским квантмехом

Птн 16 Сен 2016 11:20:59

>>136260681
>..вся эта наука
математика не наука. Дальше не читал.

Птн 16 Сен 2016 11:22:51
>>136260681
Я бомж и сру, где твой бог теперь?

Птн 16 Сен 2016 11:24:16
>>136260681
Но ведь богословие(или как там) это оффициально считается наукой.

Птн 16 Сен 2016 11:25:19
>>136258538 (OP)
Похуй. Лучше киньте фоток с людьми с подбородком как на пикрелейтед слева.

Птн 16 Сен 2016 11:29:02
>>136260947
Я всегда зыбываю свои фортки на работу притащить что бы в оцени анона тред постить. у меня как раз такой+нос здоровенный. и кадык большой. лютый пиздец нахуй.

Птн 16 Сен 2016 11:31:49
>>136260584
>А какие последствия влечёт неполнота системы?
Она не идеальна.
Но зато имеет смысл в применении на практике (может быть).
>Что лучше? неполнота или непротиворечивость?
Не знаю, эти вещи не поддаются такой объективной оценке. Одна система может быть адекватной относительно чего-то, другая нет.
Пример на пальцах не приведу, всё-таки я не математик по образованию, не хватает знаний на такое.

Птн 16 Сен 2016 11:35:30
>>136260776
>>136260860
>>136260914
Ну котаны, ну я же вам пасту принес, ну че вы блин

Птн 16 Сен 2016 11:39:16
>>136261402
Всё в мире паста. То что я сейчас пишу тоже паста от буквы до буквы.

Птн 16 Сен 2016 11:40:19
>>136261552
Жрать хочу.

Птн 16 Сен 2016 11:43:54
>>136261552
Будешь пастой если я тебя скопирую

Птн 16 Сен 2016 11:51:17
>>136261748
Я и так копия. только без оригинала.

Птн 16 Сен 2016 12:40:38
>>136261552
дополню - паста неполная и непротиворечивая


← К списку тредов