Форум на Samara24.RU ООО «ИнтерМедиаГруп Самара» https://forum.samara24.ru/ https://forum.samara24.ru/board/acquaintance/flat/1876978844/ Серафимм Ну вот смотри: Крокодил больше длинее чем шире...ведь так? acquaintance Mon, 05 Apr 2010 11:28:09 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977593/ SkwоT Не путай меня с помидорами!!! :ха-ха!: Мне нужно статью доделать)) ваковскую... :eek: А я идею только что ухватила)) А ты с солеными... acquaintance Mon, 05 Apr 2010 09:20:27 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977549/ kosta ХЗ. Сороке виднее, он математик. Мне казалось, что теорема Геделя возникла из попытки доказательства непротиворечивости системы аксиом. Типа... acquaintance Mon, 05 Apr 2010 09:12:01 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977534/ wsoroka Зелубый-то? Однозначно! acquaintance Mon, 05 Apr 2010 09:09:37 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977525/ SkwоT Зелубый цвет таки существует по-твоему? acquaintance Mon, 05 Apr 2010 09:08:24 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977505/ SkwоT :чмок: вот за это простое: Введи в систему противоречивость и вуаля! система становится полной (какие же всетки тетки дурищи))) (*ушла... acquaintance Mon, 05 Apr 2010 09:05:54 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977498/ wsoroka Ты конечно можешь положить красное зелёным, а ещё лучше солёным. Останется только убедить в этом остальных. Непротиворечивость это свойство... acquaintance Mon, 05 Apr 2010 09:05:14 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977473/ kosta ****Это и есть противоречивая система, когда истинно "A и не А" А если я положу аксиомой, что формальная система А... acquaintance Mon, 05 Apr 2010 09:02:22 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977442/ wsoroka >Их можно: Да, ничего их не можно. Они есть и всё. В другой системе они возможно будут другими, как вариант в другой системе их просто... acquaintance Mon, 05 Apr 2010 08:58:56 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977409/ kosta "В любой непротиворечивой системе существуют утверждения, которые невозможно доказать в рамках этой системы." Их можно: а)... acquaintance Mon, 05 Apr 2010 08:55:01 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977281/ wsoroka Об этом и принцип Гёделя. Но не догма. Введи в систему противоречивость и вуаля! система становится полной - всё выводимо в рамках противоречивой... acquaintance Mon, 05 Apr 2010 08:37:58 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977241/ SkwоT То есть, даже теоретически, даже в математике совершенной, абсолютно предсказуемой и познаваемой изнутри себя системы не существует? acquaintance Mon, 05 Apr 2010 08:33:15 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977229/ SkwоT Насколько я знаю, Гёдель - математик. Математика, логика - философия. По сути, это, наверное, философская теорема. То есть, она относится к той... acquaintance Mon, 05 Apr 2010 08:30:58 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977207/ wsoroka Мне кажется это можно обобщить философски (+ принцип неопределённости в ядерной физике) - невозможно окончательно познать мир. Это принцип - что-то... acquaintance Mon, 05 Apr 2010 08:26:26 +0400 https://forum.samara24.ru/board/acquaintance/flat/1876977186/ Крыска Я вообще-то всегда считала, что это именно философская концепция - если не можешь познать что-либо изнутри системы, то нужно выйти в... acquaintance Mon, 05 Apr 2010 08:23:28 +0400