Я не понимаю, как тогда вообше заниматься математикой, если можно

Question

Symbolic logic for math and destroy

Smith

Я не понимаю, как тогда вообше заниматься математикой, если можно

в любой момент выйти на такую невыводимую формулу, и что с ней делать? Как вообще понять если мы такое получили?

0

07.07.2024

6 ответов

18 просмотров

Nikita Repeev

до большинства из них нам нет дела, те до которых есть вполне умещаются в принятые формализмы.

0

4 месяца назад

Nikita Repeev

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

0

4 месяца назад

suhr

Зачем заниматься геометрией, если в ней даже аксиому Евклида доказать нельзя?

0

4 месяца назад

Brenoritvrezorkre

suhr
Зачем заниматься геометрией, если в ней даже аксио...

Это сарказм, что ли, такой

0

4 месяца назад

Юзер_Нейм8

Как раз ради этого и надо заниматься математикой. Это же прекрасно

0

4 месяца назад

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Так а в чём проблема? Какой вообще смысл в "математике" (или какой угодно теории), если тем ВСЕ формулы выводимы? Суть занятий математикой ровно в том, чтобы найти выводимое и не-выводимое. И то, и другое сообщает ценную информацию.

0

4 месяца назад

Похожие чаты

Я не понимаю, как тогда вообше заниматься математикой, если можно

6 ответов

Похожие вопросы