scholarly journals COMPUTER PROOFS PRACTICE AND HUMAN UNDERSTANDING: EPISTEMOLOGICAL ISSUES

2021 ◽  
pp. 5-19
Author(s):  
Lev D. Lamberov ◽  
Keyword(s):  
Type Theory ◽  
Point Of View ◽  
Foundations Of Mathematics ◽  
Traditional Concept ◽  
New Approach ◽  
Informal Mathematics ◽  
Computer Proofs ◽  
Number Of Publications ◽  
Univalent Foundations ◽  
Epistemological Point

In recent decades, some epistemological issues have become especially acute in mathematics. These issues are associated with long proofs of various important mathematical results, as well as with a large and constantly increasing number of publications in mathematics. It is assumed that (at least partially) these difficulties can be resolved by referring to computer proofs. However, computer proofs also turn out to be problematic from an epistemological point of view. With regard to both proofs in ordinary (informal) mathematics and computer proofs, the problem of their surveyability appears to be fundamental. Based on the traditional concept of proof, it must be surveyable, otherwise it will not achieve its main goal — the formation of conviction in the correctness of the mathematical result being proved. About 15 years ago, a new approach to the foundations of mathematics began to develop, combining constructivist, structuralist features and a number of advantages of the classical approach to mathematics. This approach is built on the basis of homotopy type theory and is called the univalent foundations of mathematics. Due to itspowerful notion of equality, this approach can significantly reduce the length of formalized proofs, which outlines a way to resolve the epistemological difficulties that have arisen

scholarly journals Introduction – from type theory and homotopy theory to univalent foundations

2015 ◽  
Vol 25 (5) ◽  
pp. 1005-1009
Author(s):  
STEVE AWODEY ◽  
NICOLA GAMBINO ◽  
ERIK PALMGREN
Keyword(s):  
Homotopy Type ◽  
Type Theory ◽  
Homotopy Theory ◽  
Foundations Of Mathematics ◽  
Special Issue ◽  
Research Papers ◽  
Homotopy Type Theory ◽  
Main Ideas ◽  
Univalent Foundations

We give an overview of the main ideas involved in the development of homotopy type theory and the univalent foundations of Mathematics programme. This serves as a background for the research papers published in the special issue.

scholarly journals Controllability and Observability of a Large Scale Thermodynamical System via Connectability Approach

2010 ◽  
Author(s):  
Virdiansyah Permana ◽  
Rahmat Shoureshi
Keyword(s):  
Graph Theory ◽  
Lie Algebra ◽  
Large Scale ◽  
Point Of View ◽  
Rank Condition ◽  
Computational Point ◽  
New Approach ◽  
Class System ◽  
Necessary And Sufficient ◽  
Controllability And Observability

This study presents a new approach to determine the controllability and observability of a large scale nonlinear dynamic thermal system using graph-theory. The novelty of this method is in adapting graph theory for nonlinear class and establishing a graphic condition that describes the necessary and sufficient terms for a nonlinear class system to be controllable and observable, which equivalents to the analytical method of Lie algebra rank condition. The directed graph (digraph) is utilized to model the system, and the rule of its adaptation in nonlinear class is defined. Subsequently, necessary and sufficient terms to achieve controllability and observability condition are investigated through the structural property of a digraph called connectability. It will be shown that the connectability condition between input and states, as well as output and states of a nonlinear system are equivalent to Lie-algebra rank condition (LARC). This approach has been proven to be easier from a computational point of view and is thus found to be useful when dealing with a large system.

scholarly journals On the asymptotic behavior of flood peak distributions

2006 ◽  
Vol 10 (2) ◽  
pp. 233-243 ◽  
Author(s):  
E. Gaume
Keyword(s):  
Frequency Distribution ◽  
Return Period ◽  
Asymptotic Properties ◽  
Flood Frequency ◽  
Point Of View ◽  
Rainfall Runoff ◽  
New Approach ◽  
Flood Peak ◽  
Flood Quantiles ◽  
The Impact

Abstract. This paper presents some analytical results and numerical illustrations on the asymptotic properties of flood peak distributions obtained through derived flood frequency approaches. It confirms and extends the results of previous works: i.e. the shape of the flood peak distributions are asymptotically controlled by the rainfall statistical properties, given limited and reasonable assumptions concerning the rainfall-runoff process. This result is partial so far: the impact of the rainfall spatial heterogeneity has not been studied for instance. From a practical point of view, it provides a general framework for analysis of the outcomes of previous works based on derived flood frequency approaches and leads to some proposals for the estimation of very large return-period flood quantiles. This paper, focussed on asymptotic distribution properties, does not propose any new approach for the extrapolation of flood frequency distribution to estimate intermediate return period flood quantiles. Nevertheless, the large distance between frequent flood peak values and the asymptotic values as well as the simulations conducted in this paper help quantifying the ill condition of the problem of flood frequency distribution extrapolation: it illustrates how large the range of possibilities for the shapes of flood peak distributions is.

scholarly journals Bibliometric analysis of Russian publications’ quality in physical area, included to the Web of Science Core Collection Data Base

Bibliosphere ◽  
2020 ◽  
pp. 49-60
Author(s):  
A. V. Glushanovskiy
Keyword(s):  
Bibliometric Analysis ◽  
Core Collection ◽  
Web Of Science ◽  
Point Of View ◽  
Lower Percentage ◽  
Research Level ◽  
Collection Data ◽  
The Russian Federation ◽  
Number Of Publications ◽  
The Web

The article analyzes the changes in the bibliometric characteristics of the array of Russian publications reflected in the Web of Science Core Collection (WoS CC database) in the field of physics in 2018, compared to the same characteristics in 2010. The main parameter to assess the quality (research level) of arrays with bibliometric point of view was “Comprehensive index of quality” (CIQ) for the array of publications, calculated on the basis of one of the parameters in “Method for calculating the qualitative indicator of the state task “the Comprehensive performance score publication”...”, used by the Ministry of science and higher education of the Russian Federation. It was found that with an almost twofold increase in the volume of the array, there was a slight decrease in its quality in terms of CIQ in 2018 in comparison with 2010. The author also compared the characteristics of the array of Russian publications in 2018 with similar ones of the arrays on physical publications in Germany, India and Great Britain, located close to Russia in the ranking by the number of publications included in the WoS array (in this ranking, Russia was on the fourth place in 2018). In the ranking based on the CIQ indicator, the arrays of these countries are significantly ahead of the Russian one, and our country is only on the sixth place. The main reasons for this lag in the Russian publications array are identified. They are: a lower percentage of Russian publications in high-quartile journals and a greater number of publications from conference proceedings. The conclusion is made about the applicability of bibliometric analysis to identify trends in publishing activities in the scientific field.

scholarly journals FEATURES OF MODERN INTERACTION BETWEEN SUBJECTS OF THE MARITIME SEGMENT OF THE LABOUR MARKET

2021 ◽  
Vol 23 (2(79)) ◽  
pp. 25-34
Author(s):  
O.K. AFANASIEVA ◽  
A.O. HUK
Keyword(s):  
Labour Market ◽  
Labour Force ◽  
State Level ◽  
State Regulation ◽  
Point Of View ◽  
Scientific Article ◽  
Maritime Industry ◽  
Number Of Publications ◽  
Positive Effect

Topicality. Nowadays, crewing business in Ukraine is at the stage of formation and development, so its study is a rather new topic for modern Ukrainian science. The study of the problem of considering the crewing business from the point of view of rising the quality of the labour force in the seafarers' labour market, highlights the features of modern interaction between the subjects of the maritime segment of the labour market in terms of the effectiveness of work with marine personnel, helps to orient work in the maritime industry at the state level in the direction of risk reduction and maximum elimination of threats of the present for a modern shipping company, it is necessary to ensure the safety of seafarers in the legal and operational field, which is the basis of this scientific article. Aim and tasks. The aim and tasks of the study are to determine the features of modern interaction between the subjects of the maritime segment of the labour market: the shipowner, the crewing company and the seafarer to design further ways to develop crewing activities. Research results. The article considers the features of the interaction between the subjects of the maritime segment of the labour market: the shipowner, the crewing company and the sailor in the modern dimension of the development of crewing activities. The commercial relationship between the interests of the customer and the intermediary in the selection of a successful skilled employee is analysed. Threats to the development of the modern maritime industry, affecting the labour market of seafarers, have been identified. The ways of further state regulation of the activities of crewing companies in Ukraine on the employment of seafarers and ensuring their protection in any port of the world are covered. Conclusion. The value of the work is determined by the small number of publications on this topic. In Ukraine the opportunity to ensure the protection of seafarers is conditioned by a new state policy, it provides for the introduction of new laws and regulations in the maritime industry, they are aimed at supporting seafarers working on ships on international voyages. The adoption of positive state decisions in the shortest possible time is a way to strengthen international cooperation in ensuring the observance of the labour and social seafarers� rights, their guarantees, ultimately, it will have a positive effect on the development of crewing activities in our country.

SUSTAINABLE DEVELOPMENT AND QUALITY OF LIFE IN LITHUANIA COMPARED TO OTHER COUNTRIES

2012 ◽  
Vol 18 (4) ◽  
pp. 588-607 ◽  
Author(s):  
Dalia Štreimikienė ◽  
Neringa Barakauskaitė-Jakubauskienė
Keyword(s):  
Quality Of Life ◽  
Sustainable Development ◽  
Positive Impact ◽  
Life Quality ◽  
Point Of View ◽  
Infrastructure Development ◽  
New Approach ◽  
Definition Of ◽  
Objective Indicators

The paper presents the definition of quality of life and its relationship with sustainable development. The paper analyses and compares the indicators of quality of life in Lithuania with other countries. A quality of life is an explicit or implicit policy goal. Various measurements and indicators to evaluate a quality of life were proposed during the recent years however there are no widely accepted objective indicators of quality of life able to compare countries. Sustainable development concept proposes new approach to measure quality of life. Therefore the aim of sustainable development is to increase quality of life. Quality of life can be addressed in terms of people health, the state of economy, employment, infrastructure development, crime and environment. All these indicators are interrelated as economic development creates preconditions to maintain public health, develop social and technical infrastructure, to increase employment, to ensure quality of environment, to tackle with crime etc. From the other point of view healthy and satisfied with the quality of life nation have positive impact on stable economic growth.

Leading From Powerlessness: A Third-way Neutrosophic Leadership Model For Developing Countries

2021 ◽  
Author(s):  
Victor Christianto ◽  
◽  
Florentin Smarandache ◽  
Keyword(s):  
Developing Countries ◽  
Developed Countries ◽  
Point Of View ◽  
Third Way ◽  
Leadership Model ◽  
New Approach ◽  
The Third ◽  
Leadership Models

We argue that there are essentially two chief leadership models: the hard-style and soft-style leadership. From Neutrosophic point of view, there can be a third way, between hard-style leadership and soft-style leadership model, which may be more relevant to many of people in developing countries as well as in developed countries, who feel “powerless” and “hopeless” especially in this pandemic situation. We prefer to call this new approach: leading from powerlessness. The third-way Neutrosophic leadership model may also mean partially hard-style and partially soft-style leadership.

Sign in / Sign up

Export Citation Format

Share Document