Mostrar el registro sencillo del ítem
NOTES ON PROOF BY DICHOTOMY
| dc.rights.license | open | en_US |
| hal.structure.identifier | Environnements et Paléoenvironnements OCéaniques [EPOC] | |
| dc.contributor.author | FALLOT, Laurent | |
| dc.date.accessioned | 2024-02-14T14:17:30Z | |
| dc.date.available | 2024-02-14T14:17:30Z | |
| dc.date.created | 2023-10-04 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/188133 | |
| dc.description.abstractEn | In this document we define a method of proof that we call proof by dichotomy. Its field of application is any proposition on the set of natural numbers N. It consists in the repetition of a step. A step proves the proposition for half of the members of an infinite subset U of N members for which we neither know if the proposition is verified nor not. We particularly study the case where the elements of U are separated by the parity of the quotient of euclidean division by 2 k. In such a case, we prove that if a natural n does not verify the proposition, then it is unique. | |
| dc.language.iso | EN | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-sa/ | |
| dc.subject.en | logic | |
| dc.subject.en | method of proof | |
| dc.subject.en | dichotomy | |
| dc.title.en | NOTES ON PROOF BY DICHOTOMY | |
| dc.type | Document de travail - Pré-publication | en_US |
| dc.subject.hal | Mathématiques [math]/Logique [math.LO] | en_US |
| bordeaux.hal.laboratories | EPOC : Environnements et Paléoenvironnements Océaniques et Continentaux - UMR 5805 | en_US |
| bordeaux.institution | Université de Bordeaux | en_US |
| bordeaux.institution | CNRS | en_US |
| bordeaux.team | PROMESS | en_US |
| bordeaux.import.source | hal | |
| hal.identifier | hal-04229913 | |
| hal.version | 1 | |
| hal.popular | non | en_US |
| hal.audience | Internationale | en_US |
| hal.export | false | |
| workflow.import.source | hal | |
| dc.rights.cc | CC BY-SA | en_US |
| bordeaux.subtype | Prepublication/Preprint | en_US |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=FALLOT,%20Laurent&rft.genre=preprint |
