Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
... у нас нет никаких разногласий. Собственно говоря, я полагал, что у нас их и не было.
Вот и прекрасно.
А я повторюсь - приятно говорить с человеком, который все понимает с полуслова, попутно исправляя корявые мысли собеседника.
vek88
Re: Стандартная модель арифметики и все, все, все
05.02.2010, 18:07
Маленькое объявление
В теме Основания математики - элементарное рассмотрениеtopic29047.html мне удалось, наконец, собраться с мыслями и изложить популярно методологию нефинитной формализации. Так вот, для справки, интуитивная арифметика формализуема в полных К-системах. Разумеется, эта формализация полна и непротиворечива.