• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
May 22, 2026
HSE Graduates AI Project Wins at TECH & AI Awards
Daria Davydova, graduate of the HSE Graduate School of Business and Head of the AI Implementation Unit at the Artificial Intelligence Department of Alfa-Bank, received a prize at the TECH & AI Awards. She was awarded for the best AI solution for optimising business processes. The winners were determined as part of the VII Russian Summit and Awards on Digital Transformation (CDO/CDTO Summit & Awards).
May 20, 2026
HSE University Opens First Representative Office of Satellite Laboratory in Brazil
HSE University-St Petersburg opened a representative office of the Satellite Laboratory on Social Entrepreneurship at the University of Campinas in Brazil. The platform is going to unite research and educational projects in the spheres of sustainable development, communications and social innovations.
May 18, 2026
The 'Second Shift' Is Not Why Women Avoid News
Women are more likely than men to avoid political and economic news, but the reasons for this behaviour are linked less to structural inequality or family-related stress than to personal attitudes and the emotional perception of news content. This conclusion was reached by HSE researchers after analysing data from a large-scale survey of more than 10,000 residents across 61 regions of Russia. The study findings have been published in Woman in Russian Society.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS

M. : -, 2014.
Editor-in-chief: В. А. Шапошников, В. А. Бажанов

Moscow Philosophy of Mathematics Seminar’s fifth Collection of papers is devot- ed to mathematical proof as to one of pivotal philosophical problems under discussion. This book may be of interest to philosophers and historians of mathematics, as well as to  logicians, mathematicians, psychologists, postgraduate and PhD students in all areas of mathematics and natural sciences.  

Chapters
Трансцендентальный анализ математической деятельности: абстрактные (математические) объекты, конструкции и доказательства
Katrechko S. L., В кн.: Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS.: М.: Книжный дом "ЛИБРОКОМ", 2014. Гл. 2 С. 86–120.
Moscow Philosophy of Mathematics Seminar’s fifth Collection of papers is devoted to mathematical proof as to one of pivotal philosophical problems under discussion. This book may be of interest to philosophers and historians of mathematics, as well as to  logicians, mathematicians, psychologists, postgraduate and PhD students in all areas of mathematics and natural sciences. ...
Added: November 18, 2013
Priority areas: humanitarian
Language: Russian
Full text
Text on another site
Keywords: доказательствофилософия математикиphilosophy of mathenatics
Доказательство (Труды Московского семинара по философии математики) // PROOF: MOSCOW STUDIES IN THE PHILOSOPHY OF MATHEMATICS
Similar publications
Школьный литературный канон эмиграции 1918–1939 гг.
Strizhkova D., / Институт русской литературы (Пушкинский Дом) РАН. Серия B001 "Репозиторий открытых данных по русской литературе и фольклору". 2026.
В базе данных представлена роспись русскоязычных литературных произведений и отрывков, напечатанных в учебниках по словесности, хрестоматиях, книгах для чтения, сборниках стихотворений и рассказов, выходивших во Франции, Германии, Латвии, Эстонии, Болгарии, Сербии в период первой волны русской эмиграции с 1918 по 1939 гг. Датасет представляет интерес для исследователей школьного литературного канона, эмиграции и детского чтения ...
Added: April 22, 2026
Современная российская мультипликация как инструмент воспитания традиционных духовно-нравственных ценностей
Жигунов А. Ю., / Basic Research Programme. Серия HUM "Humanities". 2026. № 1.
The article attempts to describe the features of the educational potential of Russian animation programmes in aspect of the representation of traditional spiritual and moral values. Based on media and semiotic analysis, the method of cultural and historical interpretation, animated Russian projects created from 2000 to the 2025, which were translated on television channels or streaming ...
Added: April 19, 2026
Заключение специалиста: уголовно-процессуальные, криминалистические и методические основы
Пошвин А. Л., Туркова Н. М., Tsurlui O. et al., М.: РГУП, 2025.
В учебном издании изложены теоретические основы понятия, структуры заключения специалиста, рассмотрены субъекты, основания и порядок применения специальных знаний в форме заключения специалиста, приведены методические требования к заключению специалиста и особенности его оценки как доказательства в судопроизводстве. Учебное пособие подготовлено для студентов, обучающихся по специальности 40.05.03 «Судебная экспертиза», содержит теоретический материал, практические задания, способствующие усвоению пройденного ...
Added: October 13, 2025
Политическая аккомодация культурных различий в индустриально развитых обществах (Political Accommodation of Cultural Differences in Industrialized Societies)
Малахов В. С., Симон М. Е., Летняков Д. Э. et al., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2020.
The  notion  of  “political  accommodation” applied  to the  theory  and  practice  of managing cultural diversity could enrich the Russian academic dictionary. Liberal democratic states invented specific mechanisms for political accommodation of cultural differences. Thanks to these mechanisms, the part of the population of a democratic state that is not ready to dissolve into the ethnocultural ...
Added: September 26, 2025
Национальная мощь современных государств: сравнительный анализ. Аналитический доклад
Melville A. Y., Каберник В. В., Mironyuk M. et al., / МГИМО МИД России. 2024.
Данный аналитический доклад является одним из результатов исследований в рамках консорциума НИУ ВШЭ и МГИМО. В нем прежде всего раскрыты вопросы концептуализации национальной мощи и сопутствующих категорий и дается обзор прецедентов. Далее рассматриваются вопросы операционализации предлагаемых нами компонентов национальной мощи. В следующих разделах доклада предлагается анализ вопросов методологии, используемой в докладе. На этой основе предложен ...
Added: September 19, 2025
Explicit continuum scale format reduces the ceiling effect in self-report questionnaires comparing to Likert response format
Antipkina I., Ivanov A., Guzhelya D., / Series WP BRP "Basic research program". 2024.
This study presents a methodology for developing a new questionnaire format called explicit continuum scenario scales, in the example of a client focus questionnaire. Elements of the Rasch Guttman scenario scale methodology were used in its development. In three consequent studies, different aspects of the scale functioning were investigated. In Study 1, on the sample ...
Added: February 21, 2025
Language In The Construction Of Ethnicity Among Koreans In Kazakhstan: A Case Study Of The Korean Community In Karaganda
Aitzhanov S., / NRU HSE. Series WP BRP "Linguistics". 2024. No. 116.
This study focuses on examining the role of language as an attribute in the construction of ethnicity within the Korean community in Kazakhstan. The research examines how language functions as an attribute in the categorization and identification processes, and how it interacts with other ethnic attributes such as descent and appearance. Drawing on qualitative methods, ...
Added: December 10, 2024
CONNECTING ANCIENT AND MODERN: THE MEDIEVAL PLOT ABOUT THE FOX AND THE DISCUSSION BETWEEN GOETHE AND SCHILLER ABOUT GERMAN EPIC POETRY
Микаелян А. Л., / NRU Higher School of Economics. Series WP BRP "Literary Studies". 2024. No. 28.
The article presents an attempt to examine Goethe's poem "Reineke Fox" in connection with the discussion between Goethe and Schiller about the nature of epic poetry and the principles of its renewal within the poetics of "Weimar Classicism". Goethe introduced into his interpretation of the medieval story of the Fox a number of innovations at various ...
Added: November 19, 2024
A Language Model for Grammatical Error Correction in L2 Russian
Remnev N., Obiedkov S., Rakhilina E. V. et al., / Series Computer Science "arxiv.org". 2023.
Grammatical error correction is one of the fundamental tasks in Natural Language Processing. For the Russian language, most of the spellcheckers available correct typos and other simple errors with high accuracy, but often fail when faced with non-native (L2) writing, since the latter contains errors that are not typical for native speakers. In this paper, ...
Added: October 30, 2024
You shall know a piece by the company it keeps. Chess plays as a data for word2vec models
Orekhov B., / Series Computer Science "arxiv.org". 2024.
In this paper, I apply linguistic methods of analysis to non-linguistic data, chess plays, metaphorically equating one with the other and seeking analogies. Chess game notations are also a kind of text, and one can consider the records of moves or positions of pieces as words and statements in a certain language. In this article ...
Added: August 8, 2024
How does Burrows' Delta work on medieval Chinese poetic texts?
Orekhov B., / Series Computer Science "arxiv.org". 2024.
Burrows' Delta was introduced in 2002 and has proven to be an effective tool for author attribution. Despite the fact that it was applied to different languages, they mostly belong to the same grammatical type and use the same graphic principle to convey speech in writing: a phonemic alphabet with word separation using spaces. The question ...
Added: August 8, 2024
Does Delta really confirm that Rowling and Galbraith are the same author?
Orekhov B., / Series Computer Science "arxiv.org". 2024.
Added: August 8, 2024
Difficulty overdose? Inconclusive effect of the disfluent font on reading in second language
Tsigeman-Gorenko E., Likhanov M., Kalinnikova L. et al., / Series 00 "00". 2024.
Multiple studies show that reading in hard-to-read (dysfluent) fonts can enhance  memory and comprehension of learnt material, but it is unclear if this effect extends to second language (L2) learning. This study investigated the impact of dysfluent fonts on L2 text memorisation and comprehension, accounting for learners’ individual differences (gender, L2 anxiety, L2 proficiency and L1 vocabulary size) ...
Added: June 10, 2024
Математика как инструмент социальных исследований: к новому пониманию социальной реальности
Barabashev A. G., Логос 2023 Т. 33 № 4 С. 117–145
The present conditions of mathematics application in social sciences and in social applied analytics, is explored. The statement was made that mathematics in social sciences and in social analytics is understood as a set of instrumental methods, that help to obtain results, in contradiction to understanding of mathematics as critical doubt (the requirement of rigor ...
Added: February 1, 2024
ЛОГИКА И РИТОРИКА КАК МЕТАТРОПЫ ДИСЦИПЛИНАРНЫХ РАЗГРАНИЧЕНИЙ НАУКИ И «ОБЩЕГО» ОБРАЗОВАНИЯ
Mikirtumov I., Вестник Русской христианской гуманитарной академии 2023 Т. 24 № 2 С. 11–25
The problem of the article is the role of logical proof and rhetorical justification, firstly, in the differentiation of scientific disciplines, and secondly, in the formation of a «general» education that allows understanding and applying scientific and non-scientific knowledge as a tool for achieving the common good. A philosophical and cultural- historical analysis is undertaken, within which logic ...
Added: September 6, 2023
Факты и доказательства в международных спорах: между истиной и справедливостью
Renz I., М.: Статут, 2018.
Вселенная фактов и доказательств в судебной деятельности интригует и захватывает… Особенно в международно-правовых спорах, где ставки как нигде высоки, а игроки задействуют весь арсенал доступных средств для убеждения суда в своей правоте. Есть ли здесь место Истине и Справедливости, или же судом двигают другие Идеи и Факты? Механизмам и инструментам работы международного судьи с фактом и посвящается данная монография. Для ...
Added: October 29, 2020
„Protestantische Spuren“ im russischen Schrifttum. Von der „Rhetorik“ des Pseudo-Makarius bis zu den „Worten“ Feofan Prokopovičs
Kiseleva M., , in: Ausstrahlung der Reformation. Ost-westliche Spurensuche.: Wilhelm Fink Verlag, 2020. P. 29–43.
The article examines two texts in which "traces" of Protestant influence are found. The beginning is associated with the first known researchers "textbook on the theory of Russian eloquence", the so-called "Rhetoric" by Macarius of the first quarter of the 17th century. (attribution is still being debated); the stages of studying this text are briefly ...
Added: September 22, 2020
Философия физики: к новым принципам научного знания
Karpenko I., М.: ИНФРА-М, 2021.
The monograph "Philosophy of Physics: towards New Principles of New Knowledge" is intended both for those who are just discovering the world of philosophy of science in the most fundamental field – physics, and for specialists who are professionally engaged in the topic and are interested in the most relevant research. The author analyzes a ...
Added: July 11, 2020
О некоторых спорных положениях Федерального закона № 451-ФЗ
Bardin L., Арбитражный и гражданский процесс 2019 № 9 С. 3–7
The article is devoted to the analysis of some norms of the Federal Law № 451-FZ on introducing changes to the procedural codes. Justifies their controversy and lack of clarity, as well as the need for changes ...
Added: October 10, 2019
Глава 41. Гражданское судопроизводство первой половины XIX века.
Efremova N. N., В кн.: История суда и правосудия в России. В 9 томахТ. 3: Судоустройство и судопроизводство в период становления и развития абсолютизма (конец XVII - середина XIX века) .: М.: НОРМА, 2019. Гл. 41 С. 618–621.
В главе дан анализ нормативно-правового регулирования гражданского судопроизводства в России дореформенного периода, определено, что гражданский процесс подразделялся на производство в делах бесспорных и в делах спорных, рассматриваемых в полиции и суде. В свою очередь, судопроизводство по спорным делам подразделялось на вотчинное и исковое. К исковому производству были отнесены споры по неисполненным договорам и обязательствам и ...
Added: July 9, 2019
Кант и новая математика сто лет спустя
Rodin A., Кантовский сборник 2015 Т. 1 № 51 С. 7–16
Критика Кассирером философии математики Рассела и неокантианская философия науки и математики в целом приобретает особую актуальность в контексте современной математики и математической физики. То обстоятельство, что современная стандартная аксиоматическая архитектура математических теорий не учитывает предметного характера математического знания, на которое вслед за Кантом указывает Кассирер, затрудняет использование новых математических знаний в естественных науках и технике. В частности, в этом может ...
Added: June 16, 2018
Cкрининги I этапа диспансеризации: систематический обзор долгосрочной эффективности
Rebrova O., Федяева В. К., Омельяновский В. В. et al., Профилактическая медицина 2017 Т. 20 № 3 С. 55–59
Objective — to make a systematic search and an analysis of evidence for the long-term population-based efficiency of screenings and other measures implemented in the framework of Stage 1 screening during periodical health check in the Russian Federation according to the Order №36ан dated 2015. Material and methods. A systematic search was carried out independently ...
Added: September 7, 2017
Преступление и наказание в средневековом Уэльсе
Loshkareva M. E., Lex Russica (Русский закон) 2016 № 12 С. 184–192
The article is devoted to the analysis of the provisions of the Welsh Laws of Hywel the Good, related to the criminal law. The law remained the main source of law in Wales until the conquest of the Principality of English by King Edward I in 1284, and the introduction of Statute of Rhuddlan in ...
Added: February 16, 2017
Вероятное заключение эксперта - косвенное доказательство?
Smolnikov D., В кн.: Проблемы реализации норм, регулирующих доказывание и доказательства в гражданском, арбитражном и административном судопроизводстве. Сборник статей по материалам Международной научно-практической конференции.: СПб.: ООО ИД "Петролис", 2015. С. 309–315.
Наука гражданского процесса считает, что заключение эксперта, содержащее вероятный вывод, является косвенным доказательством. Автор статьи не согласен с этим утверждением, поскольку считает, что оно основывается на неточном понимании косвенных доказательств.  Подобные заключения могут быть использованы в качестве доказательств, несмотря на вероятный характер содержащегося в них вывода. ...
Added: October 31, 2016
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit