Re: Гайд-парк
Цитата:
Согласно хронологии Септуагинты Всемирный потоп произошёл в 3183 году до н. э. "Берингов мост", по которому индейцы перешли в Америку, разъединился 11-12 тысяч лет назад. http://www.newsru.com/world/27nov2007/sibirien.html |
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
Теорема Гёделя как раз утверждает обратное, что если в формальной системе существует невыводимая и неопровержимая формула (читайте аксиома), то эта система является непротиворечивой. Это первая теорема Гёделя! Вторая теорема утверждает, что если формальная система непротиворечива, то внутри неё нельзя вывести формулу, которая доказала бы эту непротиворечивость... Иными словами, средствами самой этой формальной системы нельзя доказать истинность аксиом. Можно доказать это только выйдя за рамки этой формальной системы, создав таким образом более широкую формальную систему. Но и эта более широкая формальная система будет содержать в себе утверждения (аксиомы), которые нельзя будет доказать её же средствами... И так до бесконечности... |
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
|
Re: Гайд-парк
Цитата:
Цитата:
ОК. Вселенная образовалась в прошлом году, Земля - позавчера, динозавры вымерли сегодня утром, а люди, интернет и космические ракеты появились только что, с разницей в 18 миллисекунд... ППЦ! И вот этому ... тут еще всеръез пытаются что-то объяснить! |
Re: Гайд-парк
Цитата:
Одно дело не понять теорему Гёделя. Это простительною Другое дело, не понять теорему, но с умным видом всем её разъяснять. Сиринъ, я не вижу смысла опровергать Вашу трактовку теоремы Гёделя. У людей есть разум, они сами разберутся. Цитата:
|
Re: Гайд-парк
Цитата:
Цитата:
Цитата:
|
Re: Гайд-парк
Забираю назад свои слова о том, что юмор у Сирина "средненький, на любителя". Аффтар жжот.
|
Re: Гайд-парк
Вот формулировка первой теоремы Гёделя.
"Если формальная арифметика S непротиворечива, то в ней существует такая замкнутая формула G, что ни G, ни её отрицание не являются выводимыми в S." Вот трактовка Сирина Цитата:
|
Re: Гайд-парк
Цитата:
Вот цитата из Википедии: "Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение. Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой теории." |
Re: Гайд-парк
Цитата:
|
Текущее время: 15:54. Часовой пояс GMT +3. |
|
©2006 - 2009, screenwriter.ru
Powered by vBulletin; перевод: zCarot