Related papers: How long is a Proof? - A short note
This paper has been withdrawn by the author.
The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.
Null hypothesis significance testing remains popular despite decades of concern about misuse and misinterpretation. We believe that much of the problem is due to language: significance testing has little to do with other meanings of the…
The better title is "Yet another FALSE proof of the 4-colour theorem." Please consider all versions of this paper as historical material on the way to a non-computer proof of the 4-colour theorem. Interpreted as proofs, all versions are…
This submission has been withdrawn because it is a duplicate of [math.PR/0609434].
The paper has been withdrawn.
The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A convenient scheme to visualize and manipulate CNF formulae is…
In this paper, we discuss necessary and sufficient explanations for formal argumentation - the question whether and why a certain argument can be accepted (or not) under various extension-based semantics. Given a framework with which…
This note imparts heuristic arguments and theorectical evidences that contradict the abc conjecture over the rational numbers. In addition, the rudimentary datails for transforming this problem into the doimain of equidistribution theory…
Pronoun disambiguation in understanding text and discourse often requires the application of both general pragmatic knowledge and context-specific information. In AI and linguistics research, this has mostly been studied in cases where the…
Remarks on mathematical proof and the practice of mathematics.
The purpose of this short note is to show the interplay between math outreach and conducting original research, in particular how each can build off the other.
This paper is wrong and is therefore withdrawn.
Defeasible reasoning is a kind of reasoning where some generalisations may not be valid in all circumstances, that is general conclusions may fail in some cases. Various formalisms have been developed to model this kind of reasoning, which…
This short note delivers, via elementary calculations, a product representation of pi.
The paper has been withdrawn by the author due to a gap in Proof of Theorem 1.1.
The average result of a weak measurement of some observable $A$ can, under post-selection of the measured quantum system, exceed the largest eigenvalue of $A$. The nature of weak measurements, as well as the presence of post-selection and…
In this note we provide a simple formula of general term of recurrent sequence.
The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor…
This paper has been withdrawn by the author, since the relation mentioned in the paper between nonstandard analysis and games is probably useless.