2014 dxdy logo

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

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




На страницу Пред.  1 ... 3, 4, 5, 6, 7
 
 Re: Стандартная модель арифметики и все, все, все
Сообщение15.01.2010, 15:15 
AGu в сообщении #280731 писал(а):
... у нас нет никаких разногласий. Собственно говоря, я полагал, что у нас их и не было.

:D Вот и прекрасно.

:D А я повторюсь - приятно говорить с человеком, который все понимает с полуслова, попутно исправляя корявые мысли собеседника.

 
 
 
 Re: Стандартная модель арифметики и все, все, все
Сообщение05.02.2010, 18:07 
Маленькое объявление

В теме Основания математики - элементарное рассмотрение topic29047.html мне удалось, наконец, собраться с мыслями и изложить популярно методологию нефинитной формализации. Так вот, для справки, интуитивная арифметика формализуема в полных К-системах. Разумеется, эта формализация полна и непротиворечива.

 
 
 [ Сообщений: 92 ]  На страницу Пред.  1 ... 3, 4, 5, 6, 7


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