FALLOT, Laurent

Ver/Abrir

PBD.pdf (330.8Kb)

Metadatos

Mostrar el registro completo del ítem

Licencia de uso del documento

FALLOT, Laurent
Environnements et Paléoenvironnements OCéaniques [EPOC]

Idioma

Document de travail - Pré-publication

Resumen en inglés

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.< Leer menos

Palabras clave en inglés

logic

method of proof

dichotomy

URI

https://oskar-bordeaux.fr/handle/20.500.12278/188133

Centros de investigación

EPOC : Environnements et Paléoenvironnements Océaniques et Continentaux - UMR 5805