Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Математическая логика и теория алгоритмов - это метаматематика?

ОбразованиеПрограммирование+2
Анонимный вопрос
  · 451
Разработчик в Яндексе, студент ВШЭ по специальности ПМИ, олимпиадный программист  · 28 янв 2022
Математическая логика - это математика. Она изучает доказуемость суждений, вычислимость, формальные системы и прочее, что несомненно относится к математике.
Теория алгоритмов - это тоже математика. Изучает свойства и закономерности алгоритмов, а так же формальные модели их представления.
Дискретная математика - это тоже математика. Изучает дискретные математические структуры.
Теоритическая информатика - это сумма всего выше плюс аспекты вычислительной техники.
Все это изучается на программе ПМИ (Прикладной математики и информатики) любого ВУЗа.
1 эксперт согласен
Ценообразование. Паранормальная логика. Думаю своей головой.   · 22 янв 2022
Полагаю, что именно так. Например , совесть - как модель поведения : самовворачивание. Можно сказать, что атом построен совестью. "Заканчивается" он там , где его энергия разворачивает свое движение на последней из орбит от периферии - к центру.. Это движение задано алгоритмом . То же самое с любым "развитием себя" происходит. Алгоритм любого движения задаёт способ... Читать далее
1 эксперт не согласен
Думаю, что нет, хотя есть даже математическая книга "Метаматематика математики" именно о логике и теории... Читать дальше