On the basis of the exact solutions to the non-stationary spherically symmetric Einstein and Maxwell equations for dust matter and radial electromagnetic field, a model of a wormhole with the pulsating in time inner world and two static throats has been developed. It has been shown that such a wormhole with an arbitrary radius of the Gaussian curvature can connect both two different asymptotically flat space-times and two regions of the selfsame space-time. The problem of the fulfilment of (...) the energy conditions in this wormhole has been investigated, as well as the problem of its traversability investigation has been set. (shrink)

We aim to construct exact and explicit solutions to a generalized Bogoyavlensky-Konopelchenko equation through the Maple computer algebra system. The considered nonlinear equation is transformed into a Hirota bilinear form, and symbolic computations are made for solving both the nonlinear equation and the corresponding bilinear equation. A few classes of exact and explicit solutions are generated from different ansätze on solution forms, including traveling wave solutions, two-wave solutions, and polynomial solutions.

This article has not been written for specialists of exact solutions of Einstein's field equations but for physicists who are interested in nontrivial information on this topic. We recall the history and some basic properties of exact solutions of Einstein's vacuum equations. We show that the field equations for stationary axisymmetric vacuum gravitational fields can be expressed by only one nonlinear differential equation for a complex function. This compact form of the field equations allows the generation (...) of almost all stationary axisymmetric vacuum gravitational fields. We present a new stationary two-body solution of Einstein's equations as an application of this generation technique. This new solution proves the existence of a macroscopic, repulsive spin-spin interaction in general relativity. Some estimates that are related to this new two-body solution are given. (shrink)

A new approach to tackle Einstein equations for an isotropic and homogeneous Friedmann–Robertson–Walker Universe in the presence of a quintessence scalar field is devised. It provides a way to get a simple exact solution to these equations. This solution determines the quintessence potential uniquely and it differs from solutions which have been used to study inflation previously. It relays on a unification of geometry and dark matter implemented through the definition of a functional relation between the scale factor (...) of the Universe and the quintessence field. For a positive curvature Universe, this solution produces perpetual accelerated expansion rate of the Universe, while the Hubble parameter increases abruptly, attains a maximum value and decreases thereafter. The behavior of this cosmological solution is discussed and its main features are displayed. The formalism is extended to include matter and radiation. (shrink)

We will consider the relativistic Duffin-Kemmer-Petiau equation in the presence of a pseudoharmonic potential in a magnetic field in the (1+2)-dimensional space-time for spin-one particles. To derive the energy eigenvalues and corresponding eigenfunctions, the analytical Nikiforov-Uvarov Method is used and some explanatory figures are included.

The role of mathematics in scientific practice is too readily relegated to that of formulating equations that model or describe what is being investigated, and then finding solutions to those equations. I survey the role of mathematics in: 1. Exact solutions of differential equations, especially conformal mapping; and 2. Simulations of solutions to differential equations via numerical methods and via agent-based models; and 3. The use of experimental models to solve equations (a) via physical analogies based (...) on similarity of the form of the equations, such as Prandtl’s soap-film method, and (b) the method of physically similar systems. Two major themes emerge: First, the role of mathematics in science is not well described by deduction from axioms, although it generally involves deductive reasoning. Creative leaps, the integration of experimental or observational evidence, synthesis of ideas from different areas of mathematics, and insight regarding analogous forms are required to find solutions to equations. Second, methods that involve mappings or transformations are in use in disparate contexts, from the purely mathematical context of conformal mapping where it is mathematical objects that are mapped, to the use of concrete physical experimental models, where one concrete thing is shown to correspond to another. (shrink)

We study the magnetic monopoles in non-Abelian gauge theories. The exact static, spherically symmetric solutions of the magnetic monopoles in both Yang-Mills and unified gauge theories are obtained. The energyE of the static system is calculable and it is either zero or infinite. The existence of the magnetic monopole solution is a consequence of symmetry rather than dynamics. We propose a new definition of the electromagnetic field tensor, which relates the static solution of gauge fields and the magnetic (...) monopole solution. Experimental implications are discussed. (shrink)

The high precision attained by cosmological data in the last few years has increased the interest in exact solutions. Analytic expressions for solutions in the Standard Model are presented here for all combinations of Λ = 0, Λ ≠ 0, κ = 0, and κ ≠ 0, in the presence and absence of radiation and nonrelativistic matter. The most complete case (here called the ΛγCDM Model) has Λ ≠ 0, κ ≠ 0, and supposes the presence of (...) radiation and dust. It exhibits clearly the recent onset of acceleration. The treatment includes particular models of interest such as the ΛCDM Model (which includes the cosmological constant plus cold dark matter as source constituents). (shrink)

This chapter analyzes the explanation of resemblance provided by the twelfth-century Latin philosopher Gilbert of Poitiers. As Gilbert holds that everything that exists is particular and rejects immanent universals, he is in need of an explanation for the resemblance of co-specific properties. His solution stems from a complex consideration of exact resemblance, which he calls ‘conformitas,’ based upon a thorough reflection about properties, as for him, only properties and not individuals can be exactly similar. In order to discuss his (...) theory of resemblance, the chapter first offers a reconstruction of the main tenets of Gilbert’s particularist ontology; it argues that Gilbert can adequately be categorized as a trope theorist. Gilbert analyzes the metaphysical constitution of an individual as a set of hierarchically organized co-present tropes, starting from an essential nucleus. For Gilbert, a universal is a collection of properties gathered on the basis of resemblance. At the end of the chapter, the possible role of divine ideas in his explanation of resemblance is discussed. (shrink)

The two-electron atom is the simplest nontrivial quantum system not amenable to exact solutions. Today, its relevance in the development of quantum mechanics and its pedagogical value within the realm of atomic physics are widely recognized. In this work, an historical review of the known different methods and results devised to study such a problem is presented, with an emphasis to the calculations of the ground state energy of helium. Then we discuss several, related, unpublished results obtained around (...) the same years by Ettore Majorana, which remained unknown till recent times. Among them a general variant of the variational method appears to be particularly interesting, even for current research in atomic and nuclear physics: it takes directly into account, already in the trial wavefunction, the action of the full Hamiltonian operator of a given quantum system. Further relevant contributions, specialized to the two-electron problem, include the introduction of the remarkable concept of an effective nuclear charge different for the two electrons (thus generalizing previous known results) and an application of the perturbative method, where the atomic number Z was treated effectively as a continuous variable. Finally a survey of results, relevant mainly for pedagogical reasons, is given; in particular we focus on simple broad range estimates of the helium ionization potential, obtained by suitable choices for the wavefunction, as well as on a simple alternative to Hylleraas’ method, which led Majorana to first order calculations comparable in accuracy with well-known order 11 results derived, in turn, by Hylleraas. (shrink)

The paper presents a comprehensive solution to the new riddle of induction. Gruesome induction is blocked because “grue” is not independent of our sampling and observation methods. Before presenting my theory, I critically survey previous versions of what I call the “independence strategy”, tracing the strategy to three different papers from the 1970s by (respectively) Wilkerson, Moreland, and Jackson. Next I critically examine recent approaches by Okasha, Godfrey-Smith, Schramm, and Freitag. All of these approaches have their virtues, but none of (...) them rules out every problem case. Nor do any of them alone explain exactly what goes wrong in all types of gruesome reasoning. My account aims to do both. Learning lessons from my criticisms of previous theories, I argue that there are several crucial types of independence. All of them are needed to rule out every problem case. I close by suggesting that the independence solution can also be adopted by proponents of other approaches—Bayesians, fans of natural kinds, and pragmatists. (shrink)

A solution to the Liar must do two things. First, it should say exactly which step in the Liar reasoning - the reasoning which leads to a contradiction - is invalid. Secondly, it should explains why this step is invalid.

Searching for integrable systems and constructing their exact solutions are of both theoretical and practical value. In this paper, Ablowitz–Kaup–Newell–Segur spectral problem and its time evolution equation are first generalized by embedding a new spectral parameter. Based on the generalized AKNS spectral problem and its time evolution equation, Lax integrability of a nonisospectral integrodifferential system is then verified. Furthermore, exact solutions of the nonisospectral integrodifferential system are formulated through the inverse scattering transform method. Finally, in the (...) case of reflectionless potentials, the obtained exact solutions are reduced ton-soliton solutions. Whenn=1andn=2, the characteristics of soliton dynamics of one-soliton solutions and two-soliton solutions are analyzed with the help of figures. (shrink)

The Surprise Exam Paradox continues to perplex and torment despite the many solutions that have been offered. This paper proposes to end the intrigue once and for all by refuting one of the central pillars of the Surprise Exam Paradox, the 'No Friday Argument,' which concludes that an exam given on the last day of the testing period cannot be a surprise. This refutation consists of three arguments, all of which are borrowed from the literature: the 'Unprojectible Announcement Argument,' (...) the 'Wright & Sudbury Argument,' and the 'Epistemic Blindspot Argument.' The reason that the Surprise Exam Paradox has persisted this long is not because any of these arguments is problematic. On the contrary, each of them is correct. The reason that it has persisted so long is because each argument is only part of the solution. The correct solution requires all three of them to be combined together. Once they are, we may see exactly why the No Friday Argument fails and therefore why we have a solution to the Surprise Exam Paradox that should stick. (shrink)

The nonlinear differential equation governing the periodic motion of the one-dimensional, undamped, and unforced cubic-quintic Duffing oscillator is solved exactly by obtaining the period and the solution. The period is given in terms of the complete elliptic integral of the first kind and the solution involves Jacobian elliptic functions. We solve the cubic-quintic Duffing equation under arbitrary initial conditions. Physical applications are provided. The solution to the mixed parity Duffing oscillator is also formally derived. We illustrate the obtained results with (...) concrete examples. We give high accurate trigonometric approximations to the Jacobian function cn. (shrink)

This study presents a modified simplest equation method to investigate some real and exact solutions of conformable time fractional Benjamin-Bona-Mahony equation and Chan-Hilliard equation. We use traveling wave transformation to obtain the results in the form of series solution. Some calculations are performed through Mathematica software to analyze the accuracy of this approach. Graphical representations are reported for more significant results at different fractional-order which demonstrates that this approach is very simple, adequate, and legitimate.

In this paper, a generalized -dimensional Calogero–Bogoyavlenskii–Schiff equation is considered. Based on the Hirota bilinear method, three kinds of exact solutions, soliton solution, breather solutions, and lump solutions, are obtained. Breathers can be obtained by choosing suitable parameters on the 2-soliton solution, and lump solutions are constructed via the long wave limit method. Figures are given out to reveal the dynamic characteristics on the presented solutions. Results obtained in this work may be conducive to (...) understanding the propagation of localized waves. (shrink)

According to Transparency International, Africa is the most corrupt region in the world. In South Africa, there is an annual 'loss' of about R30 billion as a result of bribery and corruption. It would appear that it is exactly the poor and the vulnerable who suffer most under the scourge of corruption. The purpose of this research was to investigate the effect of corruption on victim(s) and to evaluate it in an effort to formulate solutions as to how such (...) individuals can be guided and supported in the suffering and hardship that they endure and that specifically emanate from corruption. In the research, an effort was made to move away from the trend of the fragmenting of aid and to present guidelines or suggestions that can lead to a global solution, where multi-disciplinary involvement can be facilitated. The researchers agree that the church can play a key role in this, and the solution was sought in the principles expounded in 1 Corinthians 12. The research method known as action research was investigated as a workable method to be used by the multi-disciplinary aid team in their struggle against corruption. In the final instance, the principles used by Touching Africa in their work were investigated so that these could also be used in the quest for a solution. (shrink)

Exact solutions for the partition function of the two-dimensional classical statistical mechanics Ising model may be classified using a scheme of analogy having three moments--analysis, algebra, and arithmetic--developed by Dedekind and Weber in 1882 for providing an algebraic understanding of Riemann’s work. In effect, we have two analogies, a physical one and a mathematical one, coming from very different problems. What is it about the mathematical realm that allows for this threefold analogy, and what is it about the (...) Ising model that allows for such varied modes of solution, and why are the analogies analogous to each other? (shrink)

Cooper proved in [S.B. Cooper, Strong minimal covers for recursively enumerable degrees, Math. Logic Quart. 42 191–196] the existence of a c.e. degree with a strong minimal cover . So is the greastest c.e. degree below . Cooper and Yi pointed out in [S.B. Cooper, X. Yi, Isolated d.r.e. degrees, University of Leeds, Dept. of Pure Math., 1995. Preprint] that this strongly minimal cover cannot be d.c.e., and meanwhile, they proposed the notion of isolated degrees: a d.c.e. degree is isolated (...) by a c.e. degree if is the greatest c.e. degree below , and we also say that isolates . In [G. Wu, Bi-isolation in the d.c.e. degrees, J. Symbolic Logic 69 409–420], Wu extended Cooper–Yi’s notion and proved that there are intervals of d.c.e. degrees containing exactly one c.e. degree . Following Cooper and Yi’s notion, is called a bi-isolating degree. The bi-isolating degrees are dense in the high c.e. degrees. Arslanov asked whether the bi-isolating degrees occur in every jump class. In this paper, we prove that there are low bi-isolating degrees, providing a partial solution to Arslanov’s question. (shrink)

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

A solution to the paradoxes has two sides: the philosophical and the technical. The paradoxes are, first and foremost, a philosophical problem. A philosophical solution must pinpoint the exact step where the reasoning that leads to contradiction is fallacious, and then explain why it is so.

The correct explanation of why species, in evolutionary theory, are individuals and not classes is the cladistic species concept. The cladistic species concept defines species as the group of organisms between two speciation events, or between one speciation event and one extinction event, or (for living species) that are descended from a speciation event. It is a theoretical concept, and therefore has the virtue of distinguishing clearly the theoretical nature of species from the practical criteria by which species may be (...) recognized at any one time. Ecological or biological (reproductive) criteria may help in the practical recognition of species. Ecological and biological species concepts are also needed to explain why cladistic species exist as distinct lineages, and to explain what exactly takes place during a speciation event. The ecological and biological species concepts work only as sub-theories of the cladistic species concept and if taken by themselves independently of cladism they are liable to blunder. The biological species concept neither provides a better explanation of species indivudualism than the ecological species concept, nor, taken by itself, can the biological species concept even be reconciled with species individualism. Taking the individuality of species seriously requires subordinating the biological, to the cladistic, species concept. (shrink)

We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geo-logic, which fills the entire unit cube, and then we (...) project the upper surfaces of the geo-logical cube onto the plane of probabilistic credal states by means of standard, linear perspective, which may be interpreted as an extension of the classical principle of indifference. Finally, we apply the geometrical/logical methods developed in the paper to prove a series of trivialization theorems against question-invariance as a constraint on acceptance rules and against rational monotonicity as an axiom of conditional logic in situations of uncertainty. (shrink)

In 1662 Christiaan Huygens carried out the famous Torricelli experiment to test the existence of atmospheric pressure by inserting the apparatus in the glass receiver of a vacuum pump, and evacuating the air inside it. He reported that when the air was exhausted, a column of water remained suspended in a 4-foot tube. This unexpected result was in stark contrast with earlier experiments of Boyle and Hooke that apparently had confirmed Torricelli’s explanation that such a water column was supported by (...) outside air pressure, and would fall when the air was removed. Huygen’s “anomalous suspension” led to the continuation of controversies in the seventeenth century about the nature of the vacuum that these experiments were expected to resolve. Surprisingly, the origin of Huygens’ unexpected result has remained a puzzle up to the present time. In this paper, I discuss the dynamics of such a column of water under the experimental conditions reported by Boyle and by Huygens, that turned out to be different, and present the results of a replication of their experiments with a modern vacuum pump. Contrary to the conventional explanations of these experiments, I demonstrate that in the Boyle–Hooke version of this experiment, the water column descends initially because it is forced down by the gas pressure due to air dissolved in the water which is released inside the Torricelli tube after the external pressure is sufficiently decreased. Huygens, however, first removed this trapped air before he carried out his experiment. In the absence of this internal gas pressure, the early rudimentary vacuum pumps were inadequate to decrease the air pressure sufficiently inside the receiver to demonstrate the descent of a Torricelli column of airless water 4-foot in height or less. (shrink)

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [2], p. 453. There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly λ-free ones was proved earlier by the criteria in [5] and [3]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [2], p. 453. There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly $\lambda$-free ones was proved earlier by the criteria in [5] and [3]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.

An important task in mathematical sciences is to make quantitative predictions, which is often done via the solution of differential equations. In this paper, we investigate why, to perform this task, scientists sometimes choose to use numerical methods instead of analytical solutions. Via several examples, we argue that the choice for numerical methods can be explained by the fact that, while making quantitative predictions seems at first glance to be facilitated by analytical solutions, this is actually often much (...) easier with numerical methods. Thus we challenge the widely presumed superiority of analytical solutions over numerical methods. (shrink)

Let us consider a statue and the piece of clay out of which it is made, and let us suppose that they start to exist and cease to exist at exactly the same time. According to colocationism, the statue and the piece of clay are two different objects: they have different properties and, according to Leibniz’s Law, the same object cannot have different properties. One of the most difficult questions for colocationism is that of the grounding problem : given that (...) the statue and the piece of clay share many of their properties, what is it that grounds the fact that they have different sortal properties? Recently, Catherine Sutton has offered a very interesting answer to the question. However, as I will argue, it cannot be applied to all cases of colocated objects and therefore, it is not an adequate solution to the grounding problem. The main objective of this paper is to present a new solution to the grounding problem that integrates some of Sutton’s theses, but that allows us to give a complete answer to the question. To do this, the notion of a process of coming into existence will be crucial. After presenting the new proposal, I will compare it with the proposals by Kit Fine and Noël Saenz. (shrink)

Let us consider a statue and the piece of clay out of which it is made, and let us suppose that they start to exist and cease to exist at exactly the same time. According to colocationism, the statue and the piece of clay are two different objects: they have different properties and, according to Leibniz’s Law, the same object cannot have different properties. One of the most difficult questions for colocationism is that of the grounding problem: given that the (...) statue and the piece of clay share many of their properties, what is it that grounds the fact that they have different sortal properties? Recently, Catherine Sutton has offered a very interesting answer to the question. However, as I will argue, it cannot be applied to all cases of colocated objects and therefore, it is not an adequate solution to the grounding problem. The main objective of this paper is to present a new solution to the grounding problem that integrates some of Sutton’s theses, but that allows us to give a complete answer to the question. To do this, the notion of a process of coming into existence will be crucial. After presenting the new proposal, I will compare it with the proposals by Kit Fine and Noël Saenz. (shrink)

A differential equation with a known solution is transformed by changing both its dependent and independent variables, and the resulting nonlinear differential equation is then compared with the Schrödinger equation. The method is demonstrated using the confluent hypergeometric differential equation and the solutions to hydrogen, SHO and l=0 Morse potential problems are obtained.

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first that (...) G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

It is shown that there are exactly six normal DeMorgan monoids generated by the identity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the "Ackerman constant problem" of describing the structure of sentential constants in the logic R.

What licenses the use of a definite description? The formal and philosophical literature has approached this question in two ways. The uniqueness approach (Frege, 1892; Russell, 1905; Strawson, 1950) holds that we may use a definite determiner only if the property denoted by its complement holds of exactly one individual in some domain: Sentence (1) and (2) can only be true if there is exactly one king of France, and exactly one American governor, respectively. Since this is not the case (...) in the actual world, the sentences are either false or (on most modern accounts) fall prey to a presupposition failure. (shrink)

In order to understand the rise of runaway solutions in the radiation reaction problem a mechanical model is used. An alternative demonstration of Daboul’s theorem, through Hurwitz’s criterion, is given. The origin of runaway solutions in electrodynamics is discussed. They arise when the particle has a negative mechanical mass or when approximations are used in the equation of motion. In the 1-dimensional mechanical model an exact and linear equation of motion for the particle is obtained, the corresponding (...) exact solution is again runaway when the mechanical mass is negative. The exact solution is not runaway when the mechanical mass is positive. However, the use of approximations leads to an equation of motion which has runaway solutions. It is exhibited that the use of approximations in the 3-dimensional mechanical model is completely necessary because the general equation of motion for the particle is non-linear. The analysis of this case proceeds in a very similar way to the one carried out in electrodynamics. This means that the number of dimensions also plays an important role in the analysis. (shrink)

The basic idea of quantum mechanics is that the property of any system can be in a state of superposition of various possibilities. This state of superposition is also known as wave function and it evolves linearly with time in a deterministic way in accordance with the Schrodinger equation. However, when a measurement is carried out on the system to determine the value of that property, the system instantaneously transforms to one of the eigen states and thus we get only (...) a single value as outcome of the measurement. Quantum measurement problem seeks to find the cause and exact mechanism governing this transformation. In an attempt to solve the above problem, in this paper, we will first define what the wave function represents in real world and will identify the root cause behind the stochastic nature of events. Then, we will develop a model to explain the mechanism of collapse of the quantum mechanical wave function in response to a measurement. In the process of development of model, we will explain Schrodinger cat paradox and will show how Born’s rule for probability becomes a natural consequence of measurement process. (shrink)