?
Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.
Cornell University
,
2016.
No. 1602.05728.
Lev Beklemishev, Shamkanov D.
We study abstract versions of G\"odel's second incompleteness theorem and formulate generalizations of L\"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G\"odel's theorem and give a (toy) example of a system based on modal logic without contraction invalidating G\"odel's argument.
Language:
English
Пермь : Пермский государственный национальный исследовательский университет, 2014
В сборнике собраны статьи студентов и молодых ученых ПГНИУ, отражающие результаты научных исследований, выполняемых на базе университета. Статьи посвящены актуальным проблемам изучения естественных и гуманитарных наук.
Сборник издается по итогам конкурса научно-исследовательских работ студентов ПГНИУ (апрель – ноябрь 2014 г.), в котором принимали участие все факультеты университета. ...
Added: December 30, 2014
Korotayev A., NY : The Edwin Mellen Press, 2004
This book provides a cross-cultural analysis of traditional social organization of the Old World Oikumene civilizations, which suggest that the world religions were its major determinant. The role of Christianity and Islam as determinants of social evolution is analyzed in more detail. Formal analysis performed in this book shows that though such factors as political ...
Added: March 10, 2013
М. : МАКС Пресс, 2013
В 2013 году Московский университет проводит очередной, крупнейший в Евразии Международный молодежный научный форум, центральным мероприятием которого является юбилейная, XX молодежная научная конференция студентов, аспирантов и молодых ученых.
Сопредседателями организационного комитета Форума являются ректор Московского университета, вице-президент РАН, академик РАН В.А.Садовничий и Министр образования и науки Российской Федерации Д.В. Ливанов. Проведению Форума традиционно оказывают поддержку Исполком ...
Added: April 16, 2015
М. : Инконсалт К, 2016
В сборнике собраны тезисы докладов участников Второго Всероссийского научного форума «Наука будущего — наука молодых», организованного Министер- ством образования и науки Российской Федерации (20 сентября — 23 сентября 2016 года, г. Казань).
Участники форума — ученые с мировым именем, ведущие молодые ученые, студенты-победители конкурса научно-исследовательских работ студентов (НИРС). ...
Added: September 22, 2016
Istanbul : University of Istanbul, 2015
In the same way that universal algebra is a general theory of algebraic structures, universal logic is a general theory of logical structures. During the 20th century, numerous logics have been created: intuitionistic logic, deontic logic, many-valued logic, relevant logic, linear logic, non monotonic logic, etc. Universal logic is not a new logic, it is ...
Added: September 19, 2015
Korotayev A., Вестник Института экономики Российской академии наук 2015 № 1 С. 149-162
The 19th century saw an explosive growth of the gap between the “First” and the “Third” World as regards per capita incomes and levels of life that has become to be known as the “Great Divergence”. In the 20th century the Great Divergence continued up to the early 1970s, and then – in the late ...
Added: December 3, 2015
Каз. : СМУиС, 2013
Вторая Всероссийская молодежная научная Интернет-конференция «Грани науки» проводится Казанским (Приволжским) федеральным университетом, Советом молодых ученых и специалистов города Казани (http://kznscience.ru) и Комитетом по делам детей и молодежи Исполкома Казани. ...
Added: July 7, 2016
Kham T., Социальные и гуманитарные науки: теория и практика 2019 № 1(3) С. 167-183
The article examines the problems of defining the term computer simulations of scientific experiments. The first part analyzes the original method for classifying variations of terms proposed by Duran as the most successful for demonstrating significant existing contradictions among philosophers regarding the place and role of computer simulations in the philosophy of science. In the ...
Added: December 11, 2019
ЦНК МНИФ «Общественная наука», 2017
The collection of scientific papers collected materials from various fields of scientific knowledge. This publication lists all the materials that were sent to the VI International Scientific and Practical Conference. Scientific Dialogue: A Young Scientist The collection is intended for researchers, teachers, post-graduate students and students. All materials published in the collection are published in ...
Added: December 11, 2017
М. : МАКС Пресс, 2006
В настоящий сборник вошли лучшие доклады участников Международной конференции «Ломоносов– 2006», а также материалы научно-практических конференций и семинаров, организованных Молодежным Советом МГУ им. М.В. Ломоносова в 2006 году. Тематика статей очень разнообразна и охватывает многие актуальные проблемы современной науки ...
Added: March 15, 2013
Н. Новгород : Красная ласточка, 2019
В книгу вошли статьи участников II Всероссийской научной конференции «Революция и эволюция: модели развития в науке, культуре, обществе», которая проходила 29 ноября – 1 декабря 2019 года в Нижегородском государственном университете имени Н.И.Лобачевского. На конференции рассматривались вопросы, связанные с философией, методологией и историей науки, философией образования, концептуальными и методологическими проблемами эпистемологии, а также новационным развитием ...
Added: November 29, 2019
Akaev A., Sadovnichii V. A., Korotayev A. et al., М. : Институт социально-политических исследований РАН, 2012
В данной книге авторы предлагают новую методологию долгосрочного социально-экономического моделирования и прогнозирования, основанную на кондратьевских больших циклах экономической конъюнктуры. Использование методологии позволяет обнаружить точки кризисов, рецессий и бифуркаций и тем самым повышает точность и надежность прогноза. Методология применяется для системного анализа мировой динамики и построения сценариев развития России. ...
Added: October 22, 2014
Пенза : ПГУ, 2015
В сборник трудов включены доклады юбилейного ХХ-го Международного симпозиума «Надежность и качество», проходившего с 25 по 31 мая 2015 г. в городе Пензе.
Рассмотрены актуальные проблемы теории и практики повышения надежности и качества; эффективности внедрения инновационных и информационных технологий в фундаментальных научных и прикладных исследованиях, образовательных и коммуникативных системах и средах, экономике и юриспруденции; методов и ...
Added: May 31, 2015
Malyshev D., Gribanov D., Discrete Optimization 2018 Vol. 29 P. 103-110
We consider boolean linear programming formulations of the vertex and edge dominating set problems and prove their polynomial-time solvability for classes of graphs with constraint matrices having bounded minors in the absolute value. ...
Added: April 8, 2018
Kuznetsov V. O., Логистика и управление цепями поставок 2018 № 4 (87) С. 27-33
One of the options for a more flexible approach to analyzing the reliability of supply chains is the principal component analysis (PCA). With a large number of variables describing supply chain, it is a difficult task to analyze the structure of variables in two-dimensional space. Within the analysis of the variables dependencies PCA allows to ...
Added: November 29, 2018
Lanham : University Press of America, 2012
The history of logic and analytic philosophy in Central and Eastern Europe is still known to very few people. As an exception to the rule, only two scientific schools became internationally popular: the Vienna Circle and the Lvov-Warsaw School. Nevertheless, the countries included in this region have not only joint history, but also joint cultural ...
Added: February 13, 2013
Felikson А. A., Natanzon S. M., Differential Geometry and its Application 2012 Vol. 30 No. 5 P. 490-508
We consider (local) parameterizations of Teichmüller space Tg,n (of genus g hyperbolic surfaces with n boundary components) by lengths of 6 g- 6 + 3 n geodesics. We find a large family of suitable sets of 6 g- 6 + 3. n geodesics, each set forming a special structure called "admissible double pants decomposition". For ...
Added: February 5, 2013
Malyshev D., / Cornell University. Series math "arxiv.org". 2013. No. 1307.0278v1.
The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational complexity for all sets of two connected forbidden induced subgraphs with at most five vertices except ...
Added: October 3, 2013
Kochergin V.V., Mikhailovich A.V., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2018 Vol. 12 No. 1 P. 40-58
The complexity of realization of k-valued logic functions by circuits in a special infinite basis is under study. This basis consists of Post negation (i.e. function x+1(mod k)) and all monotone functions. The complexity of the circuit is the total number of elements of this circuit. For an arbitrary function f, we find the lower and upper bounds ...
Added: March 11, 2018
Marshirov V. V., Marshirova L. E., Сибирский журнал индустриальной математики 2013 Т. XVI № 4 С. 111-120
The paper considers the problem of determining the rate of cooling of metal during solidification at the intersection of the liquidus temperature under intense heat sink from the surface. The solution to this problem it is necessary to determine the process conditions, the boundary and initial conditions for which it is possible to get new ...
Added: November 17, 2013
Malyshev D., Discrete Mathematics 2015 Vol. 338 No. 11 P. 1860-1865
We completely determine the complexity status of the 3-colorability problem for hereditary graph classes defined by two forbidden induced subgraphs with at most five vertices. ...
Added: April 7, 2014
Kryuchkov M., Rusakov S. V., Вестник Ижевского государственного технического университета 2015 № 2(66) С. 110-112
This paper describes the results of testing the neuronal technical trend indicator according to the exchange rate of Brent oil in 2014. Testing of the model was carried out on three time series, which characterized by their features. ...
Added: August 31, 2015
Malyshev D., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2020 Vol. 14 No. 4 P. 706-721
The edge coloring problem for a graph is to minimize the number of colors that are sufficient to color all edges of the graph so that all adjacent edges receive distinct colors. The computational complexity of the problem is known for all graph classes defined by forbidden subgraphs with at most 6 edges. We improve ...
Added: January 30, 2021
Yasnitsky L., Пермь : Пермский государственный национальный исследовательский университет. – Электронные данные. , 2020
The collection contains materials from the international conference "Intelligent systems in science and technology" and the Sixth all-Russian scientific and practical conference "Artificial intelligence in solving urgent social and economic problems of the XXI century", which was held on October 12-18, 2020 in Perm as part of the Perm natural science forum "Mathematics and global ...
Added: December 4, 2020