Сегодня 14 мая, вторник

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

получить код

Главная / Каталог блогов / 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. Требуется заиметь.

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

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

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

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

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

ЖЖ все стерпит
по сумме баллов (758) в категории «Истории»

Категория «Артисты»

Взлеты Топ 5


+96	124	Наша жизнь просто прекрасна
+69	108	Рыцарь Дорог (Knight Rider) - фан сайт сериала
+48	99	House of Pocong
+1	35	\|

Падения Топ 5


-1	5	Мартышка_с_Алмазами
-3	26	театральный Лягушатник
-9	3	alexjdanov

Загрузка...

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