Сегодня 29 ноября, пятница

Какой рейтинг вас больше интересует?

получить код

Главная / Каталог блогов / Cтраница блогера КвантоФорум :: Recent Posts / Запись в блоге

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

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

2017-01-04 15:33:50 (читать в оригинале)

Вики wrote:

Формальная теория считается определенной, если:

1. Задано конечное или счётное множество произвольных символов. Конечные последовательности символов называются выражениями теории.
2. Имеется подмножество выражений, называемых формулами.
3. Выделено подмножество формул, называемых аксиомами.
4. Имеется конечное множество отношений между формулами, называемых правилами вывода.

1. ( и ).
2. Все (правильные?) формулы арифметики, из которых выброшены все символы, кроме ( и ).
3. Требуется выделить.
4. Требуется заиметь.

Что такое "правильные" формулы надо обдумать отдельно.

Тэги: математика., матрица

Блограйдеров
14500

Блогов
219926
(+0 сегодня)

Сообществ
1311
(+0 сегодня)

ЖЖ все стерпит
по количеству голосов (152) в категории «Истории»

Категория «Новости»

Взлеты Топ 5


+657	774	Zombiefan.ru Фильмы про зомби
+654	754	VKSeattle
+643	762	Правила форума
+620	626	Lexsandr
+614	633	Mandrake

Падения Топ 5


-3	2	Темы_дня
-4	347	Компания Альпари
-7	20	Prestissima
-7	5	BlogRider
-8	4	Любер

Загрузка...

BlogRider.ru не имеет отношения к публикуемым в записях блогов материалам. Все записи
взяты из открытых общедоступных источников и являются собственностью их авторов.