Стилетов Владимир Владимирович : другие произведения.

Формаматика

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
Ссылки:


 Ваша оценка:
  • Аннотация:
    Математика и другие

Теорема:
Любая научная теория является объектом изучения со стороны математики.
Доказательство:
1) математика это наука о формальных системах.
2) любая научная теория является формальной системой.
3) следовательно, любая научная теория является объектом изучения со стороны математики.
Что и требовалось доказать.
Дополнение 1:
1) формальная система это формульная система.
2) формульная система это система описуемая формулами.
3) система описуемая формулами это система являющаяся объектом изучения со стороны математики.
4) система являющаяся объектом изучения со стороны математики это математическая система.
5) следовательно, формальная система это математическая система.
Что и требовалось доказать.
Дополнение 2:
1) любая система описуема формульно.
2) любая система описуемая формульно является формальной системой.
3) любая формальная система является математической системой.
4) следовательно, любая система является математической системой.
Что и требовалось доказать.


 Ваша оценка:

Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

Как попасть в этoт список
Сайт - "Художники" .. || .. Доска об'явлений "Книги"