Related papers: KF, PKF, and Reinhardt's Program
We study the structure of the partial order induced by the definability relation on definitions of truth for the language of arithmetic. Formally, a definition of truth is any sentence $\alpha$ which extends a weak arithmetical theory…
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…
It is argued that the conclusions obtained by Renninger (Zeitschrift fur Physik 136, 251 (1953)), by means of an interferometer thought experiment, have important implications for a number of still ongoing discussions about quantum…
Counterfactual definiteness must be used as at least one of the postulates or axioms that are necessary to derive Bell-type inequalities. It is considered by many to be a postulate that is not only commensurate with classical physics (as…
The notion of partial fidelities as invented recently by A.Uhlmann for pairs of finite dimensional density matrices will be extended to the vN-algebraic context and is considered and thoroughly discussed in detail from a mathematical point…
As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that ``everyone is aware of the holistic character of…
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…
The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on…
The purpose of this paper is to investigate the distribution of zeros of entire functions which can be represented as the Fourier transforms of certain admissible kernels. The principal results bring to light the intimate connection between…
Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large cardinals to graph theory, Ohio State University, 1997,…
Quantum mechanics is one of our most successful physical theories; its predictions agree with experimental observations to an extremely high accuracy. However, the bare formalism of quantum theory does not provide straightforward answers to…
Birkhoff's theorem is one of the most important statements of Einstein's general relativity, which generally can not be extended to modified theories of gravity. Here we study the validity of the theorem in scalar-tensor theories using a…
By using the Verlinde's formalism[1], we propose that the positive numerical factor, in which Klinkhamer[2] states that it is necessary to define the fundamental length, can be associated to the parameter q of the Tsallis' nonextensive…
There have been many proposed forms of fractional calculus, which can be grouped into a few broad classes of operators. By replacing the kernel of the power function with another kernel function, the traditional Riemann-Liouville formula…
General fractional calculus offers an elegant and self-consistent path toward the generalization of fractional calculus to an enhanced class of kernels. Prabhakar's theory can be thought of, to some extent, as an explicit realization of…
The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where…
This paper is the answer to the paper by Kastner [Found. Phys., to be published, quant-ph/9807037] in which she continued the criticism of the counterfactual usage of the Aharonov-Bergman-Lebowitz rule in the framework of the…
We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel…
This article considers Whittaker's function $W_{\kappa ,\mu }$ where $\kappa$ is real and $\mu$ is real or purely imaginary. Then $\varphi (x)=x^{-\mu -1/2}W_{\kappa ,\mu }(x)$ arises as the scattering function of a continuous time linear…
Term-resolution provides an elegant mechanism to prove that a quantified Boolean formula (QBF) is true. It is a dual to Q-resolution (also referred to as clause-resolution) and is practically highly important as it enables certifying…