Related papers: How long is a Proof? - A short note
We illustrate the concept of mathematical proof.
There have been gaps found in the proofs. The paper is withdrawn until further notice.
withdrawed due to a substantial error.
Norms are essential to extend inference: inferences based on norms are far richer than those based on logical implications. In the recent decades, much effort has been devoted to reason on a domain, once its norms are represented. How to…
The paper has been withdrawn by the author due to a gap in Proof of Theorem 1.1.
What are strings made of? The possibility is discussed that strings are purely mathematical objects, made of logical axioms. More precisely, proofs in simple logical calculi are represented by graphs that can be interpreted as the Feynman…
The paper has been withdrawn by the author, due to it being fundamentally flawed. The author apologizes for any inconvenience it may have caused.
Argumentation is the process of constructing arguments about propositions, and the assignment of statements of confidence to those propositions based on the nature and relative strength of their supporting arguments. The process is modelled…
The aim of this short note is to give a simple proof of the non-rationality of the double cover of the three-dimensional projective space branched over a sufficiently general quartic.
It is observed that for testing between simple hypotheses where the cost of Type I and Type II errors can be quantified, it is better to let the optimization choose the test size.
I deal with two approaches to proof-theoretic semantics: one based on argument structures and justifications, which I call reducibility semantics, and one based on consequence among (sets of) formulas over atomic bases, called base…
The paper has been withdrawn due to very low reproducibility. About 100 samples have been made, only 3 samples show the superconducting-like behavior. We think it may be an unlikely result.
The paper has been withdrawn because the proof of part (b) of the main theorem is incomplete.
I reject the following null hypothesis: {H0: your data are normal}. Such drastic decision is motivated by theoretical reasons, and applies to your current data, the past ones, and the future ones. While this situation may appear…
In this short note, we show that a result about words which coincide except in one position given as an exercise in Lothaire's Algebraic Combinatorics on Words is false. Moreover, we derive a modified statement which allows us to fix the…
This paper has been withdrawn due to a critical error discovered in Theorem 4.21. Anyone with a historical or pragamatic interest in prior "negative results", however - e.g., failed proof attempts relating to the (in)consistency of ZF or…
A review of some basic facts of classical dynamics shows that time, or precisely duration, is redundant as a fundamental concept. Duration and the behaviour of clocks emerge from a timeless law that governs change.
Any system based on axioms is incomplete because the axioms cannot be proven from the system, just believed. But one system can be less-incomplete than other. Neutrosophy is less-incomplete than many other systems because it contains them.…
Knowing the norms of a domain is crucial, but there exist no repository of norms. We propose a method to extract them from texts: texts generally do not describe a norm, but rather how a state-of-affairs differs from it. Answers concerning…
The paper is withdrawn because we realized triviality of the main considered example. Less trivial examples are provided in other our papers on the subject.