Related papers: Boole's Method I. A Modern Version
In 1933, G\"odel considered two modal approaches to describing provability. One captured formal provability and resulted in the logic GL and Solovay's Completeness Theorem. The other was based on the modal logic S4 and led to Artemov's…
In this paper, we acquire the soliton solutions of the nonlinear Schrodinger's equation with dual power-law nonlinearity. Primiraly, we use the extended trial equation method to find exact solutions of this equation. Then, we attain some…
This work is an attempt to justify Born's rule within the framework of the many-minds interpretation seen as a development of the many-worlds interpretation of Everett. More precisely, here we develop a unitary model of many-minds based on…
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…
The historiography of logic conceives of a Fregean revolution in which modern mathematical logic (also called symbolic logic) has replaced Aristotelian logic. The preeminent expositors of this conception are Jean van Heijenoort (1912-1986)…
In order to find closed form solutions of nonintegrable nonlinear ordinary differential equations, numerous tricks have been proposed. The goal of this short review is to recall classical, 19th-century results, completed in 2006 by…
An algorithm for the numerical solution of the Schr\"odinger equation in the case of a time dependent potential is proposed. Our simple modification upgrades the well known method of Koonin while negligibly increasing the computing time. In…
We introduce our implementation in HOL Light of the metatheory for G\"odel-L\"ob provability logic (GL), covering soundness and completeness w.r.t. possible world semantics and featuring a prototype of a theorem prover for GL itself. The…
The evolution of the methods used to find solutions of Einstein's field equations during the last 100 years is described. Early papers used assumptions on the coordinate forms of the metrics. Since the 1950s more invariant methods have been…
The paper suggests a slightly more rigorous justification to Wang et al.'s work from 2007, and introduces the Slanted Line Integral.
First proved my Donald Martin in 1975, the result of Borel determinacy has been the subject of multiple revised proofs. Following Martin's book [1], we present a recent streamlined proof which implements ideas of Martin, Moschovakis, and…
In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in…
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived from the logical translation of usual derivatives on…
Math is widely considered as a powerful tool and its strong appeal depends on the high level of abstraction it allows in modelling a huge number of heterogeneous phenomena and problems, spanning from the static of buildings to the flight of…
We have already seen simple representations of modular Lie algebras of $A_l$-type and $C_l$-type. We shall further investigate simple representations of $B_l$ type, which turn out to be very similar in methodology as those types except for…
In this paper, by studying a class of 1-D Sturm-Liouville problems with periodic coefficients, we show and classify the solutions of periodic Schrodinger equations in a multidimensional case, which tells that not all the solutions are Bloch…
This is a collection of variants of Schanuel's conjecture and the known dependencies between them. It was originally written in 2007, and made available for a time on my webpage. I have been asked by a few people to make it available again…
This paper describes a new numerical method for solving eigenstate problems, such as time-independent Schrodinger equation. The idea is to use the first order perturbation theory to rewrite the eigenvalue problem as a system of first order…
We give an elementary proof of isomorphism of the blob (diagram) algebra and the corresponding extended Temperley-Lieb algebra (defined by presentation).
We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…