"Курт Гедель ... доказал, что ничего невозможно доказать. Он доказал это строжайшими средствами сначала теории чисел, а потом математической логики: ЛОГИКИ - основы основ, чем неизбежно пользуются ВСЕ остальные науки: от той же математики до... простите, политологии.
Любая система логических суждений является либо неполной либо противоречивой.
Первое время после публикации у некоторых, даже серьезных ученых это вызвало подозрения чуть ли не в шарлатанстве, но... Математика - это вам не ядерная физика, не требует для проверки миллиардных синхрофазотронов. Только карандаш и бумагу. Проверяли. Искали ошибки в доказательстве. Долго. Не нашли.
Никакая система логических утверждений не может быть непротиворечива и полна одновременно."
Ну и чего тогда пытаться что-то доказывать? :)))))
Цитата взята из этой
статьи.
Конференция "Заграничная 7я""Заграничная 7я"
Раздел: Поделиться...
Отвечать в конференциях и заводить новые темы может любой участник, независимо от наличия регистрации на сайте 7я.ру.
Mne kazalos' chto s Gedelem dovol'no bystro razobralis' (tam kakoi-to podvoh byl, noseichas ne mogu vspomnit')
07.10.2002 18:03:04, .irina
Ya ochen' izvinyayus', no stat'ya prosto negramotnaya. "Nichego nevozmozhno dokazat'" -- ne to zhe samoe, chto "suschetvuyut utverzhdeniya, kotorye nel'zya dokazat'". Teorema Godelya - imenno o poslednem. Vprochem, k sporam v etoi konferencii eto otnosheniya vse ravno ne imeet, poskol'ku isxodnye sistemy axiom u vsex uchastnikox raznye.
Fleur-de-Lys, specialist po matematicheskoi logike :) 07.10.2002 06:40:32, Fleur-de-Lys
Fleur-de-Lys, specialist po matematicheskoi logike :) 07.10.2002 06:40:32, Fleur-de-Lys
Я смутно помню классическую формулировку. Статья скорее литературнофилософская или просто для рекламы книги.
Какие аксиомы возьмешь - такую геометрию и получишь.
А в аксиомы изволь слепо верить. :))) 07.10.2002 06:46:04, Физтешка
Какие аксиомы возьмешь - такую геометрию и получишь.
А в аксиомы изволь слепо верить. :))) 07.10.2002 06:46:04, Физтешка
Ya prosto ne lyublyu, kogda zhurnalisty berut matematicheskoe utverzhdenie, kotoroe sovershenno ne ponimayut, i pereinachivayut ego tak, chto ono teryaet vsyakii smysl :)
07.10.2002 07:20:44, Fleur-de-Lys
Флер, статья вообще-то о книжке, а книжка в свою очередь уже касается слегка математики (и автор-то уж подкован (ну посмотри кто он :)), и книжка-то даже в России давно известная, правда в оригинале, теперь вот до перевода дожила, я ее помню в качестве настольной у первого научного шефа моего мужа много лет тому назад).
Не нашла я в ней (в статье) крамольных высказываний (ну где там переиначенный смысл?). А популяризаторы имеют право быть (а не дилетанты впариватели). Я - за науку в массы. :))) 07.10.2002 19:47:59, Физтешка
Не нашла я в ней (в статье) крамольных высказываний (ну где там переиначенный смысл?). А популяризаторы имеют право быть (а не дилетанты впариватели). Я - за науку в массы. :))) 07.10.2002 19:47:59, Физтешка
Я не согласна с фразой: «Гедель доказал, что ничего невозможно доказать». Это просто неверно.
Книжку, о которой идет речь, я знаю и ничего против нее не имею :) (Не знала, что существует ее перевод на русский язык.) 07.10.2002 21:14:39, Fleur-de-Lys
Книжку, о которой идет речь, я знаю и ничего против нее не имею :) (Не знала, что существует ее перевод на русский язык.) 07.10.2002 21:14:39, Fleur-de-Lys
У журналистов так получается не только с математическими утверждениями, но и со всеми другими, в которых они ничего не понимают.:-(
07.10.2002 07:29:33, Наташа В.
Tochno. No kogda oni nachinayut rassuzhdat' o matematike, malo kto mozhet ix poimat'.
07.10.2002 07:34:10, Fleur-de-Lys
Vezde tak.
07.10.2002 18:04:25, .irina
Абсолютно тоже самое в других областях. Понять где загвоздка могут только специалисты или интересующиеся. Большинство просто читает и принимает за чистую монету.
07.10.2002 07:37:03, Наташа В.
Вообще, я помню в школе нам все-таки показывали как была выведена аксиома. Или я ошибаюсь?
07.10.2002 06:48:39, Анка aka Провокатор
Esli aksioma, to ne vyvedena. Ili ili.
07.10.2002 18:05:18, .irina
Esli vyvedena - to eto uzhe ne aksioma, a teorema. :) Xotya, kak Fizteshka uzhe skazala, kakie imenno utverzhdeniya brat' za aksiomy - chelovek sam reshaet.
07.10.2002 07:27:40, Fleur-de-Lys
Ja prosto pomny, chto vyvodili vse (nu tipa chto parallelnye linii nikogda ne peresekutsja dokazyvali), a potom pro odni govorili - dokazatelstvo zapominat ne nado, eto aksioma. A pro drugie - eto teorema, tak chto dokazatelstvo k sledujushemy uroky vyuchit. :)) I ja vsegda dumala, chto aksioma - istina ne trebujushaja dokazatelstva, potomy chto dokazatelstvo ochevidno. A ne potomy chto dokazatelstva net. :)) A esli po-fizteshkinomy, tak dlja menja, navenoe, aksiom v zhizni voobshe nikakih net. Ja ne mogy slepo verit voobshe ni vo chto. :))
07.10.2002 17:09:49, Анка aka Провокатор
Аксиома - эта та точка опоры, вокруг которой ты строишь дальнейшие рассуждения. В принципе ты можешь взять за аксиому все что угодно :) Если у тебя нет никаких аксиом, то ты вообще не можешь рассуждать и делать выводы, т.к. делать выводы из ничего сложновато :) но ты можешь временно взять что-то за аксиому и плясать от этого :)
Если доказательство очевидно - значит, оно достаточно легко выводится из каких-то других условий - в конце концов дойдем до чего-то, чего уже нельзя доказать - это и будет аксиома :) 07.10.2002 18:13:59, Чебурашка
Если доказательство очевидно - значит, оно достаточно легко выводится из каких-то других условий - в конце концов дойдем до чего-то, чего уже нельзя доказать - это и будет аксиома :) 07.10.2002 18:13:59, Чебурашка
Ja delaju assumptions i ot nih tantzuju. :)) to est "poredpolozhim, chto zemlja kruglaja, togda blah-blah-blah". No ja ne utverzhdaju chto zemlja kruglaja. :))
07.10.2002 18:28:45, Анка aka Провокатор
Ну это в принципе то же самое :)
Обычно аксиомы = общепринятые предположения :) 07.10.2002 18:36:13, Чебурашка
Обычно аксиомы = общепринятые предположения :) 07.10.2002 18:36:13, Чебурашка
Aaaaaa. Nikogda by ne podumala. Tochno v shkole nas zaputali. Ja dumala aksioma - eto obsheprinjataja istina, dokazatelstvo kotoroi vse znajut. :))
07.10.2002 18:57:48, Анка aka Провокатор
Ochen' stranno. Zaputali vas v shkole po polnoi programme. :) Aksioma - eto deistvitel'no utverzhdenie, ne trebuyushhee dokazatel'stv, no ne potomu, chto dokazatel'stvo ochevidno, a potomu, chto ty beresh' eto utverzhdenie za osnovu svoei teorii. Naprimer, mozhno vzyat' za aksiomu, chto zemlya ploskaya. I vyvseti iz etogo mnogo interesnyx faktov :)
07.10.2002 18:13:29, Fleur-de-Lys
Я помню, как в институте один профессор брал одни аксиомы и выводил теоремы, а его жена прикола ради у своего потока брала за аксиомы те следствия, что он получал и выводила его аксиомы своими теоремами. Некоторые разгильдяи пользовавшиеся не своими лекциями залетали на экзамене потом.
Еще вроде возьмешь одно за аксиому - получишь Евклида. Другое - Лобачевского. 07.10.2002 06:54:49, Физтешка
Еще вроде возьмешь одно за аксиому - получишь Евклида. Другое - Лобачевского. 07.10.2002 06:54:49, Физтешка
No aksiomy Lobachevskogo trebuyut drugogo prostranstva, razve net?
07.10.2002 18:08:24, .irina
Kakoe nashe prostranstvo na samom dele - nikto ne znaet. Mozhet byt', ono iskrivleno, kak u Lobachevskogo, no lokal'no my etogo ne zamechaem, tak zhe kak lokal'no my ne vidim kriviznu zemnoi poverxnosti.
07.10.2002 18:27:56, Fleur-de-Lys
Ok.
07.10.2002 19:07:16, .irina
все так, все так - просто порассуждать была охота:)))
07.10.2002 06:25:43, Лара Помидорова
Ага. А потом все дружно забыли с чего начали и давай на отдельных словах зацикливаться и обижаться.
Врядли ты (или кто другой)выразила всю полноту своего отношения к жизни своими постингами, зато теперь можно по ним пройтись и поцепляться или пообижаться.
Спускать на тормозах надо. А то подеремся и не вспомним из-за чего :)))). 07.10.2002 06:30:02, Физтешка
Врядли ты (или кто другой)выразила всю полноту своего отношения к жизни своими постингами, зато теперь можно по ним пройтись и поцепляться или пообижаться.
Спускать на тормозах надо. А то подеремся и не вспомним из-за чего :)))). 07.10.2002 06:30:02, Физтешка
просто у меня такой характер дурацкий - очень сильно и быстро реагирующий, и это я еще себя сдерживаю...Сейчас еще ничего, а как вспомнишь юношеские годы, мама родная...и как это мой Ромка все выдерживал?:)))))
07.10.2002 06:36:43, Лара Помидорова
Слушай, неужели со стороны всё так скандально выглядит? Я, например, совершенно не собиралась ни с кем ругаться или что-либо доказывать. Просто выразила свою точку зрения. Но я со своей этой точкой не стодолларовая купюра - не могу всем нравиться, да и не стремлюсь к этому вовсе. И вообще, я с Крыской беседовала...
07.10.2002 06:35:05, Вербочка
Я вообще не видела исходного сообщения твоего.:-))) Я влезла где-то с середины, когда где-то что-то обрывком прочитала.:-)))
07.10.2002 07:25:25, Наташа В.
Немножко.
Но я уже наблюдая за вскармливательными (или по поводу хорошести эмиграции) спорами поняла почему ссоры возникают.
Если люди категорично(!) заявляют, что их стиль жизни единственноправильный, то это сильно задевает остальных. Лара может и не хотела, но у нее видимо так прозвучало и пошло - поехало.
Ну это как с сектами получается, меня убивает, что основной аргумент их "Иди к нам, только у нас спасешься". 07.10.2002 06:43:21, Физтешка
Но я уже наблюдая за вскармливательными (или по поводу хорошести эмиграции) спорами поняла почему ссоры возникают.
Если люди категорично(!) заявляют, что их стиль жизни единственноправильный, то это сильно задевает остальных. Лара может и не хотела, но у нее видимо так прозвучало и пошло - поехало.
Ну это как с сектами получается, меня убивает, что основной аргумент их "Иди к нам, только у нас спасешься". 07.10.2002 06:43:21, Физтешка
А все нагло влезли:-)))))шутка:-)
Всем нравится невозможно. это я филосовствую на ночь глядя. 07.10.2002 06:37:22, Natsi
Всем нравится невозможно. это я филосовствую на ночь глядя. 07.10.2002 06:37:22, Natsi
Ну не то что бы нагло... (тоже шутка), но 3 дня тема уже муссируется. Пора сменить.
07.10.2002 06:39:57, Вербочка
А я даже не пойму, выдержала ли.
:)))
Обдумывала опять свою скорбную участь и решила, что пожалуй, я живу как мне нравится но под напором некоторых обстоятельств. И решила не зацикливаться.
Кстати. Муж читает один англоязычный программистский форум.
Там мужик один (начальник суппорта в Микрософте, что ли) прощался в прошлом году, типа, ухожу с работы, обещал жене, дам и ей карьеркой заняться, а то она мне тут тылы обеспечивала, пока я карьеру делал. Вот она, идиллия! :)))) 07.10.2002 06:58:52, Физтешка
:)))
Обдумывала опять свою скорбную участь и решила, что пожалуй, я живу как мне нравится но под напором некоторых обстоятельств. И решила не зацикливаться.
Кстати. Муж читает один англоязычный программистский форум.
Там мужик один (начальник суппорта в Микрософте, что ли) прощался в прошлом году, типа, ухожу с работы, обещал жене, дам и ей карьеркой заняться, а то она мне тут тылы обеспечивала, пока я карьеру делал. Вот она, идиллия! :)))) 07.10.2002 06:58:52, Физтешка
А кто доказывет?:-) Приятно беседуем:-)То, что доказать ничего нельзя-это мне понятно и без математики:-)))
07.10.2002 06:22:37, Natsi
Доказывать бесполезно. Можно изучать разные подходы.
07.10.2002 06:20:58, Наташа В.
Все в мире субъективно.
Плюс для одного и того же субъекта меняется все с течение времени.
Жизнь - это не закрытая система.
Во!
:))) 07.10.2002 06:24:43, Физтешка
Плюс для одного и того же субъекта меняется все с течение времени.
Жизнь - это не закрытая система.
Во!
:))) 07.10.2002 06:24:43, Физтешка
да я тут ниже написала, что тру только личную инфу))) Вот и решила точно придерживаться сего))))
07.10.2002 06:35:36, Надютка
Я жду, что будешь тереть. :)))
Иначе на тебя похоже не будет.
Или вдруг какую личную тему обсуждать будем. ;) 07.10.2002 06:49:44, Физтешка
Иначе на тебя похоже не будет.
Или вдруг какую личную тему обсуждать будем. ;) 07.10.2002 06:49:44, Физтешка
мда, читая Гераклита...Everything flows, You can't step into the same river twice, A thing rests by changing , The sun is new each day и что мне больше всего нравится Your character is your destiny
07.10.2002 06:31:38, Лара Помидорова
Читайте также
Как понять, что у ребенка психологические трудности, если он ничего не рассказывает?
Как помочь ребенку, чтобы не оттолкнуть?