相关论文: The Mechanist's Challenge

Goodman's theorem (1976) states that intuitionistic finite-type arithmetic plus the axiom of choice plus the axiom of relativized dependent choice is conservative over Heyting arithmetic. The same result applies to the extensional variant.…

The authors claim to have found a "proper", "gauge-invariant" definition of a charged-particle's momentum in gauge theory, which is more "superior" than the textbook version. I show that their result arises from a misunderstanding of gauge…

Let u(n) be the n-th term of a Lucas sequence or a Lehmer sequence.In this article we shall establish an estimate from below for the greatest prime factor of u(n) which is of the form nexp(logn/104loglogn). In so doing we are able to…

It has been a long time issue in statistical physics how to combine reversible microscopic equations with irreversible macroscopic behavior. Recently, Evans and Searles have suggested causality as the key concept for a solution to the…

We make remarks on Fern\'{a}ndez Guasti's paper [{\it J. Phys. A: Math. Gen.} 39 (2006) 11825-11832] by pointing out some mistakes Fern\'{a}ndez Guasti derived therein.

Probably the most dramatic historical challenge to scientific realism concerns Arnold Sommerfeld's 1916 derivation of the fine structure energy levels of hydrogen. Not only were his predictions good, he derived exactly the same formula that…

This paper discusses limitations of reflexive and diagonal arguments as methods of proof of limitative theorems (e.g. G\"odel's theorem on Entscheidungsproblem, Turing's halting problem or Chaitin-G\"odel's theorem). The fact, that a formal…

We show that the criticism of our paper [Phys. Rev. B 65, 125109 (2002)] by Wang, Millis, and Das Sarma [cond-mat/0206203] is based on a trivial mathematical mistake they have committed.

A recent Comment by W. T. Kranz is shown to be plagued by a serious mathematical error which makes its conclusions invalid.

The Jacobian conjecture is thought to have been proposed by O. H. Keller in 1939. However, we have found that the statement of the conjecture is precisely the main result of a paper published by L. Kraus in 1884. Although the final step of…

This is a write-up of a lecture at the level of a physics colloquium. There exists an idealized mathematical formulation of strong interactions which has no free parameters but is known to describe the real world quite accurately. Over the…

The author cannot grant that Quantum Mechanics satisfies the axioms described here when repeated measurements are at stake. This does not compromise the validity of the conclusions of the previous article "A glance beyond the quantum…

This paper also has excessive overlap with the following papers also written by the authors or their collaborators: gr-qc/0608014, gr-qc/0511095, gr-qc/0505078, gr-qc/0502060, gr-qc/0603027, gr-qc/0606028, gr-qc/0607109, gr-qc/0607110,…

We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced conclusion.

We provide a surprising answer to a question raised in S. Ahmad and A.C. Lazer [2], and extend the results of that paper.

This paper from 2000 is a presentation of a status qu{\ae}stionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side…

Withdrawn -- a revised version will appear in due course.

The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work…

In this paper, we determine the complexity of the satisfiability problem for various logics obtained by adding numerical quantifiers, and other constructions, to the traditional syllogistic. In addition, we demonstrate the incompleteness of…

In a 2006 article Schlichting conjectured that the negative {\it K--}theory of any abelian category must vanish. This conjecture was generalized in a 2019 article by Antieau, Gepner and Heller, who hypothesized that the negative {\it…