x, y, z

Поиск > Публикации: аксиоматика

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 3
ПубликацияРазделКомм.
Владимир Тихомиров
В докладе на примере геометрий Евклида и Лобачевского будет обсуждаться вопрос о том, что такое математическая истина и что означает «непротиворечивость геометрии». Будет рассказано об эволюции геометрических идей от Фалеса и Евклида до Пуанкаре и Гильберта, а также о специальной теории относительности Эйнштейна и об учебнике А. Н. Колмогорова по геометрии.
Математика ≫ Видео 0 Ø
Джордана Цепелевич
Всякая надежда на создание единой математической теории, амбициозного проекта, который был предложен математиком Давидом Гильбертом в 19 веке и продолжил существовать, поддерживаемый многими, в 20 столетии, рухнула. Основы математики были далеко не столь надежными, как того хотел бы Гильберт. А Гëдель своими теоремами ясно продемонстрировал, что любая система аксиом, какой бы обширной она ни была, уязвима для возникновения невосполнимых пробелов. Попытки же восполнить их созданием более полной системы породили бы только бóльшее количество утверждений без доказательств — так что и тут возникнет необходимость в усовершенствовании системы, и так далее до бесконечности. И случилось нечто странное: математики решили не обращать на это внимания. Они посчитали, что неполнота систем не имеет непосредственного влияния на их работу.
Математика 0 Ø
Владимир Успенский
Действительно ли в математике всё определяется и доказывается? Можно ли определить понятие натурального числа? Можно ли определить Натуральный Ряд (с прописной буквы)? Можно ли аксиоматически определить понятие натурального ряда (со строчной буквы)? Можно ли доказать, что Великую теорему Ферма нельзя ни доказать, ни опровергнуть? Что такое доказательство? Можно ли математику сделать понятной?
Математика 0 Ø