КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

2017-03-01 15:51:27 (читать в оригинале)

Гёдель всегда строит вполне себе арифметические формулы со смыслом "я недоказуема", они нарочито так построены, чтоб были недоказуемыми, но при этом они очевидно, тривиально верны, никакому математику никогда не пришло бы в голову, что они ... НЕ доказаны и доказывать вообще никто не стал бы, поскольку выглядят именно ... доказанными

потому и приводил 2+2=4 как пример, кто бы принялся это доказывать?

---

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

2017-03-01 15:37:37 (читать в оригинале)

потому и спрашиваю: ведь ясно, что пары простых-близняшек или когда-то заканчиваются, или всё время будут выскакивать, как же этого нельзя будет доказать?

---

История Украины

2017-03-01 15:35:58 (читать в оригинале)

Пусть этот Кравчук подсчитает ещё, сколько Россия вложила в Украину...

---

Война в Донбассе (#6)

2017-03-01 15:33:46 (читать в оригинале)

Не, ну если эти территории якобы захвачены Россией, а якобы Украина якобы с ней воюет, то это надо было сделать давно.
Я ж говорю - клоунада бл...

---

ЛВГ №27 (вариант "подполья полей Гурвича")

2017-03-01 15:30:17 (читать в оригинале)

Чукчи не из Сибири ... wrote:
ВладимырычЪ - злодей