КвантоФорум :: 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; - аксиома - мы постулируем это тождество
и т.д.
Вы же не хотите, чтобы мы рассмотрели весь компилятор с формальной точки зрения?
Это долго и нудно.

---

Волновой геном №32. Беседы с Петровичем о главном

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

Злодейство творится на наших глазах ?

---

Волновой геном №32. Беседы с Петровичем о главном

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

adaris wrote: Безосновательные вопросы. Сделал ему спектры некоторых феромонов и его фото. На записи видно, как наша сотрудница делает это в моем офисе на моем лазере. А что он там делает с этими спектрами, его дело. Вы бы лучше убрали из сети пакостные самопальные фильмы о моей работе. Это полезно для вас же будет.

---

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

2017-01-14 15:56:45 (читать в оригинале)

Ув.Хайдук, там сто страниц вообще то

---

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

2017-01-14 15:48:21 (читать в оригинале)

а что такое аксиома с чисто формальной точки зрения, как её заполучить из букв, термов и пр.?