2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 арифметика Пеано
Сообщение10.10.2010, 16:45 
Правильные ли рассуждения.

Если ZFC не верна, то не верна и арифметика Пеано для действительных чисел.
Рациональные и целые числа не полны. Значит непротиворечивым является только конечная группа.
Значит простраство/время имеет конечное количесвтво состояний.

извиняюсь, ошибся не Пиано, а Пеано.

 
 
 
 Re: арифметика Пиано
Сообщение10.10.2010, 16:50 
erwins в сообщении #360707 писал(а):
не верна и арифметика Пиано для действительных чисел.

да бог с ними, с действительными числами (хоть они тут и не при чём) -- пока. Давайте для начала установим, что нет никакой арифметики Пианино. А там уж и до действительных, глядишь, доберёмся.

 
 
 
 Re: арифметика Пеано
Сообщение10.10.2010, 18:00 
Что такое "система аксиом верна"? И какое дело до этого математике?

 
 
 
 Re: арифметика Пеано
Сообщение10.10.2010, 18:07 
"система аксиом верна" - ZFC не противоречива.
Извиняюсь за безграматность.

Доказано, что непротиворечивость арифметики Пеано следует из непротиворечивости ZFC (трансфинитивной индукции).

 
 
 
 Re: арифметика Пеано
Сообщение10.10.2010, 18:39 
Аватара пользователя
erwins в сообщении #360745 писал(а):
Доказано, что непротиворечивость арифметики Пеано следует из непротиворечивости ZFC (трансфинитивной индукции).

Следует. Поскольку в ZFC можно построить модель арифметики Пеано.

erwins в сообщении #360707 писал(а):
Если ZFC не верна, то не верна и арифметика Пеано для действительных чисел.

(Слово "не верна" заменяем на "противоречива" - в соответствии с Вашей поправкой.)
Это неверно. Из противоречивости ZFC не следует противоречивость арифметики Пеано.

erwins в сообщении #360707 писал(а):
Значит простраство/время имеет конечное количесвтво состояний.

???
Предъявите доказательство.

 
 
 
 Re: арифметика Пеано
Сообщение10.10.2010, 19:45 
"Из противоречивости ZFC не следует противоречивость арифметики Пеано."

Не могу привести ссылку, но я читал, что ZFC эквивалентно арифметике Пеано с двумя видами счетности(мощностями). Счетное и несчетное.

Переформулировка возможно заставляет отказаться от понятия действительного числа.

Построить полное поле на рациональных или натуральных числах не возможно. (вроде бы так учили).

Соотвественно при построении непротиворичивой полной моделипридется отказаться от бесконечных множеств.

 
 
 
 Re: арифметика Пеано
Сообщение10.10.2010, 21:03 
Аватара пользователя
erwins в сообщении #360806 писал(а):
Не могу привести ссылку, но я читал, что ZFC эквивалентно арифметике Пеано с двумя видами счетности(мощностями). Счетное и несчетное.

Сформулировано нечто совершенно невнятное. Приведите точную формулировку.

erwins в сообщении #360806 писал(а):
Переформулировка возможно заставляет отказаться от понятия действительного числа.

Какая "переформулировка"?

erwins в сообщении #360806 писал(а):
Построить полное поле на рациональных или натуральных числах не возможно. (вроде бы так учили).

Кто Вас так учил?

erwins в сообщении #360806 писал(а):
Соотвественно при построении непротиворичивой полной моделипридется отказаться от бесконечных множеств.

Вы сначала докажите противоречивость ZFC. Кроме того, на ZFC свет клином не сошёлся.

Если Вы будете продолжать выступление в таком стиле, Ваши темы скоро будут закрыты. Советую внимательно прочитать правила форума, в особенности их дополнения для дискуссионных разделов.

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group