相关论文: The Mechanist's Challenge

Comment: Elaboration on Two Points Raised in ``Classifier Technology and the Illusion of Progress'' [math.ST/0606441]

This two-parts paper offers a survey of linear logic and ludics, which were introduced by Girard in 1986 and 2001, respectively. Both theories revisit mathematical logic from first principles, with inspiration from and applications to…

Deficiencies in Kauffman's proposal regarding a new way for building scientific theories are pointed out. A suggestion to overcome them, and in fact, independently construct mathematical theories which are beyond the reach of Goedel's…

We point out that T. Tanaka's recent criticism [quant-ph/0603075] of the results of J. Math. Phys. 43, 3944 (2002) [math-ph/0203005] is based on an assumption which was never made in the latter paper, namely that the diagonalizability of an…

The present article is the reply to the discussion of our earlier "Not only defended but also applied" (arXiv:1006.5366, to appear in The American Statistician) that arose from our memory of a particularly intemperate anti-Bayesian…

An age-old controversy in mathematics concerns the necessity and the possibility of constructive proofs. The controversy has been rekindled by recent advances which demonstrate the feasibility of a fully constructive mathematics. This…

We define instantiational and algorithmic completeness for a formal language. We show that, in the presence of Church's Thesis, an alternative interpretation of Goedelian incompleteness is that Peano Arithmetic is instantiationally…

We propose a new definition of actual causes, using structural equations to model counterfactuals.We show that the definitions yield a plausible and elegant account ofcausation that handles well examples which have caused problems forother…

By any account, the 1998 proof of the Kepler conjecture is complex. The thesis underlying this article is that the proof is complex because it is highly under-automated. Throughout that proof, manual procedures are used where automated ones…

The Response [J. Chem. Phys. 160, 187102 (2024)] of Inoue and coworkers to my Comment [J. Chem. Phys. 160, 187101 (2024)] on their original paper [J. Chem. Phys. 159, 054105 (2023)] clarifies some points put forward in my Comment, but also…

Lambert's theorem (1761) on the elapsed time along a Keplerian arc drew the attention of several prestigious mathematicians. In particular, they tried to give simple and transparent proofs of it (see our timeline \S 9). We give two new…

In this paper we identify some inaccuracies in the paper by R.R. Saxena and S.R. Arora, A Linearization technique for solving the Quadratic Set Covering Problem, Optimization, 39 (1997) 33-42. In particular, we observe that their algorithm…

The proof of a result of J. J. Nieto [3] appeared in "Acta Math, Hung". (1992) concerning the positive solutions of nonlinear problems at resonance is corrected and improved.

In our previous work "Characterization of certain homorphic geodesic cycles on Hermitian locally symmetric manifolds of the noncompact type" in "Modern methods in Complex Analysis" Annals of Math. Studies 138 (1995) 85-118, we formulated a…

We give short elementary expositions of combinatorial proofs of some variants of Euler's partitition problem that were first addressed analytically by George Andrews, and later combinatorially by others. Our methods, based on ideas from a…

We refute the criticism expressed in a comment by P. Talkner and P. H\"anggi [Phys. Rev. E 102, 066101 (2020)] on our paper Phys. Rev. E 101, 050101(R) (2020). We first make clear that our paper is free of any technical mistakes. We then…

In a recent paper [ J. Stat. Mech. P07006 (2004)], E.G.D. Cohen and David Mauzerall (CM) have argued that the derivation of the nonequilibrium work relation given in [C. Jarzynski, Phys. Rev. Lett. 78, 2690 (1997)] is flawed. Here I attempt…

We reconsider some important foundational problems of quantum mechanics. After reviewing the measurement problem and discussing its unavoidability, we analyze some proposals to overcome it. This analysis leads us to reconsider the current…

This viewpoint relates to an article by Jorge Kurchan (1998 J. Phys. A: Math. Gen. 31, 3719) as part of a series of commentaries celebrating the most influential papers published in the J. Phys. series, which is celebrating its 50th…

Eugene Wigner famously argued for the "unreasonable effectiveness of mathematics" for describing physics and other natural sciences in his 1960 essay. That essay has now led to some 55 years of (sometimes anguished) soul searching ---…