Автор Тема: Теоремы Гёделя  (Прочитано 67995 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #110 : 07 Ноябрь, 2008, 18:16:03 pm »
Цитата: "Петро"
Цитата: "dargo"
Цитата: "SE"
из принципа и назло рус.яз. не учил не учу и не буду учить.
Вах!  :shock:
назло кондуктору пойду пешком!
Цитата: "dargo"
... впереди ... планеты всей! ...  
Господа ! Успокойтесь . Тов . SE - даже впереди трамвая не успевает ...
(из которого его - кондуктор и вытолкал взашей) .

А Вы его ... впереди планеты всей! ... Толкаете !

п.с. Зато по-> Флeйм-ить в филосовском разделе - он тут как тут :

Цитата: "SE"
Цитата: "христиан"
Цитата: "SE"
 Это высшая цель .. :lol:

 Ловите ...

 Тут самое смешное ..  на их языке.
Не надо валить ...

Юро́дство (от слав. «оуродъ», «юродъ»[1] — дурак, безумный[2]) — ...[3] В православии юродивые — слой .. религиозных подвижников.[4]

...

http://www.ateism.ru/forum/viewtopic.ph ... 604#152604
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн дарго магомед

  • Заслуженный Афтар
  • ******
  • Сообщений: 6 326
  • Репутация: +0/-4
Re: Теоремы Гёделя
« Ответ #111 : 07 Ноябрь, 2008, 19:20:34 pm »
Цитата: "SE"
религиозный подвиг юродства состоит в отвержении с наибольшей последовательностью мирских забот — о доме, семье, труде,  
А атеистический подвиг юродства состоит в
Цитата: "SE"
из принципа и назло рус.яз. не учил не учу и не буду учить.
ради физики :?:

"Узнаю брата Колю". У меня сын болеет тем же. Готовится в Бауманский и напрочь отказывается учить литературу... разве что для оценки учит...

Оффлайн SE

  • Афтар жжот
  • ****
  • Сообщений: 1 758
  • Репутация: +3/-0
Re: Теоремы Гёделя
« Ответ #112 : 08 Ноябрь, 2008, 00:08:50 am »
Цитата: "KWAKS"
То есть - Вы опять у себя попо-дносом . . не помните банально-тривиальный Факт :
что для установления истинности Суждения - непременно нужен . .

РЕАЛЬНЫЙ ОБЪЕКТ
, о котором Вы намерены "выносить" своё Суждение.[/color]
Как вы докажете что квадраты гипотенуз всех прямоугольных треугольников равны сумме квадратов катетов? Будете измерять линейкой все возможные реальные треугольники?

Или например как докажете закон гравитации F=Gm1m2/r^2?
Будете измерять силу взаимного притяжения всех существующих масс?

Или вот пример утверждения на которое нет ни положительного ни отрицательного ответа. Конечно или бесконечно множество простых чисел близнецов т.е. простых чисел отличающихся на 2? И реальный объект для простых чисел есть. Это множества камешков, которые нельзя выложить в несколько рядов одинаковой длины.

Я вам и множество могу сообщить для проверки на практике - это множество всех натуральных чисел N.

KWAKS, не хотите ли пораскладывать реальные камешки для установления истинности? :lol:


Цитата: "KWAKS"
Напр. 1. у пса 4 лапы . Побегите во двор , поймайте своего пса . .
и пересчитайте ему лапы : если ДЕЙСТВИТЕЛЬНО - окажется 4 лапы :
с непреклонной уверенностью прокричите во весь ин-нет . .

ДА ! У МОЕГО ПСА - 4 лапы .

А если ДЕЙСТВИТЕЛЬНО Вашему псу одну лапу ампутировали :
с точно такой же непреклонной уверенностью -
прокричите во весь ин-нет . .

НЕТ ! У МОЕГО ПСА - НЕ 4 лапы .
Вот схематический алгоритм подсчета лап.

На сетчатке глаза формируется точечное изображение собаки.

По некоторому сложному алгоритму мозг выделяет одну лапу;
ставит в соответствие абстрактный эквивалент - натуральное число 1;
выделяем другую лапу;
увеличивает число на 1 т.е. вычисляем следующее за 1 - число 2; и т.д.

Т.е. на языке программирования получим такой алгоритм:

N:=0;
пока есть новая лапа делай N:=N+1;

Закон сложения определен, например, стандартный алгоритмом сложения двоичных чисел в регистрах.

Причем алгоритм операции N:=N+1 определяются как аксиома. Кто будет доказывать эти аксиомы? Пушкин?


Пойдем дальше. Хорошо выполнили алгоритм и поставили в соответствие собаке некоторый объект - натуральное число 4.

Теперь вы собираетесь отрезали у собаки 2 лапы. Спрашивается: сколько лап после этого останется? Это кажется тривиальным вопросом потому что это по привычке очевидно. Но как вы априори докажете что результат будет соответствовать числу полученному в результате операции вычитания 4-2? Каждый раз приходится верить в такую модель и в то что что это будет именно так. :wink:

Так что проверка не практике - это не решение. В реальности есть лишь алгоритмы (процессы) и все. Истинность или ложность - это понятия локальные и относительные. Т.е. истинность или ложность определяется лишь как результат работы некоторого существующего алгоритма. Истинность и правильность самого алгоритма подтверждена лишь фактом его существования.

Пора мне в лагерь агностиков :twisted:
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SE »

Оффлайн alla

  • Афтар, пиши исчё!
  • *****
  • Сообщений: 3 493
  • Репутация: +4/-2
Re: Теоремы Гёделя
« Ответ #113 : 08 Ноябрь, 2008, 00:30:24 am »
Цитата: "SE"
...Или вот пример утверждения на которое нет ни положительного ни отрицательного ответа. Конечно или бесконечно множество простых чисел близнецов?..


 SE, у меня к вам вопрос. Что такое простые числа я знаю. А вот что такое простые числа БЛИЗНЕЦЫ?
Я это спрашиваю потому, что мой отец был математиком и он занимался теорией графов и теорией простых чисел. Он даже вывел незадолго до смерти формулу о том как, ой забыла это слово, по английски - "FACTOR simple numbers". Он мне иногда рассказывал о своих достижениях. Но я вот не помню, чтобы он что-то говорил о близнецах. Мне просто интересно.  :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от alla »
УКРАИНА, ДЕРЖИСЬ!
СЛАВА КИМ ЧЕН ПУТ ИНУ!

Оффлайн farmazon

  • Афтар, пиши исчё!
  • *****
  • Сообщений: 4 396
  • Репутация: +1/-0
Re: Теоремы Гёделя
« Ответ #114 : 08 Ноябрь, 2008, 07:40:02 am »
Цитата: "alla"
А вот что такое простые числа БЛИЗНЕЦЫ?

вот что
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от farmazon »
"Чем мы провинились перед Богом, Аллахом и другими?"(с) Черномырдин В.С.

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #115 : 08 Ноябрь, 2008, 12:51:41 pm »
Цитата: "SE"
Цитата: "KWAKS"
.. - Вы .. у себя попо-дносом . . не помните банально-..льный Факт :
что для установления истинности Суждения - непременно нужен . .

РЕАЛЬНЫЙ ОБЪЕКТ
, о котором Вы намерены "выносить" своё Суждение.[/color]
Как вы докажете что квадраты гипотенуз всех прямоугольных треугольников равны сумме квадратов катетов? Будете измерять линейкой все возможные реальные треугольники?
Бер-йом любой из прямоугольных треугольников -
на катетах и гипотенузе строим квадраты !

Ответ : ОЧЕ-ВИДЕН - для всех прямоугольных треугольников !

Цитата: "SE"
Или например как докажете закон гравитации F=Gm1m2/r^2?
Будете измерять силу взаимного притяжения всех существующих масс?
Здесь - другая "катавасия" : проверяем закон гравитации - для некоторых масс . . .
(опыты Кавендиша и пр.) И рампространяем его выводы для всех существующих масс .

До тех пор , пока не не встретится ХОТЯ БЫ ОДНО исключение -
закон гравитации верен для всех существующих масс !


Цитата: "SE"
Или вот пример утверждения на которое нет ни положительного ни отрицательного ответа.  
А выражались бы Вы покорректнее : ПОКА(на данный момент) -
нет ни положительного ни отрицательного ответа !

НО рано или поздно - ответ будет найден .

Цитата: "SE"
Конечно или бесконечно множество простых чисел близнецов т.е. простых чисел отличающихся на 2? И реальный объект для простых чисел есть. ..
Цитировать
farmazon   
Цитировать
alla писал(а):
А вот что такое простые числа БЛИЗНЕЦЫ?
вот что
Цитировать
На данный момент, наибольшими известными простыми-близнецами являются числа  [1].

Предполагается, что таких пар
бесконечно много, но ..

Вигго Брун в 1919 доказал, что  ...
.. если простых близнецов и бесконечно много, то они все же расположены в натуральном ряду довольно редко.
Вот . . м всё-то делов-то . . в нашей ойкумене !

Цитата: "SE"
Это множества камешков, которые нельзя выложить в несколько рядов одинаковой длины.

Я вам .. для проверки на практике - это множество всех натуральных чисел N.

KWAKS, не хотите ли пораскладывать реальные камешки для установления истинности? :lol:
Натураль-деЦЦуий сад , ей-бо ! ! ! Именно в этом и состоит . .
СМЫСЛ ПРЕДПИСАНИЯ : Практика - критерий истины ! ! !

Для тех самых-самых свер-хособо одарённых , которые интересуются исключительно лишь теми сведениями , которые к делу не имеют никакого отношения - попытаюсь объяснить попурярнее . . .

Истинность любого нашего суждения устанавливается . . .
ИСКЛЮЧИТЕЛЬНО ПУТЁМ СО-ПО-СТАВ-ЛЕ-НИ-Я :

этого суждения - С САМОЁ ОБЪЕКТОМ(предметом , процессом , свойством или пр.) . .
к которому(ОБЪЕКТУ) мы "адресуем" наше суждение .

БЕЗ НАЛИЧИЯ ТАКОВОГО ОБЪЕКТА - наше суждение . . .
это пустое сотрясание воздуха или толчение воды в ступе .

Так Вам понятно ? Или опять - дебоширить будете попусту-зря ? ? ?

Цитата: "SE"

Цитата: "KWAKS"
Напр. 1. у пса 4 лапы . Побегите во двор , поймайте своего пса . .
и пересчитайте ему лапы : если ДЕЙСТВИТЕЛЬНО -  . .

ДА ! У МОЕГО ПСА - 4 лапы .

А если ДЕЙСТВИТЕЛЬНО .. лапу ампутировали :
с точно такой же .. уверенностью -
прокричите во весь ин-нет . .

НЕТ ! У МОЕГО ПСА - НЕ 4 лапы .
Вот схематический алгоритм подсчета лап.

На сетчатке глаза формируется точечное изображение собаки.
Зачем опять водо-толчение в ступе устраивать ?

Цитата: "SE"
По некоторому сложному алгоритму мозг выделяет одну лапу;
У Вас - очередное обострение интереса к тем сведениям , чтобль ?
которые - к делу не имеют никакого отношения ? ? ?

сетчатка глаза и пр. - это предмет рассмотрения физиологии . . .
А здесь нас - интересует САМ ФАКТ РЕАЛЬНОГО НАЛИЧИЯ :
тогО ОБЪЕКТА (предмета , процесса , свойства или пр.) . .
к которому (ОБЪЕКТУ) мы и - "адресуем" наше суждение .

Цитата: "SE"
ставит в соответствие абстрактный эквивалент - натуральное число 1;
выделяем другую лапу;
увеличивает число на 1 т.е. вычисляем следующее за 1 - число 2; и т.д.

Т.е. на языке программирования получим такой алгоритм:

N:=0;
пока есть новая лапа делай N:=N+1;

Закон сложения определен, например, стандартный алгоритмом сложения двоичных чисел в регистрах.

Причем алгоритм операции N:=N+1 определяются как аксиома. Кто будет доказывать эти аксиомы? Пушкин?
См. выше : САМ ФАКТ РЕАЛЬНОГО НАЛИЧИЯ тогО(исследуемого) ОБЪЕКТА -
не доказывается , а устанавливается . . .
ИСКЛЮЧИТЕЛЬНО ПУТЁМ СО-ПО-СТАВ-ЛЕ-НИ-Я :

этого суждения - С САМОЁ ОБЪЕКТОМ ! ! !

Цитата: "SE"
Пойдем дальше. .. выполнили алгоритм и поставили в соответствие .. - натуральное число 4.

Теперь вы собираетесь отрезали у собаки 2 лапы. Спрашивается: сколько лап после этого останется? Это кажется тривиальным вопросом потому что это по привычке очевидно. Но как вы априори докажете что результат будет соответствовать числу полученному в результате операции вычитания 4-2? Каждый раз приходится верить ... :wink:
Не волнуйтесь . . Не придётся Вам - Каждый раз верить ... :wink:

Поскольку 4-2 - ТВЁРДО УСТАНОВЛЕНО НА примерах :
спичечек , камешков , пуговичечек и пр. брарахла . .
ни к чему не пригодного , кроме как к обучению Счёту -
тех самых-самых свер-хособо одарённых , которые "интересуются" . . .
чем попало тольне тем , чем - ДЕЙСТВИТЕЛЬНО НУЖНО интере-сую-ВАТЬся !

Цитата: "SE"
Так что проверка не практике - это не решение.  
ГЫ ГЫ . . СМ. ВЫШЕ ! ! ! И - ПОВНИМАТЕЛЬНЕЕ !

Цитата: "SE"
В реальности есть лишь алгоритмы (процессы) и все. Истинность или ложность - это понятия локальные и относительные.  
ХА ХА ХА . . (KWAK - подстул уп-AK ир-жуУУ ни магуУУ) .

Цитата: "SE"
Т.е. истинность или ложность определяется лишь как результат работы некоторого существующего алгоритма. Истинность и правильность самого алгоритма подтверждена лишь фактом его существования.
Красноречивое непроизвольно вырвавшееся у SE признание :
истинность или ложность . . подтверждена лишь фактом его существования.

А это - мноООго знаААчит . То есть - палата №6 . . .
временно свободна от присутствия в ней тов. SE .

С чем я Вас - пока и поздравля . . . !

Цитата: "SE"
Пора мне в лагерь агностиков :twisted:

Тов. SE . Некуда Вам ВООБЩЕ спешить - ТЕМ БОЛЕЕ в лагерь агностиков :twisted: пони-мАаш ли . . .
Вы из него(лагерья агностиков) - ещё и не выходили -

ни разу
в своей долгой жизни .
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SE

  • Афтар жжот
  • ****
  • Сообщений: 1 758
  • Репутация: +3/-0
(Нет темы)
« Ответ #116 : 08 Ноябрь, 2008, 14:26:27 pm »
Цитата: "KWAKS"
Цитата: "SE"
Цитата: "KWAKS"
.. - Вы .. у себя попо-дносом . . не помните банально-..льный Факт :
что для установления истинности Суждения - непременно нужен . .

РЕАЛЬНЫЙ ОБЪЕКТ
, о котором Вы намерены "выносить" своё Суждение.[/color]
Как вы докажете что квадраты гипотенуз всех прямоугольных треугольников равны сумме квадратов катетов? Будете измерять линейкой все возможные реальные треугольники?
Бер-йом любой из прямоугольных треугольников -
на катетах и гипотенузе строим квадраты !

Ответ : ОЧЕ-ВИДЕН - для всех прямоугольных треугольников !
Очевидность - это не доказательство. Для верующего ОЧЕ-ВИДНО бог существует :)



Цитировать
Цитата: "SE"
Или например как докажете закон гравитации F=Gm1m2/r^2?
Будете измерять силу взаимного притяжения всех существующих масс?
Здесь - другая "катавасия" : проверяем закон гравитации - для некоторых масс . . .
(опыты Кавендиша и пр.) И рампространяем его выводы для всех существующих масс .

До тех пор , пока не не встретится ХОТЯ БЫ ОДНО исключение -
закон гравитации верен для всех существующих масс !
Докажите возможность распространения го выводы для всех существующих масс? :)

И вообще может настоящий закон таков
F=G*m1*m2/r^(2+10^-1000000000000)
Смогёте доказать или опровергнуть? Измерениями опровергнуть не получится. Погрешности будут одинаковыми что для этого, что для классического закона. :wink:



Цитировать
Цитата: "SE"
Или вот пример утверждения на которое нет ни положительного ни отрицательного ответа.  
А выражались бы Вы покорректнее : ПОКА(на данный момент) -
нет ни положительного ни отрицательного ответа !

НО рано или поздно - ответ будет найден .
Как докажете? Вот сами привели еще пример бездоказательного утверждения. Спасибо что выполняете мою работу :lol:


Цитировать
Цитата: "SE"
Практика - критерий истины ! ! !
KWAKS, Вы на практике проверили что простых чисел бесконечно много? :lol:


Цитата: "KWAKS"
Цитата: "SE"
Т.е. истинность или ложность определяется лишь как результат работы некоторого существующего алгоритма. Истинность и правильность самого алгоритма подтверждена лишь фактом его существования.
Красноречивое непроизвольно вырвавшееся у SE признание :
истинность или ложность . . подтверждена лишь фактом его существования.
Его - это значит алгоритма по обработке информации. Но существующий алгоритм может быть неверным, вернее  правильность и истинность его заключений не доказана. :)

Например алгоритм по доказательству бога в голове верующего существует, но для нас он кажется не верным. Но тем не менее алгоритм существует.

Цитата: "KWAKS"
А это - мноООго знаААчит . То есть - палата №6 . . .
временно свободна от присутствия в ней тов. SE .
Так точно, палата свободна... можете свободно там располагаться :lol:
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SE »

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #117 : 08 Ноябрь, 2008, 19:14:53 pm »
Цитата: "SE"
Цитата: "KWAKS"
...
Бер-йом любой из прямоугольных треугольников -
на катетах и гипотенузе строим квадраты !

Ответ : ОЧЕ-ВИДЕН - для всех ... !
Очевидность - это не доказательство. Для верующего .. :)

Оно и видно , мил чел. - опять в палату №6 просится ! ! !

Вы сначала матем. доказательство прочтите !
Цитата: "KWAKS"
...
Бер-йом любой .. -
на катетах и гипотенузе строим .. !

Ответ : ОЧЕ-ВИДЕН - для всех ... !


Цитата: "SE"
Цитировать
Цитата: "SE"
.. докажете закон гравитации F=Gm1m2/r^2?
Будете измерять .. всех существующих масс?

Здесь - другая "катавасия" : проверяем .. - для некоторых масс . . .
(опыты Кавендиша и пр.) И рампространяем его выводы для всех .. .

До тех пор , пока не не встретится ХОТЯ БЫ ОДНО исключение -
.. .. .. !
Докажите возможность распространения го выводы для всех существующих масс? :)

Тов. ребятёнок ! Да Вы не только от русского языка бегаете , куда глаза глядят , что ещё - полбеды . . .

Горздо хуже , что Вы - ДАЖЕ банальностей из логики не знаете :
ВСЕОБЩНОСТЬ суждения - ОПРОВЕРГАЕТСЯ ХОТЯ БЫ ОДНИМ исключением !

А пока такового(ХОТЯ БЫ ОДНОГО) - НЕТ , то на НЕТ - и суда НЕТ !

Цитата: "SE"
И вообще может настоящий закон таков
F=G*m1*m2/r^(2+10^-1000000000000)
Смогёте доказать или опровергнуть?

гы гы . . Откуда - "высосали" Вы : такую высосанную "высосаленцию" ?

Цитата: "SE"
Измерениями опровергнуть не получится. Погрешности будут одинаковыми что для этого, что для классического закона. :wink:

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

Цитата: "SE"
Цитировать
Цитата: "SE"
Или вот .. нет ни положительного ни отрицательного ответа.

А выражались бы Вы покорректнее :
ПОКА(на данный момент) -
нет .. ответа !

НО рано или поздно - ответ будет . . .
Как докажете? Вот сами .. выполняете мою работу :lol:

Чем бы дитя не тешилось . .

Цитата: "SE"
Цитата: "KWAKS"
Практика - критерий истины ! ! !
KWAKS, Вы на практике проверили что простых чисел бесконечно много? :lol:

й-ЙО-прст . . не заставляйте меня ругвЦЦа . .
а то жуже будет - Вам жжЭ ! ! !

Простое число

Цитировать
Просто́е число́ — это натуральное число, которое имеет ровно 2 различных делителя (только 1 и само себя). Все остальные .., называются составными. Таким образом, все .., разбиваются на простые и составные. ... В теории колец простым числам соответствуют неприводимые элементы.

Содержание

1 Разложение натуральных чисел в произведение простых
2 Тесты простоты

3 Сколько существует простых чисел?

Простых чисел бесконечно много . Самое старое известное доказательство этого факта было дано Евклидом в «Началах» (книга IX, утверждение 20).

Его доказательство может быть кратко воспроизведено так:

Представим, что количество простых чисел конечно. Перемножим их и прибавим единицу. Полученное число не делится ни на одно из конечного набора простых чисел, потому что остаток от деления на любое из них даёт единицу. Значит, число должно делиться на некоторое простое число, не включённое в этот набор.

Математики предлагали другие доказательства.

4 Наибольшее известное простое
5 Некоторые свойства
6 Открытые вопросы
7 Приложения
8 Вариации и обобщения
9 Литература
10 См. также
11 Примечания
12 Ссылки

Список простых чисел

Цитировать
Содержание

1 Первые 500 простых чисел
2 Простые числа Мерсенна
3 Простые числа Маркова
4 Простые числа Ферма
5 Простые Софи Жермен
6 Простые-близнецы
7 Простые Вильсона
8 Простые Вольстенхольма
9 Факториальные простые
10 Кубические простые числа
11 Уникальные простые числа
12 Простые числа Кэрола
13 Простые, состоящие из единиц
14 Простые числа Ньюмана-Шенкса-Вильямса
15 Примеры программ для поиска простых чисел
16 Литература

Существуют известные формулы, позволяющие вычислить количество простых чисел (до заданного значения) быстрее, чем вычисление самих простых чисел.

УБЕДИТЕЛЬНЕЙШАЯ ПРОСЬБА : НЕ ЗАДАВАЙТЕ ТУПЫХ ВОПРОСОВ , . . .

на которые однозначно ответил ещё древний Евклид в «Началах»
(книга IX, утверждение 20).  


Цитата: "SE"
Цитата: "KWAKS"
Цитата: "SE"
Т.е. истинность или ложность .. алгоритма подтверждена лишь фактом его существования.

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

Так выполните процедуру верификации нужного Вам алгоритма -
чтоб самолично убедиться в его истинности ! ! !

тру-ля-ля . . извините за откровенность на самом деле , а Вы -
не настолько сообразительный , чем показались поначалу !

Честно говоря , я ожидал от Вас - хоть чуточку боООльшего понимания .

Цитата: "SE"
Например алгоритм по доказательству бога в голове верующего существует, но для нас он кажется не верным. Но тем не менее алгоритм существует.

Цитата: "KWAKS"
А это - мноООго знаААчит . То есть - палата №6 . . .
временно свободна .. тов. SE .
Так точно, палата свободна... можете свободно там располагаться :lol:

Только - после Вас , тов. SE . Я ж - не хам , чтоб пеперёд батьки . . .
(лезть , куда не надо) .
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор
тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SE

  • Афтар жжот
  • ****
  • Сообщений: 1 758
  • Репутация: +3/-0
(Нет темы)
« Ответ #118 : 08 Ноябрь, 2008, 19:53:08 pm »
Цитата: "KWAKS"
Вы сначала матем. доказательство прочтите !
Доказательство строится как формальное следствие из аксиом т.е. это опять же алфавит и правила вывода формул. Непротиворечивость евклидовой геометрии не доказана, а точнее доказано что вопрос ее непротиворечивости эквивалентен вопросу о непротиворечивости арифметики.

Да, KWAKS, чуть не забыл. и аксиомы евклидовой геометрии тоже докажите!

Цитата: "KWAKS"
ВСЕОБЩНОСТЬ суждения - ОПРОВЕРГАЕТСЯ ХОТЯ БЫ ОДНИМ исключением !

А пока такового(ХОТЯ БЫ ОДНОГО) - НЕТ , то на НЕТ - и суда НЕТ !
Суда нет, но и доказательства тоже :)

 

Цитировать
Цитата: "SE"
И вообще может настоящий закон таков
F=G*m1*m2/r^(2+10^-1000000000000)
Смогёте доказать или опровергнуть?

гы гы . . Откуда - "высосали" Вы : такую высосанную "высосаленцию" ?
А доказать или опровергнуть не могёте?



Цитата: "KWAKS"
Простых чисел бесконечно много . Самое старое известное доказательство этого факта было дано Евклидом в «Началах» (книга IX, утверждение 20).

Его доказательство может быть кратко воспроизведено так:

Представим, что количество простых чисел конечно. Перемножим их и прибавим единицу. Полученное число не делится ни на одно из конечного набора простых чисел, потому что остаток от деления на любое из них даёт единицу. Значит, число должно делиться на некоторое простое число, не включённое в этот набор.
KWAKS, как докажете что р1р2...рк+1 вообще делится на предполагаемое Р и что остаток=1. Т.е. давайте сначала докажите факториальность и евклидовость кольца целых чисел! :)

И вообще это был ответ на вашо "Практика - критерий истины ! ! !"
Чой-то Вы от практики побежали к Евклиду за помощью, а? Не хоца вручную проверять? :lol:

Цитировать
Так выполните процедуру верификации нужного Вам алгоритма -
чтоб самолично убедиться в его истинности ! ! !
А как доказать что сама процедура верификации правильная? :)
« Последнее редактирование: 08 Ноябрь, 2008, 20:23:30 pm от SE »

Оффлайн Anonymous

  • Оратор форума
  • ********
  • Сообщений: 13 672
  • Репутация: +1/-4
(Нет темы)
« Ответ #119 : 08 Ноябрь, 2008, 20:22:02 pm »
SE

Цитировать
«А я не гуманитарий, гуманитариев не очень люблю и поэтому из принципа и назло рус.яз. не учил не учу и не буду учить.»
Да, просто выучить не можете.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Anonymous »