Related papers: From "Not Wrong" to (Maybe) Right
This very short paper presents a novel approach to Euler's formula without presupposing it. The paper reclaims the rightful place of the formula at the heart of calculus.
Astronomy provides a laboratory for extreme physics, a window into environments at extremes of distance, temperature and density that often can't be reproduced in Earth laboratories, or at least not right away. A surprising amount of the…
Celebrating 170th anniversary of the discovery of Neptune, I review the story of the discovery that startled the world. The story is an interplay of scientific triumph and human weakness and an example of how science works in a…
How does the mathematical community accept that a given proof is correct? Is objective verification based on explicit axioms feasible, or must the reviewer's experiences and prejudices necessarily come into play? Can automated provers avoid…
Prediction is the making of statements, usually probabilistic, about future events based on current information. Retrodiction is the making of statements about past events based on current information. We present the foundations of quantum…
This article describes similarities of the scientific method and the free open source software development, and how reproducibility is the key of an healthy scientific production.
The purpose of the paper is five-fold: (a) Argue that the question in the title can be presented in a meaningful manner and that it requires an answer. (b) Discuss the conventional answers and explain why they are unsatisfactory. (c)…
A technique to study the dynamics of solving of a research task is suggested. The research task was based on specially developed software Right- Wrong Responder (RWR), with the participants having to reveal the response logic of the…
The end (for human scientists) is nigh? The posit of this discourse is that the majority, if not all, scientific research will eventually be undertaken by one, or a number of, weak artificial intelligences.
This is the extended version of a Comment submitted to Physical Review Letters. I first point out the inappropriateness of publishing a Letter unrelated to physics. Next, I give experimental results showing that the technique used in the…
Reasoning about unpredicted change consists in explaining observations by events; we propose here an approach for explaining time-stamped observations by surprises, which are simple events consisting in the change of the truth value of a…
Information is everywhere in nature which is very uncertain and unpredictable. But information, in itself, is a very ambiguous term. In this cursory write-up, we attempt to understand the formal meaning of information by quantifying…
We describe how cosmology has converged towards a beautiful model of the Universe: the Big Bang Universe. We praise this model, but show there is a dark side to it. This dark side is usually called ``the cosmological problems'': a set of…
Dynamic languages are praised for their flexibility and expressiveness, but static analysis often yields many false positives and verification is cumbersome for lack of structure. Hence, unit testing is the prevalent incomplete method for…
In the paper "The relativistic Doppler effect: when a zero-frequency shift or a red shift exists for sources approaching the observer, Ann. Phys. (Berlin) 523, No. 3, 239-246 (2011), DOI 10.1002/andp.201000099 by C. Wang the use of an…
We claim that human mathematics is only a limited part of the consequences of the chosen basic axioms. Properly human mathematics varies with time but appears to have universal features which we try to analyze. In particular the functioning…
I'll show that the kind of analogy between life and information [argue for by authors such as Davies (2000), Walker and Davies (2013), Dyson (1979), Gleick (2011), Kurzweil (2012), Ward (2009)], that seems to be central to the effect that…
In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that…
Significance tests are probably the most extended form of inference in empirical research, and significance is often interpreted as providing greater informational content than non-significance. In this article we show, however, that…
A system's apparent simplicity depends on whether it is represented classically or quantally. This is not so surprising, as classical and quantum physics are descriptive frameworks built on different assumptions that capture, emphasize, and…