2014 dxdy logo

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

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




 
 Доказательства в аксиоматике Пеано
Сообщение30.04.2011, 16:26 
Наверно, кто-нибудь уже написал книгу со сборником доказательств всяких арифметических фактов из аксиом Пеано (или видоизменённых), не знаете такую? А то уже коммутативность умножения доказал, выкидывать листочек жалко, куда-нибудь выписывать — есть ли смысл? Ведь структура доказательств может довольно существенно измениться, начни я считать с единицы, а не с нуля.

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение30.04.2011, 16:29 
Э. Ландау "Основы анализа"

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение30.04.2011, 16:43 
Спасибо! :D Судя по оглавлению, это как раз то, что нужно!

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение12.05.2011, 12:23 
Аватара пользователя
Padawan

Классная книжка. Спасибо.

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение12.05.2011, 12:30 
arseniiv в сообщении #440293 писал(а):
Наверно, кто-нибудь уже написал книгу со сборником доказательств всяких арифметических фактов из аксиом Пеано (или видоизменённых), не знаете такую? А то уже коммутативность умножения доказал, выкидывать листочек жалко, куда-нибудь выписывать — есть ли смысл? Ведь структура доказательств может довольно существенно измениться, начни я считать с единицы, а не с нуля.


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

Математикам - тем более нафиг не надо. Если кто захочет - сам сделает, причем довольно быстро.

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение12.05.2011, 23:09 
Аватара пользователя
Здесь есть. Правда, увидеть структуру доказательства невозможно без самой программы (Coq), да и с программой трудно. Доказательства записаны на формальном языке, но, я думаю, это оправдано, потому что на естественном будет слишком длинно, и какие-то художественные аналогии вряд ли появятся в процессе доказательства.

 
 
 
 Re: Доказательства в аксиоматике Пеано
Сообщение13.05.2011, 21:20 
О! Спасибо! :D

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


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