相关论文: The P versus NP Brief
This two-part article considers certain fundamental symmetries of nature, namely the discrete symmetries of parity (P), charge conjugation (C) and time reversal (T), and their possible violation. Recent experimental results are discussed in…
We indicate that an argument of da Costa and Doria in fact proves P=NP. This observation makes their argument appear dubious. We isolate a weak version of one of their lemmas which would already prove P=NP. We point out that even this weak…
Based on the principle of causality, I advance a new principle of variation and try to use it as the most general principle for research into laws of nature.
In this article, we introduce several singular value and norm inequalities comparing the main diagonal and the off-diagonal components of a two by two PPT block. Some applications are given to obtain a new set of inequalities, some of which…
Two permutations of the natural numbers diverge if the absolute value of the difference of their elements in the same position goes to infinity. We show that there exists an infinite number of pairwise divergent permutations of the…
The difference between the terms additivity and extensivity, as well as their respective negations, is critically analyzed and illustrated with a few examples. The concepts of subadditivity, pseudo-additivity, and pseudo-extensivity are…
We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness.
Debates about juridical proof are often framed as a conflict between probabilistic approaches and relative plausibility theory (RPT). This paper argues that this opposition rests on a level-of-analysis error. Drawing on Marr's distinction…
Two people may claim both to be naturalists, but have divergent conceptions of basic elements of the natural world which lead them to mean different things when they talk about laws of nature, or states, or the role of mathematics in…
Values are things that are important to us. Actions activate values - they either go against our values or they promote our values. Values themselves can either be conforming or conflicting depending on the action that is taken. In this…
We review Andr\'e Luiz Barbosa's paper "P != NP Proof," in which the classes P and NP are generalized and claimed to be proven separate. We highlight inherent ambiguities in Barbosa's definitions, and show that attempts to resolve this…
Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science. After all, science and technology are viewpoints diverse by either individual,…
We point out that the traditional notion of test statistic is too narrow, and we propose a natural generalization that is arguably maximal. The study is restricted to simple statistical hypotheses.
We describe the fundamental difference between the nature of problems in traditional physics and that of many problems arising today in systems biology and other complex settings. The difference hinges on the much larger number of a priori…
Since the experimental observation of the violation of the Bell-CHSH inequalities, much has been said about the non-local and contextual character of the underlying system. But the hypothesis from which Bell's inequalities are derived…
What is time? Why does it "flow" and why are we sure that it flows from past towards future? Why is there such a gigantic distinction between the Past of our world, which we believe to be fixed, and the Future, which we consider…
It is argued that the occurrence of disproportionately ("un-natural") large (or small) numbers, as well as deep cancellations, are comparatively natural traits of the way Nature is geared to operate in most complex systems. The idea is…
We give a counterexample to a recently conjectured variant of the Penrose inequality.
The disjunction between nature and science is studied, together with the need to modify the conception of natural science vs artificial science, related to the perspective of objectivity and subjectivity, to end with the explanation of the…
The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations…