Цитата: vlad9486 от ноября 25, 2010, 14:00На числа вы точно нацепить ничего не сможете действительно нужного в языке. А вот основания математики, может, могут немного дать, теория множеств там. А может, и не могут.
Я понимаю, просто в языке не используются возможноси чисел, было бы интересно поэкспериментировать, есле уже числа есть.
Цитата: basta от ноября 25, 2010, 18:17Почему же, современный математический формализм как раз то, чего желал Лейбниц. (Ну вроде.) Да, с первого взгляда неудобоваримо, но кто ж просит монструозные формулы составлять. Конечно, некоторые учёные говорят, что никто кванторами не мыслит, но мне кажется, что с простыми конструкциями всё-таки мозг может иметь дело без перевода в натуральный язык, а сразу во что-то своё внутреннее. Конечно, аксиомы ZFC уже в него не влазят (у меня), слишком громоздкие. Но можно же использовать наивные теорию множеств и логику, когда не касаешься критических мест. (А проверить строго в любой момент можно.)
да, это мечта даже лейбница. но что поделаеш.
Страница создана за 0.046 сек. Запросов: 20.