формаматика

Активность
2 030
Теорема:
Любая научная теория является объектом изучения со стороны математики.
Доказательство:
1) математика это наука о формальных системах.
2) любая научная теория является формальной системой.
3) следовательно, любая научная теория является объектом изучения со стороны математики.
Что и требовалось доказать.
Дополнение 1:
1) формальная система это формульная система.
2) формульная система это система описуемая формулами.
3) система описуемая формулами это система являющаяся объектом изучения со стороны математики.
4) система являющаяся объектом изучения со стороны математики это математическая система.
5) следовательно, формальная система это математическая система.
Что и требовалось доказать.
Дополнение 2:
1) любая система описуема формульно.
2) любая система описуемая формульно является формальной системой.
3) любая формальная система является математической системой.
4) следовательно, любая система является математической системой.
Что и требовалось доказать.
 
Вы хотите, на нас потренироваться, а потом защитить докторскую степень?
Интересная идея :thumbup:
 
Значит выы просто хотите потрясти нас своими умными мыслями?
Расскажите, что вам тут интересно!
Пожалуйста!
 
Девочки, ну к чему эти колкости?
Мне кажется, это просто интеллектуальная задача, без каких либо скрытых подводных камней.....
 
Значит выы просто хотите потрясти нас своими умными мыслями?

Точнее презентовать оные мысли общественности и обсудить их со всеми желающими.

Расскажите, что вам тут интересно!

Формально-логическая безупречность.


Спасибо.
 
Девочки, ну к чему эти колкости?

К тому что некоторым как девочкам, так и мальчикам чужой ум подобен гвоздю в заднице.

Мне кажется, это просто интеллектуальная задача, без каких либо скрытых подводных камней.....

Совершенно верно.
 
Точнее презентовать оные мысли общественности и обсудить их со всеми желающими.



.
то что в тексте заданной темы присутствует "Формально-логическая безупречность." и так понятно, в чем суть желания обсудить?
 
то что в тексте заданной темы присутствует "Формально-логическая безупречность." и так понятно

К сожалению сие понятно далеко не всем:(:(

в чем суть желания обсудить?

В том чтобы подумать об этой теме мыслями других людей:super::super:
 
А разве лучшее не враг хорошего, а самое лучшее не враг лучшего?

если вы о сопоставлении ряда определений, то да.
Но в целом, я думаю, что когда есть полная уверенность в собственной правоте, подкреплять ее дополнительно нет нужды.
 
Назад
Сверху