КвантоФорум :: Recent Posts Голосов: 1 Адрес блога: http://quantoforum.ru Добавлен: 2013-05-02 14:40:55

В каком месте математика "отошла" от физики? №3

2017-01-14 16:51:09 (читать в оригинале)

Вот, специально для Вас, ув. Хайдук, попробую привести аналогию

class A {бла бла бла} это терм - знакосочетание первого рода
A a; это объект - знакосочетание второго рода - квантор существования терма A
a==b - утверждение об объекте - знакосочетание второго рода

A& a = b; - аксиома - мы постулируем это тождество
и т.д.
Вы же не хотите, чтобы мы рассмотрели весь компилятор с формальной точки зрения?
Это долго и нудно.