NKL » Чт апр 13, 2006 1:59 am
На какой аксиоме основано определение операции сложение?
Мда, короче Айс, хватит вилять и ёрничать, пока что ты как обычно голословен. Я согласен сесть в лужу, при условии, если ТЫ приведёшь АКСИОМУ на которой держится операция сложение в арифметике в студию.
Википедия даёт следующую информацию:
Арифметика
В арифметике сложение есть бинарная операция, определённая на множестве натуральных чисел которая удовлетворяет следующим свойствам:
1. а + 1 = a'
2. a + b' = a' + b = (a + b)'
где a' обозначает натуральное число следующее за а.
Натура́льные чи́сла — числа, возникающие естественным образом при счёте (как в смысле перечисления, так и в смысле исчисления) предметов. Существуют два подхода к определению натуральных чисел, отличающиеся причислением нуля к натуральным числам. Соответственно, натуральные числа определяются как
* числа, используемые при перечислении (нумеровании) предметов: 1, 2, 3, … (первый, второй, третий и т. д.). Это определение общепринято в русских математических школах.
* числа, используемые при обозначении количества предметов: 0, 1, 2, … (нет предметов, один предмет, два предмета и т. д.). Это определение было популяризовано в трудах Бурбаки, где натуральные числа определяются как мощности конечных множеств.
--Заметим что речь пока идёт исключительно об определениях номинальных...
Аксио́ма (др. гр. αξίωμα — утверждение, положение), или постулат, — утверждение, принимаемое без доказательства.
Вот какие виды определений существуют:
Интенсиональное определение. Интенсиональное определение характеризуется следующими атрибутами. Оно должно содержать
- описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;
- пояснения смысла термина указанием правил выделения его среди прочего;
- указание ближайшего понятия и отличительных признаков по сравнению с другими определениями других понятий.
К интенсиональному виду определений относятся собирательное и представительное определения.
Реальное определение
отображает существенные признаки, свойства и характеристики объекта с целью формирования отличий от других объектов.
Аксиоматическое определение
являются фундаментальными. определение строится из суждений (логических выражений) как (конъюнктивная) совокупность утверждений, содержащих определяемое и определяющие понятия в этих утверждениях.
Номинальное
определяется термин, обозначающий понятие, с помощью номинальных определений вводятся новые термины, вводятся знаки, обозначающие термины.
Явное определение
когда даны дфд и дфн и между ними устанавливается отношение равенства. Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет «прибор». (напр. «барометр - это прибор для измерения атмосферного давления»)
Неявное определение
на место дфн подставляется контекст или набор аксиом.
"Burned Beyond Recognition"??? Why can't these bands have cool names like when we were kids?
Al Bundy