Основания математики (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Основания математики" in Russian language version.

refsWebsite

Global rank Russian rank

11web.archive.org

1^st place

2stanford.edu

179^th place

213^th place

2springer.com

274^th place

350^th place

2doi.org

2^nd place

3^rd place

2archive.org

6^th place

9^th place

1wikipedia.org

low place

1msu.su

low place

1,481^st place

1academic.ru

3,353^rd place

1,877^th place

1philomatica.org

low place

1arxiv.org

69^th place

148^th place

1elementy.ru

2,937^th place

221^st place

1homotopytypetheory.org

low place

1iphras.ru

low place

4,424^th place

academic.ru

dic.academic.ru

Формальная арифметика (неопр.). Большая советская энциклопедия. Дата обращения: 20 января 2013. Архивировано из оригинала 8 октября 2013 года.

archive.org

Яновская С. А. Преодолены ли в современной науке трудности, известные под названием «Апорий Зенона»? // Проблемы логики. — М., 1963. — С. 116—136.
Kasner, Edward and Newman, James Roy. Mathematics and the Imagination. — Dover Pubns, 2001. — P. 359. — ISBN 0-486-41703-4.

arxiv.org

Daniel R. Grayson. An introduction to univalent foundations for mathematicians // arXiv:1711.01477 [math]. — 2017-11-04. Архивировано 11 марта 2018 года.

doi.org

dx.doi.org

F. William Lawvere. The Category of Categories as a Foundation for Mathematics (англ.) // Proceedings of the Conference on Categorical Algebra. — Springer, Berlin, Heidelberg, 1966. — P. 1—20. — ISBN 9783642999048, 9783642999024. — doi:10.1007/978-3-642-99902-4_1. Архивировано 26 марта 2018 года.
Proof assistants: History, ideas and future (англ.) // Sadhana. — 2009-02-01. — Vol. 34, iss. 1. — P. 3—25. — doi:10.1007/s12046-009-0001-5. Архивировано 10 марта 2018 года.

elementy.ru

Davies B . Whither mathematics? (англ.) // Notices of the American Mathematical Society. — 2001. — Vol. 52, no. 11. — P. 1350—1356. Архивировано 27 декабря 2017 года.

homotopytypetheory.org

Homotopy Type Theory: Univalent Foundations of Mathematics. — Princeton: Institute for Advanced Study, 2013. — 603 p. Архивировано 22 января 2021 года.

iphras.ru

Андрей Родин. Логический и геометрический атомизм от Лейбница до Воеводского (рус.) // Вопросы философии. — 2016. — № 6. — С. 134—142. Архивировано 19 октября 2017 года.

msu.su

lpcs.math.msu.su

Плиско В. Е., Хаханян В. Х. Интуиционистская логика (неопр.). — Стр. 10. Дата обращения: 24 ноября 2017. Архивировано 22 августа 2017 года.

philomatica.org

А. Родин. Теория категорий и поиски новых математических оснований физики. Архивная копия от 15 декабря 2017 на Wayback Machine

springer.com

link.springer.com

F. William Lawvere. The Category of Categories as a Foundation for Mathematics (англ.) // Proceedings of the Conference on Categorical Algebra. — Springer, Berlin, Heidelberg, 1966. — P. 1—20. — ISBN 9783642999048, 9783642999024. — doi:10.1007/978-3-642-99902-4_1. Архивировано 26 марта 2018 года.
Proof assistants: History, ideas and future (англ.) // Sadhana. — 2009-02-01. — Vol. 34, iss. 1. — P. 3—25. — doi:10.1007/s12046-009-0001-5. Архивировано 10 марта 2018 года.

stanford.edu

plato.stanford.edu

Alternative Axiomatic Set Theories. Stanford Encyclopedia of Philosophy (неопр.). Дата обращения: 16 ноября 2019. Архивировано 7 августа 2019 года.
Zeno of Elea Архивная копия от 17 июля 2017 на Wayback Machine // Stanford Encyclopedia of Philosophy.

web.archive.org

Alternative Axiomatic Set Theories. Stanford Encyclopedia of Philosophy (неопр.). Дата обращения: 16 ноября 2019. Архивировано 7 августа 2019 года.
F. William Lawvere. The Category of Categories as a Foundation for Mathematics (англ.) // Proceedings of the Conference on Categorical Algebra. — Springer, Berlin, Heidelberg, 1966. — P. 1—20. — ISBN 9783642999048, 9783642999024. — doi:10.1007/978-3-642-99902-4_1. Архивировано 26 марта 2018 года.
Zeno of Elea Архивная копия от 17 июля 2017 на Wayback Machine // Stanford Encyclopedia of Philosophy.
Плиско В. Е., Хаханян В. Х. Интуиционистская логика (неопр.). — Стр. 10. Дата обращения: 24 ноября 2017. Архивировано 22 августа 2017 года.
Формальная арифметика (неопр.). Большая советская энциклопедия. Дата обращения: 20 января 2013. Архивировано из оригинала 8 октября 2013 года.
А. Родин. Теория категорий и поиски новых математических оснований физики. Архивная копия от 15 декабря 2017 на Wayback Machine
Proof assistants: History, ideas and future (англ.) // Sadhana. — 2009-02-01. — Vol. 34, iss. 1. — P. 3—25. — doi:10.1007/s12046-009-0001-5. Архивировано 10 марта 2018 года.
Daniel R. Grayson. An introduction to univalent foundations for mathematicians // arXiv:1711.01477 [math]. — 2017-11-04. Архивировано 11 марта 2018 года.
Davies B . Whither mathematics? (англ.) // Notices of the American Mathematical Society. — 2001. — Vol. 52, no. 11. — P. 1350—1356. Архивировано 27 декабря 2017 года.
Homotopy Type Theory: Univalent Foundations of Mathematics. — Princeton: Institute for Advanced Study, 2013. — 603 p. Архивировано 22 января 2021 года.
Андрей Родин. Логический и геометрический атомизм от Лейбница до Воеводского (рус.) // Вопросы философии. — 2016. — № 6. — С. 134—142. Архивировано 19 октября 2017 года.

wikipedia.org

en.wikipedia.org

См. подробности в статье «Conglomerate^[англ.]».