Что такое язык математической логики?

Question

Что такое язык математической логики?

Ромич Гуру (3233), закрыт 17 лет назад

Это примерно "один плюс один равно два"? Будет ли он понятен инопланетным цивилизациям? Ведь 1+1 равняется двум не только в Африке, но и на Проционе или Сириусе. Но как из всего этого соорудить язык, которым можно будет выражать конкретные понятия? Возможно ли это?

Answer 1

Язык математической логики имеет строгий синтаксис и семантику. Синтаксис – это порядок слов из определенного множества (словаря). С семантикой еще сложнее…
А что касается 1+1 так это полная загадка:
1) = 2 (в десятичной арифметике)
2) = 10 (в двоичной)
3) = 11 или 100 (в исчислении Фибоначчи – это отельный разговор)
Поймут ли инопланетяне фразу “один плюс один равно два” – это зависит от уровня подготовки инопланетян, от их знания чужого словаря и способности понять чужой синтаксис.

Answer 2

Это метод научного тыка. "Другие" так всегда делают. Их и херачют.

Answer 3

Нет, 1+1=2 - это арифметика.

А вот Если из А следует B, а из В следует С, то из А следует С - это уже логика.
Подробно написано в википедии здесь.

Сами-то выводы и следствия для всех едины. Проблемы языка для других цивилизаций могут быть в выборе символов и вообще в органе восприятия.