ПРЕПРИНТ
Эта статья является препринтом и не была отрецензирована.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
О результатах, изложенных в препринтах, не следует сообщать в СМИ как о проверенной информации.
Ꝋ-арифметика (фини́та-арифметика): операциональная математика конечного графа
2026-06-22
Давид Гильберт в 1920-х годах выдвинул программу финитизма как основу математики: доказывать теоремы только с помощью конечных, конструктивных методов, без апелляции к актуальной бесконечности. Программа была частично опровергнута теоремами Геделя о неполноте (1931), но только в том смысле, что финитными методами нельзя доказать непротиворечивость арифметики. Сама идея конечной математики осталась живой. Ꝋ-арифметика Quantumograph стоит в этой традиции, но с принципиальным отличием.
Ссылка для цитирования:
Матеров С. Ю. 2026. Ꝋ-арифметика (фини́та-арифметика): операциональная математика конечного графа. PREPRINTS.RU. https://doi.org/10.24108/preprints-3115627
Список литературы
