Исправление www_linux_org_ru, (текущая версия) :
кстати, tailgunner постоянно идет на один шаг впереди меня в объяснении того, что у тебя явно не хватает знаний, чтобы троллить о (мета)математике, поэтому я переключусь на другой момент
Объясняю просто - для дебилов: лингвистика изучает языки - математика это язык (набор языков, набор DSL).
правильно, для дебилов — ибо только дебилы согласятся, что метаматематика сводится к лингвистике
лингвистика изучает (за очень немногими исключениями) то, каким образом можно строить высказывания (sentences); однако как математика, так и метаматематика рассматривают *дополнительно* к этому model-theoretic interpretation, which assigns truth values to sentences of the formal language
именно model-theoretic interpretation лежит за пределами лингвистики; более того, теорему геделя о неполноте можно трактовать как утверждение о нелингвистичности математики
я это пишу не столько для тебя, сколько для тех, кто будет эту ветку читать — ибо тебе все метаматематические доказательства, включая теорему геделя, кажутся lsd-трипом
короче — лечись, чувак!
Исходная версия www_linux_org_ru, :
кстати, tailgunner постоянно идет на один шаг впереди меня в объяснении того, что у тебя явно не хватает знаний, чтобы троллить о (мета)математике, поэтому я переключусь на другой момент
Объясняю просто - для дебилов: лингвистика изучает языки - математика это язык (набор языков, набор DSL).
правильно, для дебилов — ибо только дебилы согласятся, что метаматематика сводится к лингвистике
лингвистика изучает (за очень немногими исключениями) то, каким образом можно строить высказывания (sentences); однако как математика, так и метаматематика рассматривают *дополнительно* к этому model-theoretic interpretation, which assigns truth values to sentences of the formal language
именно model-theoretic interpretation лежит за пределами лингвистики; более того, теорему геделя о неполноте можно трактовать как утверждение о нелингвистичности математики
я это пишу не столько для тебя, сколько для тех, кто будет это ветку читать — ибо тебе все метаматематические доказательства, включая теорему геделя, кажутся lsd-трипом
лечись, короче