Некоторые различия аксиоматик Колмогорова и Гильберта:
Область применения: аксиоматика Колмогорова разработана для математического описания теории вероятностей, а аксиоматика Гильберта — для евклидовой геометрии. vk.com {8-host}
Подход к формулировке аксиом:
- Колмогоров использовал для аксиоматизации теории вероятности уже готовый инструмент — теорию меры. nsportal.ru Система аксиом Колмогорова позволила описать классические разделы теории вероятностей и дать толчок развитию её новых разделов, например, теории случайных процессов. {6-host} {8-host}
- Гильберт построил первую последовательную и полную систему аксиом для элементарной геометрии, из которых весь остальной материал может быть получен логическими выводами. vk.com postnauka.org Гильберт старался избежать понятия числа, которого не было у Евклида, что привело к громоздкости его аксиоматики и в некотором смысле удалённости её от евклидовской. old.mccme.ru
Цель создания:
- Колмогоров стремился придать теории вероятностей строгий математический вид и сделать её одним из разделов математики. nsportal.ru
- Гильберт провозгласил «программу Гильберта», целью которой было разработать системы аксиом для всех частей математики (и даже частей физики) и затем установить непротиворечивость математики ограниченными средствами. postnauka.org