Book | Chapter
Sur les opérations inverses
soustraction et division
pp. 145-155
Abstract
——1. Il est naturel de se demander si l"Algèbre de la Logique n"admet pas des opérations inverses de l"addition et de la multiplication, et par suite analogues à la soustraction et à la division arithmétiques. Il convient d"autant plus d"étudier cette questiona, que plusieurs des fondateurs de la Logique algorithmique ont essayé de la doter d"une soustraction(1) et même d"une division(2). Leurs tentatives n"ont pas réussi ; il n"en importe pas moins de se rendre compte des raisons de leur insuccès. Cette recherche sera instructive, car elle montrera en même temps comment nous avons pu nous passer entièrement de ces opérations inverses, et comment la négation suffit à les remplacer toutes deux(3).
Publication details
Published in:
Schlaudt Oliver, Sakhri Mohsen (2010) Louis Couturat: traité de logique algorithmique. Dordrecht, Springer.
Pages: 145-155
DOI: 10.1007/978-3-0346-0411-6_9
Full citation:
Schlaudt Oliver, Sakhri Mohsen (2010) „Sur les opérations inverses: soustraction et division“, In: O. Schlaudt & M. Sakhri (eds.), Louis Couturat, Dordrecht, Springer, 145–155.