Recentemente diversi studi hanno mostrato come la distanza tra i Grundlagen e le precedenti pubblicazioni di Hilbert non sia tanto abissale come ritenuto in passato, ma vi sia una significativa consequenzialità con la teoria dei campi numerici. Nel ribadire questa visione, si intende mostrare come i risultati ottenuti da Hilbert, in particolare sui teoremi di Pappo e di Desargues, siano conseguenza di una ricerca più ampia sulla possibilità di introdurre all’interno della geometria dei sistemi numerici atti a coordinatizzare il piano (...) o lo spazio. Nello sviluppo della ricerca hanno avuto un ruolo determinante la scoperta di Hurwitz delle uniche quattro algebre di divisione normate e le idee maturate, già agli inizi della sua carriera, sulla finitezza degli strumenti da utilizzare in geometria, in particolare la rinuncia al concetto di continuità e la limitazione a sistemi numerici ordinati e numerabili. Nelle conclusioni dei Grundlagen, Hilbert rimarca l’importanza di dimostrare l’impossibilità delle assunzioni, tra cui l’impossibilità di determinare, attraverso solo relazioni geometriche di incidenza, dei sistemi numerici ordinati che abbiano le stesse proprietà dei quaternioni e degli ottonioni rispetto alle operazioni dell’aritmetica. (shrink)

Consensus of fractional-order multiagent systems with single integral has been wildly studied. However, the dynamics with multiple integral also exist in FOMASs, and they are rarely studied at present. In this paper, consensus problems for multi-integral fractional-order multiagent systems with nonuniform time-delays are addressed. The consensus conditions for MIFOMASs are obtained by a novel frequency-domain method which properly eliminates consensus problems of the systems associated with nonuniform time-delays. Besides, the method revealed in this paper is applicable to classical high-order multiagent (...) systems which is a special case of MIFOMASs. Finally, several numerical simulations with different parameters are performed to validate the correctness of the results. (shrink)

Exploring the dynamics feature of robust chaotic system is an attractive yet recent topic of interest. In this paper, we introduce a three-dimensional fractional-order chaotic system. The important finding by analysis is that the position of signalx3descends at the speed of 1/cas the parameterbincreases, and the signal amplitude ofx1,x2can be controlled by the parametermin terms of the power function with the index −1/2. What is more, the dynamics remains constant with the variation of parametersbandm. Consequently, this system (...) can provide rich encoding keys for chaotic communication. By considering the properties of amplitude and position modulation, the partial projective synchronization and partial phase synchronization are realized with linear control scheme. The distribution map of optimal synchronization region in the control-parameter space is charted by defining the power consumption of controller. Numerical simulations are executed to confirm the theoretical analysis. (shrink)

Consensus of fractional-order multiagent systems with single integral has been wildly studied. However, the dynamics with multiple integral also exist in FOMASs, and they are rarely studied at present. In this paper, consensus problems for multi-integral fractional-order multiagent systems with nonuniform time-delays are addressed. The consensus conditions for MIFOMASs are obtained by a novel frequency-domain method which properly eliminates consensus problems of the systems associated with nonuniform time-delays. Besides, the method revealed in this paper is applicable to classical high-order multiagent (...) systems which is a special case of MIFOMASs. Finally, several numerical simulations with different parameters are performed to validate the correctness of the results. (shrink)

To solve fractional delay differential equation systems, the Laguerre Wavelets Method is presented and coupled with the steps method in this article. Caputo fractional derivative is used in the proposed technique. The results show that the current procedure is accurate and reliable. Different nonlinear systems have been solved, and the results have been compared to the exact solution and different methods. Furthermore, it is clear from the figures that the LWM error converges quickly when compared to other approaches. When compared (...) with the exact solution to other approaches, it is clear that LWM is more accurate and gets closer to the exact solution faster. Moreover, on the basis of the novelty and scientific importance, the present method can be extended to solve other nonlinear fractional-order delay differential equations. (shrink)

Menary OpenMIND, MIND Group, Frankfurt am Main, 2015) has argued that the development of our capacities for mathematical cognition can be explained in terms of enculturation. Our ancient systems for perceptually estimating numerical quantities are augmented and transformed by interacting with a culturally-enriched environment that provides scaffolds for the acquisition of cognitive practices, leading to the development of a discrete number system for representing number precisely. Numerals and the practices associated with numeral systems play a significant role in (...) this process. However, the details of the relationship between the ancient number system and the discrete number system remain unclear. This lack of clarity is exacerbated by the problem of symbolic estrangement and the fact that unique features of how numeral systems represent require our ancient number system to play a dual role. These issues highlight that Dehaene’s From monkey brain to human brain, MIT Press, Cambridge, pp 133–157, 2005) neuronal recycling hypothesis may be insufficient to explain the neural mechanisms underlying the process of enculturation. In order to explain mathematical enculturation, and enculturation more generally, it may be necessary to adopt Anderson’s :245–266, 2010; After phrenology: neural reuse and the interactive brain, MIT Press, Cambridge, 2014) theory of neural reuse. (shrink)

We present a number of puzzles arising for the interpretation of modified numerals. Following Büring and others we assume that the main difference between comparative and superlative modifiers is that only the latter convey disjunctive meanings. We further argue that the inference patterns triggered by disjunction and superlative modifiers are hard to capture in existing semantic and pragmatic analyses of these phenomena (neo-Gricean or grammatical alike), and we propose a novel account of these inferences in the framework of bilateral state-based (...) modal logic defining a first order extension of Aloni (Semant Pragmat 15:5-EA, 2022. https://doi.org/10.3765/sp.15.5)’s. (shrink)

Work injury compensation and pensions are often determined according to medical disability rating scales attributing a percentage to each impaired body part or function. Incorporated into central medical–administrative networks of committees and examinations, these produce disability as a calculable space. This article examines the specific case of the Israeli National Insurance regulations regarding work injuries of 1956 and analyzes the shifted order they set. Looking at this system in the specific historical context of transition from the British Mandate workmen’s (...) compensation system to the “disability percentages” system, provides insight into the process of structuring and stabilizing durable numerical forms and the production of centralized government. Drawing on conceptualizations regarding the sociotechnical role of classification systems, I contend that through encoding and calculating classifications of disability, heterogeneity is eliminated and an ordering based on physiology is “black boxed,” illustrating the importance of technoscientific formations in structuring the “medical model of disability.”. (shrink)

This paper is concerned with the combinator representation of numeral systems with logarithmic space complexity of symbols. The principle used is based on the lexicographic ordering of words over a finite alphabet.

Linguistic category learning has been shown to be highly sensitive to linear order, and depending on the task, differentially sensitive to the information provided by preceding category markers (premarkers, e.g., gendered articles) or succeeding category markers (postmarkers, e.g., gendered suffixes). Given that numerous systems for marking grammatical categories exist in natural languages, it follows that a better understanding of these findings can shed light on the factors underlying this diversity. In two discriminative learning simulations and an artificial language learning experiment, (...) we identify two factors that modulate linear order effects in linguistic category learning: category structure and the level of abstraction in a category hierarchy. Regarding category structure, we find that postmarking brings an advantage for learning category diagnostic stimulus dimensions, an effect not present when categories are non‐confusable. Regarding levels of abstraction, we find that premarking of super‐ordinate categories (e.g., noun class) facilitates learning of subordinate categories (e.g., nouns). We present detailed simulations using a plausible candidate mechanism for the observed effects, along with a comprehensive analysis of linear order effects within an expectation‐based account of learning. Our findings indicate that linguistic category learning is differentially guided by pre‐ and postmarking, and that the influence of each is modulated by the specific characteristics of a given category system. (shrink)

Linguistic category learning has been shown to be highly sensitive to linear order, and depending on the task, differentially sensitive to the information provided by preceding category markers (premarkers, e.g., gendered articles) or succeeding category markers (postmarkers, e.g., gendered suffixes). Given that numerous systems for marking grammatical categories exist in natural languages, it follows that a better understanding of these findings can shed light on the factors underlying this diversity. In two discriminative learning simulations and an artificial language learning experiment, (...) we identify two factors that modulate linear order effects in linguistic category learning: category structure and the level of abstraction in a category hierarchy. Regarding category structure, we find that postmarking brings an advantage for learning category diagnostic stimulus dimensions, an effect not present when categories are non‐confusable. Regarding levels of abstraction, we find that premarking of super‐ordinate categories (e.g., noun class) facilitates learning of subordinate categories (e.g., nouns). We present detailed simulations using a plausible candidate mechanism for the observed effects, along with a comprehensive analysis of linear order effects within an expectation‐based account of learning. Our findings indicate that linguistic category learning is differentially guided by pre‐ and postmarking, and that the influence of each is modulated by the specific characteristics of a given category system. (shrink)

The study of the chaotic dynamics in fractional-order discrete-time systems has received great attention over the last years. Some efforts have been also devoted to analyze fractional maps with special features. This paper makes a contribution to the topic by introducing a new fractional map that is characterized by both particular dynamic behaviors and specific properties related to the system equilibria. In particular, the conceived one dimensional map is algebraically simpler than all the proposed fractional maps in the literature. (...) Using numerical simulation, we investigate the dynamic and complexity of the fractional map. The results indicate that the new one-dimensional fractional map displays various types of coexisting attractors. The approximate entropy is used to observe the changes in the sequence sequence complexity when the fractional order and system parameter. Finally, the fractional map is applied to the problem of encrypting electrophysiological signals. For the encryption process, random numbers were generated using the values of the fractional map. Some statistical tests are given to show the performance of the encryption. (shrink)

Our epistemic access to mathematical objects, like numbers, is mediated through our external representations of them, like numerals. Nevertheless, the role of formal notations and, in particular, of the internal structure of these notations has not received much attention in philosophy of mathematics and cognitive science. While systems of number words and of numerals are often treated alike, I argue that they have crucial structural differences, and that one has to understand how the external representation works in order to form (...) an advanced conception of numbers. The relation between external representations and mathematical cognition will be discussed by drawing on experimental results from cognitive science and mathematics education, and I argue for the constitutive role of external representations for the development of an advanced conception of numbers. (shrink)

David Lewis (1969) introduced sender-receiver games as a way of investigating how meaningful language might evolve from initially random signals. In this report I investigate the conditions under which Lewis signaling games evolve to perfect signaling systems under various learning dynamics. While the 2-state/2- term Lewis signaling game with basic urn learning always approaches a signaling system, I will show that with more than two states suboptimal pooling equilibria can evolve. Inhomogeneous state distributions increase the likelihood of pooling equilibria, (...) but learning strategies with negative reinforcement or certain sorts of mutation can decrease the likelihood of, and even eliminate, pooling equilibria. Both Moran and APR learning strategies (Bereby-Meyer and Erev 1998) are shown to promote successful convergence to signaling systems. A model is presented that illustrates how a language that codes state-act pairs in an order-based grammar might evolve in the context of a Lewis signaling game. The terms, grammar, and the corresponding partitions of the state space co-evolve to generate a language whose structure appears to reflect canonical natural kinds. The evolution of these apparent natural kinds, however, is entirely in service of the rewards that accompany successful distinctions between the sender and receiver. Any metaphysics grounded on the structure of a natural language that evolved in this way would track arbitrary, but pragmatically useful distinctions. (shrink)

In this paper, a 4D fractional-order centrifugal flywheel governor system is proposed. Dynamics including the multistability of the system with the variation of system parameters and the derivative order are investigated by Lyapunov exponents, bifurcation diagram, phase portrait, entropy measure, and basins of attraction, numerically. It shows that the minimum order for chaos of the fractional-order centrifugal flywheel governor system is q = 0.97, and the system has rich dynamics and produces multiple coexisting attractors. Moreover, (...) the system is controlled by introducing the adaptive controller which is proved by the Lyapunov stability theory. Numerical analysis results verify the effectiveness of the proposed method. (shrink)

In this paper, we investigate the numerical solution of the coupled fractional massive Thirring equation with the aid of He’s fractional complex transform. This study plays a significant aspect in the field of quantum physics, weakly nonlinear thrilling waves, and nonlinear optics. The main advantage of FCT is that it converts the fractional differential equation into its traditional parts and is also capable to handle the fractional order, whereas the homotopy perturbation method is employed to tackle the nonlinear terms (...) in the coupled fractional massive Thirring equation. An example is illustrated to present the efficiency and validity of the two-scale theory. The solutions are obtained in the form of series with simple and easy computations which confirm that the present approach is good in agreement and is easy to implement for such type of complex systems in science and engineering. (shrink)

This paper is devoted to introduce a novel fourth-order hyperchaotic system. The hyperchaotic system is constructed by adding a linear feedback control level based on a modified Lorenz-like chaotic circuit with reduced number of amplifiers. The local dynamical entities, such as the basic dynamical behavior, the divergence, the eigenvalue, and the Lyapunov exponents of the new hyperchaotic system, are all investigated analytically and numerically. Then, an active control method is derived to achieve global chaotic synchronization of the (...) novel hyperchaotic system through making the synchronization error system asymptotically stable at the origin based on Lyapunov stability theory. Next, the proposed novel hyperchaotic system is applied to construct another new hyperchaotic system with circuit deformation and design a new hyperchaotic secure communication circuit. Furthermore, the implementation of two novel electronic circuits of the proposed hyperchaotic systems is presented, examined, and realized using physical components. A good qualitative agreement is shown between the simulations and the experimental results around 500 kHz and below 1 MHz. (shrink)

Measurement theory in (Hand in The world through quantification. Oxford University Press, 2004; Suppes and Zinnes in Basic measurement theory. Psychology Series, 1962) is concerned with the assignment of number to objects of phenomena. Representational aspect of measurement is the extent to which the assigned numbers and arithmetics truthfully represent the underlying objects and their relations, and is characteristic to natural sciences; pragmatic aspect is the extent to which the assigned numbers serve purposes other than representing the underlying phenomena, and (...) is characteristic to social sciences (Hand in The world through quantification. Oxford University Press, 2004). Here I criticise this distinction of representational and pragmatic measurements on the basis of the earlier history of the periodic system of chemical elements, viewed in terms of a practice based philosophy of science by Rein Vihalemm. I argue that the periodic system, although a natural scientific system interpretable as a measurement system, has considerable, in Hand’s terms pragmatic, aspects in it. Those aspects include: tampering with the material measurement results for the theoretical ideal of systematicity; adopting metaphysical assumptions that cannot be experimentally proven, like individuality of elements and atomicity; theoretical construction of the abstract entity—element—as the reference of the measurement system amenable to mathematically elegant ordering. Contrary to Suppes and Zinnes (Basic measurement theory. Psychology Series, 1962) I also argue for the dependence of the assigned numerical system on the material-procedural base of the measurement. (shrink)

Developing earlier studies of the system of numbers in Mundurucu, this paper argues that the Mundurucu numeral system is far more complex than usually assumed. The Mundurucu numeral system provides indirect but insightful arguments for a modular approach to numbers and numerals. It is argued that distinct components must be distinguished, such as a system of representation of numbers in the format of internal magnitudes, a system of representation for individuals and sets, and one-to-one correspondences (...) between the numerosity expressed by the number and its metrics. It is shown that while many-number systems involve a compositionality of units, sets and sets composed of units, few-number languages, such as Mundurucu, do not have access to sets composed of units in the usual way. The nonconfigurational character of the Mundurucu language, which is related to a property for which we coin the term 'low compositionality power', accounts for this and explains the curious fact that Mundurucus make use of marked one-to-one correspondence strategies in order to overcome the limitations of the core system at the perceptual/motor interface of the language faculty. We develop an analysis of a particular construction, parallel numbers, which has not been studied before, elucidating the whole system. This analysis, we argue, sheds new light on classical philosophical, psychological and linguistic debates about numbers and numerals and their relation to language, and more particularly, sheds light on few-number languages. (shrink)

Clarke and Beck argue that the ANS doesn't represent non-numerical magnitudes because of its second-order character. A sensory integration mechanism can explain this character as well, provided the dumbbell studies involve interference from systems that segment by objects such as the Object Tracking System. Although currently equal hypotheses, I point to several ways the two can be distinguished.

Time-varying formation-containment problems for a second-order multiagent system are studied via pulse-modulated intermittent control in this paper. A distributed control framework utilizing the neighbors’ positions and velocities is designed so that leaders in the multiagent system form a formation, and followers move to the convex hull formed by each leader. Different from the traditional formation-containment problems, this paper applies the PMIC framework, which is more common and more in line with the actual control scenarios. Based on the knowledge (...) of matrix theory, algebraic graph theory, and stability theory, some sufficient conditions are given for the time-varying formation-containment problem of the second-order multiagent system. Some numerical simulations are proposed to verify the effectiveness of the results presented in this paper. (shrink)

High-order constructs such as intelligence result from the interaction of numerous processing systems, one of which is language. However, in determining the role of language in intelligence, attention must be paid to evidence from lesion studies and, in particular, evidence of dissociation of functions where high-order cognition can be demonstrated in face of profound aphasia.

Due to their frequent uneven cognitive profiles, genetic developmental disorders allow researchers to investigate which numerical sub-system of those present in typically developing infants best predicts subsequent numerical abilities. More importantly, they can provide evidence of which other cognitive abilities outside number are necessary for the successful development of these numerical sub-systems. We discuss evidence from cross-syndrome comparisons of adults, adolescents, children, and infants with Williams syndrome and those with Down syndrome to show that the approximate (...) magnitude sub-system is crucial for later number development. In addition, we show that specific problems outside the number domain, and within basic-level visual and attention systems contribute to an explanation of the difficulties and proficiencies observed within each genetic disorder. Finally, we argue that a truly developmental approach is critical when using the cross-syndrome design in order to reveal subtle differences that impact over time on the development of cognitive abilities. (shrink)

Systems evolve in order to adjust and survive. The paper’s contribution is that this evolvement is inadequate without an evolutionary telos. It is argued that without the presence of self-destruction in multiple levels of our existence and surroundings, our survival would have been impossible. This paper recognises an appreciation of auto-catastrophe at the cell level, in human attitudes (both as an individual and in societies), and extended to Earth and out to galaxies. Auto-Catastrophic Theory combines evolution with auto-catastrophic behaviours and (...) innovative machinery by offering new themes of understanding their merging such as (a) protogenic and deuterogenic auto-catastrophic processes, (b) protogenic and deuterogenic survival processes, and (c) ‘alive’, partially ‘alive’, and non-‘alive’ systems. The value of self-destruction relies on a numerical stability within a system and correlational relationships between systems. Auto-Catastrophic Theory provides novel justifications why artificial intelligence: (a) is crucial to overcome the extinction of humanity (via H+), (b) is crucial to offer indirect survival of humanity (by saving its history), and (c) is at the same time a threat for humanity. These novel justifications and themes, developed by combining evolution with catastrophe as well as innovative machinery, expand our knowledge of how best to handle fresh challenges ahead. (shrink)

This study introduces a dual-channel supply chain including a supplier and a retailer with capital constraints, in which the retailer can apply for the trade credit financing from the supplier. This work investigates the effects of two typical behaviors, free riding behavior and consumer switching behavior, on inventory, ordering, and sales effort decisions in decentralized and centralized decision situations with stochastic demand. In order to achieve the optimal performance in the centralized system, this research designs a partial buyback contract (...) to coordinate the supply chain. Furthermore, numerical analysis is provided to test the feasibility of the model. The results indicate that in the dual-channel supply chain with the above two behaviors, the optimal sales effort level, optimal order quantity, the optimal offline, and online profits under the centralized decision-making are more than those under decentralized scenario, except for the optimal inventory level; the increase of the offline consumer switching rate will lead to the reduction of the offline order quantity and the offline expected profit and raise the online inventory level and the online expected profit; the increase of the online consumer switching rate will raise the offline order quantity and the offline expected profit but has no significant impact on the online inventory level and the online expected profit; the increase of the free riding coefficient of the supplier, no matter whether in decentralized or centralized systems, will reduce the offline sales effort level, the offline expected profit, and the online expected profit and raise the inventory level. Finally, this work provides some managerial implication. (shrink)

This article presents research on assemblages among humans and computational systems in which physical and virtual autonomous processes occur in order to create artworks allowing the emergence of mixed sensory set-ups. It begins with triadic relationships computer, physical objects and participants aimed at co-relations among bands of bots (virtual and physical) with groups of humans (interactors). The bots have a representation of the virtual world: physical bots live on a flat surface (Abbot 1991), a projection of the 3D environment where (...) the virtual bots live. The artwork also explores the metaphor of higher dimensions being understood through their projections in lower dimensions. Its goal is to weave interaction and autonomous processes, looking for poetic results integrating art, science and technology; results with aesthetic, poetic and functional qualities; and results exploring emergency and agency for design, construction and set-up of expressive systems. For these symbioses to happen the assemblage of environments with aesthetic and poetic appeal leads one to think about mixed cognitive processes that provoke emergent behaviours. I am interested in the behaviours emerged in such inter-relationships. Therefore, to achieve this goal, I have created a Java framework that allows me to program interfaces weaving such behaviors1 and also I have programmed a set of sketches using Processing2 to test the hypothesis. The main inquiries of such research are as follows: What kind of artwork could mix people with autonomous computational processes without becoming invasive? and Is such a dichotomy possible? To answer these questions, I came up with the idea of playing with swarms and flock algorithms mixing virtual and physical domains. Will this create the mixed behaviour I am looking for? Will the participants contribute with their actions, emotions and affects while the computer develops its own autonomous processes? (shrink)

This paper argues that, given a simple [DP VP] sentence, the availability of a collective interpretation crucially depends on the syntactic and semantic properties of the subject DP, specifically the presence versus absence of a pluralizing function that makes the collective interpretation available. In support of my claim, I present Lebanese Arabic and Western Armenian examples in which an indefinite DP contains a cardinal numeral and there is no overt distributivity operator but the interpretation of the sentence is nevertheless obligatorily (...) distributive, regardless of the predicate. I show that neither a distributivity operator within the DP nor one on the predicate can explain this strictly distributive interpretation. Instead, I argue that in order to allow a collective interpretation, an indefinite DP must denote a quantifier over pluralities, a condition that is not always met in numeral-containing indefinite DPs. While the claims in this paper are based primarily on observations from Lebanese Arabic and Western Armenian, because both are morphologically rich languages, the fact that this constraint is operative in these two unrelated languages, in addition to striking similarities to the Russian gender system, suggest that it is an inherent property of DPs crosslinguistically. (shrink)

Much research effort has been directed in different physiological contexts towards describing realistic behaviors with differential equations. One observes obviously that more state-variables give the model more accuracy. Unfortunately, the computational cost involved is higher. A new algorithm is presented for simulating a model described by a system of differential equations in which efficiency may not be altered by its size. In order to do this, the method is based on a polynomial description of the state-variables' evolution and on (...) a computation distributed control. Evaluations and results performed with classical models like Fitzhugh Nagumo or Hodgkin Huxley, allow validation of the method and exhibits its potential to decrease the computational costs. (shrink)

In this article, we investigated a deterministic model of pneumonia-meningitis coinfection. Employing the Atangana–Baleanu fractional derivative operator in the Caputo framework, we analyze a seven-component approach based on ordinary differential equations. Furthermore, the invariant domain, disease-free as well as endemic equilibria, and the validity of the model’s potential results are all investigated. According to controller design evaluation and modelling, the modulation technique devised is effective in diminishing the proportion of incidences in various compartments. A fundamental reproducing value is generated by (...) exploiting the next generation matrix to assess the properties of the equilibrium. The system’s reliability is further evaluated. Sensitivity analysis is used to classify the impact of each component on the spread or prevention of illness. Using simulation studies, the impacts of providing therapy have been determined. Additionally, modelling the appropriate configuration demonstrated that lowering the fractional order from 1 necessitates a rapid initiation of the specified control technique at the largest intensity achievable and retaining it for the bulk of the pandemic’s duration. (shrink)

Fourth-order autonomous nonlinear differential equations can exhibit chaotic properties. In this study, we propose a family of fourth-order chaotic systems with infinite equilibrium points whose equilibria form closed curves of different shapes. First, the phase diagrams and Lyapunov exponents of the system family are simulated. The results show that the system family has complex phase diagrams and dynamic behaviors. Simulation analysis of the Poincarè mapping and bifurcation diagrams shows that the system has chaotic characteristics. The circuit simulation (...) model is constructed and simulated in Multisim. The circuit simulation results coincide with the numerical simulation results, which verifies the circuit feasibility of the system. Then, based on Lyapunov stability theory and the adaptive control method, the synchronous control of the system with infinite equilibria is designed. Numerical simulation results verify that the system synchronization with the adaptive control method is well. Finally, the synchronous drive system is used for image encryption, the response system is used for decryption, and color image encryption is realized by combining deoxyribonucleic acid coding and operating rules. Therefore, this study not only enriched the research on infinite equilibria chaotic systems but also further expanded secure communication technology by combining chaotic synchronization control and DNA coding in image encryption. (shrink)

This essay intends to identify intentionalism (infinity given by rules, not by extensions) and the idea of multiple complete mathematical systems (several “mathematics”) as the central characteristics of Wittgenstein’s philosophy of mathematics. We intend to roughly show how these ideas come up, interact to each other, how they develop and, in the end, how they are abandoned in the late period. According to the Tractatus Logico-Philosophicus, infinities can only be given by rules and there is a single numerical (...) class='Hi'>system (the number’s essence is the general idea of ordering). Intentionalism is up to at least 1933, but the idea of a single system is abandoned in 1929-30 (already in the Philosophische Bemerkungen). In its place one finds the idea of multiple, independent and complete numerical systems. This idea will engender some key moves in Wittgenstein’s philosophy of Mathematics. The notion of “seeing an aspect” from the Big Typescript, of instance, comes up so as to explain such systems. From 1934 onwards, Wittgenstein gradually abandons intentionalism and the idea of multiple, independent and complete systems. In his late philosophy, both ideas are used only as instruments to dissolve philosophical prose regarding mathematics. (shrink)

This paper describes the investigations performed to better understand two-stage rotor speed matching in a contrarotating fan. In addition, this study develops a comprehensive measuring and communication system for a contrarotating fan using ZigBee network. The investigation method is based on three-dimensional RANS simulations; the RANS equations are solved by the numerical method in conjunction with a SST turbulence model. A wireless measurement system using big data method is first designed, and then a comparison is done with (...) experimental measurements to outline the capacity of the numerical method. The results show that when contrarotating fan worked under designed speed, performance of two-stages rotors could not be matched as the designed working condition was deviated. Rotor 1 had huge influences on flow rate characteristics of a contrarotating fan. Rotor 2 was influenced by flow rates significantly. Under large flow rate condition, the power capability of rotor 2 became very weak; under working small flow rate condition, overloading would take place to class II motor. In order to solve the performance mismatch between two stages of CRF under nondesigned working conditions, under small flow rate condition, the priority shall be given to increase of the speed of rotor 1, while the speed of rotor 2 shall be reduced appropriately; under large flow rate condition, the speed of rotor 1 shall be reduced and the speed of rotor 2 shall be increased at the same time. (shrink)

The power trading system has the characteristics of nonlinearity, dynamics, and complexity. Part of the business data in the trading system needs to be exposed to numerous external business systems. The traditional centralized power trading model has some problems, such as low data security and trust crisis of regulators. Blockchain technology provides prominent ideas for solving these problems. Firstly, the improved AdaBoost algorithm is used to predict the supply and demand gap of power trading nodes. Secondly, based on (...) the fact that the information on the blockchain is only open to the power supply side, a two-stage game model of asymmetric information between the power supply side and the power user is constructed to capture the price competition behavior between them in order to find the Nash equilibrium price in two stages. Finally, the US PJM market electricity market data are used to carry out an example analysis to verify the effectiveness of the algorithm and model. (shrink)

This somewhat unusual introductory logic text has been clearly designed to bring the student into contact with the mathematical aspects and problems of logical systems as quickly and naturally as possible, at the expense of "fundamental" discussions of logical theory, language and philosophy. In the introductory chapter, the student is introduced to elementary logical technique via Gentzen-type rules of inference, given the requisite set-theoretical background, given a preliminary orientation with respect to the concept of an axiomatic theory, and then shown (...) the full first-order language of the basic predicate calculus. The following chapter develops an axiomatic version of first-order logic with identity, and exhibits proofs of the deduction theorem, completeness theorem, and various applications of equivalence and replacement theorems and other materials to formal number theory. Finally, in what is undoubtably the most valuable part of the book, a good treatment of first-order mathematical theories is given in the third chapter. This includes an extensive discussion of Tarski's semantical theory of truth and a detailed version of Henkin's completeness theorem. Sections on decidability and Gödel's theorem complete this fine introduction to basic mathematical logic. There are numerous exercises throughout the book.—H. P. K. (shrink)

Beginning with Anderson, spontaneous symmetry breaking in infinite quantum systems is often put forward as an example of emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show ssb in their ground states, although they are finite. Thus against what is sometimes called ‘Earman's Principle’, a genuine physical effect seems theoretically recovered only in some idealisation, disappearing as soon as the idealisation (...) is removed.We review the well-known arguments that no finite system can exhibit ssb, using the formalism of algebraic quantum theory in order to control the thermodynamic limit and unify the description of finite- and infinite-volume systems. Using the striking mathematical analogy between the thermodynamic limit and the classical limit, we show that a similar situation obtains in quantum mechanics versus classical mechanics.This discrepancy between formalism and reality is quite similar to the measurement problem, and hence we address it in the same way, adapting an argument of the Landsman and Reuvers that was originally intended to explain the collapse of the wave-function within conventional quantum mechanics. Namely, exponential sensitivity to perturbations of the dynamics as the system size increases causes symmetry breaking already in finite but very large quantum systems. This provides continuity between finite- and infinite-volume descriptions of quantum systems featuring ssb and hence restores Earman's Principle. (shrink)

This thesis describes a method to control rare events in non-equilibrium systems by applying physical forces to those systems but without relying on numerical simulation techniques, such as copying rare events. In order to study this method, the book draws on the mathematical structure of equilibrium statistical mechanics, which connects large deviation functions with experimentally measureable thermodynamic functions. Referring to this specific structure as the "phenomenological structure for the large deviation principle", the author subsequently extends it to time-series statistics (...) that can be used to describe non-equilibrium physics. The book features pedagogical explanations and also shows many open problems to which the proposed method can be applied only to a limited extent. Beyond highlighting these challenging problems as a point of departure, it especially offers an effective means of description for rare events, which could become the next paradigm of non-equilibrium statistical mechanics. (shrink)

A novel conservative chaotic system with no equilibrium is investigated in this study. Various dynamics such as the conservativeness, coexistence, symmetry, and invariance are presented. Furthermore, a partial-state feedback control scheme is proposed, and the stable domain of control parameters is analyzed based on the degenerate Hopf bifurcation. In order to verify the numerical simulation analysis, an analog circuit is designed. The simulation results show that the output of the analog circuit system can reproduce the numerical (...) simulation results and verify the correctness of the theoretical analysis. (shrink)

In light of the widespread use of algorithmic (intelligent) systems across numerous domains, there is an increasing awareness about the need to explain their underlying decision-making process and resulting outcomes. Since oftentimes these systems are being considered as black boxes, adding explanations to their outcomes may contribute to the perception of their transparency and, as a result, increase users’ trust and fairness perception towards the system, regardless of its actual fairness, which can be measured using various fairness tests and (...) measurements. Different explanation styles may have a different impact on users’ perception of fairness towards the system and on their understanding of the outcome of the system. Hence, there is a need to understand how various explanation styles may impact non-expert users’ perceptions of fairness and understanding of the system’s outcome. In this study we aimed at fulfilling this need. We performed a between-subject user study in order to examine the effect of various explanation styles on users’ fairness perception and understanding of the outcome. In the experiment we examined four known styles of textual explanations (case-based, demographic-based, input influence-based and sensitivity-based) along with a new style (certification-based) that reflect the results of an auditing process of the system. The results suggest that providing some kind of explanation contributes to users’ understanding of the outcome and that some explanation styles are more beneficial than others. Moreover, while explanations provided by the system are important and can indeed enhance users’ perception of fairness, their perception mainly depends on the outcome of the system. The results may shed light on one of the main problems in explainability of algorithmic systems, which is choosing the best explanation to promote users’ fairness perception towards a particular system, with respect to the outcome of the system. The contribution of this study is reflected in the new and realistic case study that was examined, in the creation and evaluation of a new explanation style that can be used as the link between the actual (computational) fairness of the system and users’ fairness perception and in the need of analyzing and evaluating explanations while taking into account the outcome of the system. (shrink)

A generalized third-order autonomous Duffing–Holmes system is proposed and deeply investigated. The proposed system is obtained by adding a parametric quadratic term m x 2 to the cubic nonlinear term − x 3 of an existing third-order autonomous Duffing–Holmes system. This modification allows the system to feature smoothly adjustable nonlinearity, symmetry, and nontrivial equilibria. A particular attention is given to the effects of symmetric and asymmetric nonlinearity on the dynamics of the system. For the specific (...) case of m = 0, the system is symmetric and interesting phenomena are observed, namely, coexistence of symmetric bifurcations, presence of parallel branches, and the coexistence of four and six symmetric attractors. For m ≠ 0, the system loses its symmetry. This favors the emergence of other behaviors, such as the coexistence of asymmetric bifurcations, involving the coexistence of several asymmetric attractors. All these phenomena have been numerically highlighted using nonlinear dynamic tools and an analog computer of the system. In fact, PSpice simulations of the latter confirm numerical results. Moreover, amplitude control and synchronization strategies are also provided in order to promote the exploitation of the proposed system in engineering. (shrink)

It will be settled out for the open problem of designing an r-order finite-time state observer for reaction-diffusion genetic regulatory networks with time-varying delays. By assuming the Dirichlet boundary conditions, aiming to estimate the mRNA and protein concentrations via available network measurements. Firstly, sufficient F-T stability conditions for the filtering error system have been investigated via constructing an appropriate Lyapunov–Krasovskii functional and using several integral inequalities and convex technique simultaneously. These conditions are delay-dependent and reaction-diffusion-dependent and can be checked (...) by MATLAB toolbox. Furthermore, a method is proposed to design an r-order F-T state observer, and the explicit expressions of observer gains are given. Finally, a numerical example is presented to illustrate the effectiveness of the proposed method. (shrink)

The paper deals with the general peculiarities of numerals. Cases where the sense of numeral cannot simply be explained by the idea of counting, of number, or of order are considered. Special types of texts folklore on the one band, propaganda on the other hand - are analyzed. For the latter the examples from two Soviet central official newspapers - Pravda and lzvestija of May 1986 have been chosen. These texts partially reflect common stylistic features of Soviet propagandistic discourse of (...) the "period of stagnation"; their specificity is caused by the special situation, which obtained in the country in those days - the catastrophe in the atomic power station in Chemobyl. It is claimed that all the considered examples reflect several aspects of meaning of numerals contained in their general semantics. Thus, the development of the evaluative meaning is explained by the semantics of degree contained in the numerals. These data contribute to Frege's idea of relativity of number, but from another, purely linguistic, point of view. (shrink)

With the aid of new technologies, science has found creative ways to investigate nature. Through the use of a highly sensitive, low-noise, cooled camera, previously applied to exploring dark sky, scientific laboratories around the world have been looking at the weak emission of light from cells in a living organism. Biophoton emission, as so-called by Fritz Albert Popp, was introduced to science in the 1920s by the Russian embryologist Alexander Gurwitsh, receiving the name of mitogenetic rays. Since 1974, systematic research (...) carried out by Fritz Albert Popp and his colleagues in many parts of the world has been focused on conducting experiments and working towards a biophoton theory to inform us about its properties. One of the main hypotheses is that biophoton plays an important biological function and due to evidence of coherence of its light, i.e. a high degree of order with an extremely stable intensity (Bischof 2005), biophoton is supposed to operate as a biological laser, able to manage a network of information in the organism as well as to form electromagnetic field patterns. Interactive art based on digital technologies uses numerical data to produce interactions between our body and lit pixels on the screen. Maybe, with the correct tools and equations, data from subtle fields of energy in living systems could be used to connect different systems of information, conjugating micro and macro levels of energy. This paper intends to examine biophoton research as a possible model to interactive art and consider the way it could lead to new forms for perception and consciousness. (shrink)

This paper is concerned with the event-based state and fault estimation problem for a class of linear discrete systems with randomly occurring faults and missing measurements. Different from the static event-based transmission mechanism with a constant threshold, a dynamic event-based mechanism is exploited here to regulate the threshold parameter, thus further reducing the amount of data transmission. Some mutually independent Bernoulli random variables are used to characterize the phenomena of ROFs and missing measurements. In order to simultaneously estimate the (...) class='Hi'>system state and the fault signals, the main attention of this paper is paid to the design of recursive filter; for example, for all DETM, ROFs, and missing measurements, an upper bound for the estimation error covariance is ensured and the relevant filter gain matrix is designed by minimizing the obtained upper bound. Moreover, the rigorous mathematical analysis is carried out for the exponential boundedness of the estimation error. It is clear that the developed algorithms are dependent on the threshold parameters and the upper bound together with the probabilities of missing measurements and ROFs. Finally, a numerical example is provided to indicate the effectiveness of the presented estimation schemes. (shrink)

For a given numeration system U, a set X of integers is said to be U-star-free if the language of the normalized U-representations of the elements in X is star-free. Adapting a result of McNaughton and Papert, we give a first-order logical characterization of these sets for various numeration systems including integer base systems and the Fibonacci system. For k-ary systems, the problem of the base dependence of this property is also studied. Finally, the case of k-adic systems (...) is developed. (shrink)

The experience of the use of applied containerized biomedical software tools in cloud environment is summarized. The reproducibility of scientific computing in relation with modern technologies of scientific calculations is discussed. The main approaches to biomedical data preprocessing and integration in the framework of the intelligent analytical system are described. At the conditions of pandemic, the success of health care system depends significantly on the regular implementation of effective research tools and population monitoring. The earlier the risks of (...) disease can be identified, the more effective process of preventive measures or treatments can be. This publication is about the creation of a prototype for such a tool within the project «Development of methods, algorithms and intelligent analytical system for processing and analysis of heterogeneous clinical and biomedical data to improve the diagnosis of complex diseases», implementted by the V.M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, together with the United Institute of Informatics Problems, National Academy of Sciences of Belarus. The insurers, entering the market, can insure mostly low risks by facilitating more frequent changes of insurers by consumers and mixing the overall health insurance market. Socio-demographic variables can be risk adjusters. Since age and gender have a relatively small explanatory power, other socio-demographic variables were studied – marital status, retirement status, disability status, educational level, income level. Because insurers have an interest in beneficial diagnoses for their policyholders, they are also interested in the ability to interpret relevant information – upcoding: insurers can encourage their policyholders to consult with doctors more often to select as many diagnoses as possible. Many countries and health care systems use diagnostic information to determine the reimbursement to a service provider, revealing the necessary data. For processing and analysis of these data, software implementations of construction for classifiers, allocation of informative features, processing of heterogeneous medical and biological variables for carrying out scientific research in the field of clinical medicine are developed. The experience of the use of applied containerized biomedical software tools in cloud environment is summarized. The reproducibility of scientific computing in relation with modern technologies of scientific calculations is discussed. Particularly, attention is paid to containerization of biomedical applications, this permits to get reproducibility of the conditions in which the calculations took place, technologies of software pipelining of calculations, that allows to organize flow calculations, and technologies for parameterization of software environment, that allows to reproduce, if necessary, an identical computing environment. The main approaches to biomedical data preprocessing and integration in the framework of the intelligent analytical system are described. The experience of using the developed linear classifier, gained during its testing on artificial and real data, allows us to conclude about several advantages provided by the containerized form of the created application: it permits to provide access to real data located in cloud environment; it is possible to perform calculations to solve research problems on cloud resources both with the help of developed tools and with the help of cloud services; such a form of research organization makes numerical experiments reproducible, i.e. any other researcher can compare the results of their developments on specific data that have already been studied by others, in order to verify the conclusions and technical feasibility of new results; there exists a universal opportunity to use the developed tools on technical devices of various classes from a personal computer to powerful cluster. (shrink)

In this article, we propose a series of control strategies to synchronize two chaotic financial systems. Due to the characteristics of chaotic systems, the system is very sensitive to its initial values. Thus, the behaviour of two systems with different initial values will be completely different. In order to realize the synchronization of two financial chaotic systems, we designed a series of controls including controllers to realize global asymptotic synchronization and controllers to realize global exponential synchronization to make the (...) two systems fully synchronized. We provide mathematical proofs to show that the designed controls are effective. Numerical methods are used to verify the effectiveness of the controls. (shrink)

Memristor-based oscillators are of recent interest, and hence, in this paper, we introduce a new Wien bridge oscillator with a fractional-order memristor. The novelty of the proposed oscillator is the multistability feature and the wide range of fractional orders for which the system shows chaos. We have investigated the various dynamical properties of the proposed oscillator and have presented them in detail. The oscillator is then realized using off-the-shelf components, and the results are compared with that of the (...) class='Hi'>numerical results. A combination synchronization scheme is proposed which uses more than one driver systems to synchronize with one response system. Indeed, we use two different techniques where the first one consists of splitting the transmitted signals into two parts where each part is loaded in different drive systems, while the second one consists of dividing time into different intervals and loading the signals in different drive systems. Such techniques improve the antiattack capability of the systems when used for secure communication. (shrink)

In this work, ZZ transformation is combined with the Adomian decomposition method to solve the dynamical system of fractional order. The derivative of fractional order is represented in the Atangana–Baleanu derivative. The numerical examples are combined for their approximate-analytical solution. It is explored using graphs that indicate that the actual and approximation results are close to each other, demonstrating the method’s usefulness. Fractional-order solutions are the most in line with the dynamics of the targeted problems, and they provide (...) an endless number of options for an optimal mathematical model solution for a particular physical phenomenon. This analytical approach produces a series form solution that is quickly convergent to exact solutions. The acquired results suggest that the novel analytical solution technique is simple to use and very successful at assessing complicated problems that arise in related fields of research and technology. (shrink)

Logic is traditionally considered to be a purely syntactic discipline, at least in principle. However, prof. David Isles has shown that this ideal is not yet met in traditional logic. Semantic residue is present in the assumption that the domain of a variable should be fixed in advance of a derivation, and also in the notion that a numerical notation must refer to a number rather than be considered a mathematical object in and of itself. Based on his work, (...) the central question of this thesis is what kind of logic, if any, results from removing this semantic residue from traditional logic.We differ from traditional logic in two significant ways. The first is that the assumption that a numerical notation must refer to a number is denied. Numerical notations are considered as mathematical objects in their own right, related to each other by means of rewrite rules. The traditional notion of reference is then replaced by the notion of reduction (by means of the rewrite rules) to a normal form. Two numerical notations that reduce to the same normal form would traditionally be considered identical, as they would refer to the same number, and hence they would be interchangeable salva veritate. In the new system, called Buridan-Volpin (BV), the numerical notations themselves are the elements of the domains of variables, and two numerical notations that reduce to the same normal form need not be interchangeable salva veritate, except when they are syntactically identical (i.e., have the same Gödel number).The second is that we do away with the assumption that the domains of variables need to be fixed in advance of a derivation. Instead we focus on what is needed to guarantee preservation of truth in every step of a derivation. These conditions on the domains of the variables, accumulated in the course of a derivation, are combined in a reference grammar. Whereas traditionally a derivation is considered valid when the conclusion follows from the premisses by way of the derivation rules (and possibly axioms), in the BV system a derivation must meet the extra condition that no inconsistency occurs within the reference grammar. For if the reference grammar were to give rise to inconsistency (i.e., it would be impossible to assign domains to all the variables without breaking at least one of the conditions placed on them in the reference grammar), there is no longer a guarantee that truth has been preserved in every step of the derivation, and hence the truth of the conclusion is not guaranteed by the derivation.In Chapter 2 the BV system is introduced in some formal detail. Chapter 3 gives some examples of derivations, notably totality of addition, multiplication and exponentiation, as well as a lemma needed for the proof of Euclid’s Theorem. These examples, taken from prof. Isles’ First-Order Reasoning and Primitive Recursive Natural Number Notations, show that there is a real proof-theoretical difference between traditional logic and the BV system. Here we also find the first major point of departure between myself and prof. Isles, centered on the notion of inheritance of conditions in the reference grammar by way of lemmata. These different points of view are best illustrated in the sections on the totality of exponentiation and on Euclid’s Lemma: prof. Isles maintains that the proof of totality of exponentiation is not BV valid, while I maintain that it is. But I do agree with him that the traditional proof of Euclid’s Lemma is not BV valid. Chapter 6 also expands the arguments for my choice in this matter.Now that it has been shown that there is a difference between traditional logic and BV, the properties of BV need to be examined. In Chapter 4 we give a proof of Cut-elimination for BV minus induction and the subformula property for BV, which allows us to prove the consistency of BV minus induction. We also expand on the reasons for excluding induction. In Chapter 5 we consider in detail the proof of a finite analog to the Löwenheim–Skolem theorem given by prof. Isles in his article with the same title. He proves that under certain conditions it is always possible, given the existence of a (possibly uncountable) model for a derivation, to give a finite model for this derivation. The system he considers deviates from BV as considered in this thesis in two significant ways: it does not contain the induction rule and the domains contain numbers instead of numerical notations. We then go on to show that it is possible to extend the result to include induction, in the sense that the existence of a possibly uncountable model for a derivation guarantees the existence of a model that is at most countable. We also consider the complications that arise from taking numerical expressions instead of numbers as the elements of domains.Finally, in Chapter 6 we consider the philosophical consequences of the BV system, informed by the formal results from the previous chapters. In particular we discuss the relation between reduction and reference, the status of reference grammars, the notion of induction and its function within BV, and some brief considerations on the consequences of the BV system for the discussion regarding nominalism and realism with regard to mathematical objects. The object of the chapter is twofold. On the one hand applying the formal results to philosophical questions, on the other hand arguing that BV is not just a theoretically acceptable alternative to traditional logic, but is in fact deserving of further development and research into its properties. The latter will probably appeal most to those of a nominalist and/or finitist bent.Abstract prepared by Harrie de Swart and Sven Storms.E-mail:[email protected]:https://research.tilburguniversity.edu/files/6170 1294/Storms_The_Buridan_Volpin_04_05_2022.pdf. (shrink)

Solving numeric, logic and language puzzles and paradoxes is common within a wide community of high school and university students, fact witnessed by the increasing number of books published by mathematicians such as Martin Gardner, Douglas Hofstadter [in one of the best popular science books on paradoxes ], inspired by Gödel’s incompleteness theorems), Patrick Hughes and George Brecht and Raymond M. Smullyan, inter alia. Books by Smullyan are, however, much more involved, since they introduce learning trajectories and strategies across several (...) subjects of mathematical logic, as difficult as combinatorial logic, computability theory, and proof theory. These books provide solutions to their suggested exercises. Both statements and their solutions are written in the natural language, introducing some informal algorithms. As an exercise in Mathematics we wonder if an easy proof system could be devised to solve the amusing equations proposed by Smullyan in his books. Moreover, university students of logic could well train themselves in constructing deductive systems to solve puzzles instead of a non-uniform treatment one by one. In this paper, addressing students, we introduce one such formal systems, a tableaux approach able to provide the solutions to the puzzles involving either propositional logic, first order logic, or aspect logic. Let the reader amuse herself or himself! (shrink)